Details

Time bar (total: 4.4s)

sample34.0ms

Algorithm
intervals
Results
17.0ms256×body80valid
8.0ms256×pre80true

simplify914.0ms

Counts
1 → 1
Iterations
IterNodes
done2001
71519
6575
5339
4177
395
246
122
09

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.3b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))
16.3b
(/ (* x x) (+ (* x x) (* y y)))
26.3b
(/ (* y y) (+ (* x x) (* y y)))

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
13×add-cbrt-cube add-exp-log
10×times-frac
9×*-un-lft-identity
8×associate-/r/
7×add-cube-cbrt
6×associate-/r*
5×add-log-exp
4×cbrt-undiv flip3-+ div-exp flip-+ div-inv difference-of-squares
3×pow1 distribute-rgt-out-- insert-posit16
2×clear-num frac-2neg prod-exp cbrt-unprod associate-/l*
1×sub-neg flip3-- diff-log frac-sub flip-- distribute-lft-out-- sub-div
Counts
3 → 71
Calls
3 calls:
108.0ms
(- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))
29.0ms
(/ (* x x) (+ (* x x) (* y y)))
36.0ms
(/ (* y y) (+ (* x x) (* y y)))

series236.0ms

Counts
3 → 9
Calls
3 calls:
81.0ms
(- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))
68.0ms
(/ (* x x) (+ (* x x) (* y y)))
86.0ms
(/ (* y y) (+ (* x x) (* y y)))

simplify841.0ms

Counts
80 → 80
Iterations
IterNodes
done2119
21527
1376
0120

prune375.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune4.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune1.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.1b

regimes111.0ms

Accuracy

76.4% (4.5b remaining)

Error of 5.0b against oracle of 0.5b and baseline of 19.7b

bsearch227.0ms

Steps
ItersRangePoint
7
3.952725185673483e-178
2.0610646524110457e-176
2.0258790624487682e-176
9
-3.696309529768053e-199
-2.9338593808162835e-205
-3.6548784939791494e-199
8
-6.352748007902326e-185
-5.285063516879211e-188
-5.572350587881258e-188
10
-4.463723097533937e+161
-6.749854855548698e+149
-1.3386474296726014e+154

simplify4.0ms

Iterations
IterNodes
done25
125
022

end0.0ms

sample1.5s

Algorithm
intervals
Results
867.0ms8000×body80valid
385.0ms8000×pre80true