Details

Time bar (total: 6.6s)

sample35.0ms

Algorithm
intervals
Results
9.0ms225×body80valid
2.0ms12×body640valid
2.0msbody1280valid
1.0msbody320valid
0.0msbody160valid

simplify5.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
175
285
done85

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.2b

localize11.0ms

Local error

Found 1 expressions with local error:

1.0b
(- (atan y) (atan x))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt *-un-lft-identity add-log-exp
pow1 sub-neg flip3-- add-cbrt-cube diff-log diff-atan add-exp-log add-cube-cbrt flip-- distribute-lft-out-- difference-of-squares
Counts
1 → 15
Calls
1 calls:
12.0ms
(- (atan y) (atan x))

series19.0ms

Counts
1 → 3
Calls
1 calls:
19.0ms
(- (atan y) (atan x))

simplify3.3s

Counts
18 → 18
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
035157
169153
2131143
3286143
4855143
53210143
done5002143

prune78.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.3b

localize23.0ms

Local error

Found 1 expressions with local error:

5.3b
(atan2 (- y x) (+ 1 (* y x)))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
Counts
1 → 7
Calls
1 calls:
1.0ms
(atan2 (- y x) (+ 1 (* y x)))

series5.0ms

Counts
1 → 3
Calls
1 calls:
5.0ms
(atan2 (- y x) (+ 1 (* y x)))

simplify2.0s

Counts
10 → 10
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
017127
124127
227109
332109
440109
574109
6159109
7336109
81063109
done5000109

prune56.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 5.3b

regimes51.0ms

Accuracy

0% (0.0b remaining)

Error of 3.9b against oracle of 3.9b and baseline of 3.9b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1119
done119

end0.0ms

sample1.1s

Algorithm
intervals
Results
462.0ms7042×body80valid
100.0ms183×body1280valid
74.0ms377×body640valid
50.0ms258×body320valid
14.0ms139×body160valid
0.0msbody2560valid