Details

Time bar (total: 22.8s)

sample64.0ms

Algorithm
intervals
Results
33.0ms256×body80valid
13.0ms256×pre80true

simplify3.3s

Counts
1 → 1
Iterations
IterNodes
82884
71046
6573
5339
4177
395
246
122
09

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.3b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) (* y y))
0.0b
(- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))
14.5b
(/ (* x x) (+ (* x x) (* y y)))
25.8b
(/ (* y y) (+ (* x x) (* y y)))

rewrite175.0ms

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

series225.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(+ (* x x) (* y y))
81.0ms
(- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))
51.0ms
(/ (* x x) (+ (* x x) (* y y)))
63.0ms
(/ (* y y) (+ (* x x) (* y y)))

simplify1.3s

Counts
95 → 95
Iterations
IterNodes
33588
21127
1372
0132

prune896.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.6b

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
10
00

prune7.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 1 (/ (+ (* x x) (* y y)) (* x x))) (/ (* y y) (+ (* x x) (* y y))))
0.1b
(/ 1 (/ (+ (* x x) (* y y)) (* x x)))
14.4b
(/ (+ (* x x) (* y y)) (* x x))
25.8b
(/ (* y y) (+ (* x x) (* y y)))

rewrite193.0ms

Algorithm
rewrite-expression-head
Rules
56×times-frac
48×add-sqr-sqrt
35×add-exp-log
31×*-un-lft-identity
24×add-cube-cbrt
23×add-cbrt-cube
16×div-exp
11×associate-/r*
10×difference-of-squares
9×cbrt-undiv
8×div-inv
7×associate-/l*
6×add-log-exp
5×pow1 prod-exp
4×insert-posit16
3×rec-exp clear-num frac-2neg 1-exp associate-/r/ cbrt-unprod
2×flip3-+ flip-+ distribute-lft-out-- associate-/l/
1×sub-neg flip3-- diff-log frac-sub pow-flip flip-- inv-pow
Counts
4 → 131
Calls
4 calls:
117.0ms
(- (/ 1 (/ (+ (* x x) (* y y)) (* x x))) (/ (* y y) (+ (* x x) (* y y))))
27.0ms
(/ 1 (/ (+ (* x x) (* y y)) (* x x)))
31.0ms
(/ (+ (* x x) (* y y)) (* x x))
15.0ms
(/ (* y y) (+ (* x x) (* y y)))

series300.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(- (/ 1 (/ (+ (* x x) (* y y)) (* x x))) (/ (* y y) (+ (* x x) (* y y))))
67.0ms
(/ 1 (/ (+ (* x x) (* y y)) (* x x)))
58.0ms
(/ (+ (* x x) (* y y)) (* x x))
86.0ms
(/ (* y y) (+ (* x x) (* y y)))

simplify11.3s

Counts
143 → 143
Iterations
IterNodes
37359
21925
1569
0206

prune1.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.6b

localize29.0ms

Local error

Found 4 expressions with local error:

21.6b
(sqrt (+ (* x x) (* y y)))
21.6b
(sqrt (+ (* x x) (* y y)))
25.8b
(/ (* y y) (+ (* x x) (* y y)))
25.8b
(/ (* y y) (+ (* x x) (* y y)))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
14×add-cbrt-cube add-exp-log
12×add-sqr-sqrt
10×*-un-lft-identity add-cube-cbrt
6×pow1 associate-/r* times-frac sqrt-prod
4×cbrt-undiv flip3-+ sqrt-div div-exp associate-/r/ flip-+ insert-posit16 add-log-exp
2×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 prod-exp cbrt-unprod div-inv associate-/l*
Counts
4 → 80
Calls
4 calls:
9.0ms
(sqrt (+ (* x x) (* y y)))
8.0ms
(sqrt (+ (* x x) (* y y)))
19.0ms
(/ (* y y) (+ (* x x) (* y y)))
14.0ms
(/ (* y y) (+ (* x x) (* y y)))

series209.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(sqrt (+ (* x x) (* y y)))
41.0ms
(sqrt (+ (* x x) (* y y)))
55.0ms
(/ (* y y) (+ (* x x) (* y y)))
73.0ms
(/ (* y y) (+ (* x x) (* y y)))

simplify652.0ms

Counts
92 → 92
Iterations
IterNodes
32515
2682
1199
077

prune1.1s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.6b

regimes112.0ms

Accuracy

77.8% (4.6b remaining)

Error of 5.1b against oracle of 0.5b and baseline of 21.3b

bsearch135.0ms

Steps
ItersRangePoint
7
1.3332643502482504e-163
5.511216668210956e-162
1.9144746578538855e-162
7
-1.067557500913656e-155
-4.149886733724345e-157
-7.522985421753554e-157
8
-1.451435089868483e+157
-3.005736238460213e+152
-1.3656303004097706e+154

simplify8.0ms

Iterations
IterNodes
229
129
026

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.2s8000×body80valid
275.0ms8000×pre80true