Details

Time bar (total: 9.6s)

sample40.0ms

Algorithm
intervals
Results
19.0ms256×body80valid

simplify297.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
0919
11918
23918
37718
413118
519318
623418
724218
done24218

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.1b

localize35.0ms

Local error

Found 2 expressions with local error:

3.3b
(- (* x x) (* (* y 4.0) y))
29.6b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
4×add-exp-log add-cbrt-cube add-log-exp
3×associate-/r* associate-/l*
2×pow1 expm1-log1p-u flip3-- associate-/r/ flip-- log1p-expm1-u associate-/l/
1×cbrt-undiv sub-neg frac-2neg flip3-+ fma-neg diff-log div-sub div-exp prod-diff clear-num flip-+ div-inv
Counts
2 → 50
Calls
2 calls:
9.0ms
(- (* x x) (* (* y 4.0) y))
35.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

series160.0ms

Counts
2 → 6
Calls
2 calls:
75.0ms
(- (* x x) (* (* y 4.0) y))
85.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

simplify1.4s

Counts
56 → 56
Iterations

Useful iterations: done (1.4s)

IterNodesCost
0911282
12551209
214931096
done50001090

prune358.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.3b

localize40.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ (* x x) (fma x x (* (* y 4.0) y))) (/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y))))
21.2b
(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))
24.0b
(/ (* x x) (fma x x (* (* y 4.0) y)))

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
52×times-frac
49×prod-diff
41×add-sqr-sqrt
39×*-un-lft-identity
37×add-cube-cbrt
19×div-inv
17×add-exp-log add-cbrt-cube
7×fma-neg
6×associate-/r*
5×cbrt-undiv div-exp add-log-exp
4×prod-exp cbrt-unprod
3×pow1 expm1-log1p-u log1p-expm1-u
2×frac-2neg clear-num associate-/l* difference-of-squares
1×sub-neg flip3-- distribute-rgt-out-- diff-log frac-sub flip-- distribute-lft-out-- sub-div
Counts
3 → 124
Calls
3 calls:
48.0ms
(- (/ (* x x) (fma x x (* (* y 4.0) y))) (/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y))))
40.0ms
(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))
21.0ms
(/ (* x x) (fma x x (* (* y 4.0) y)))

series314.0ms

Counts
3 → 9
Calls
3 calls:
164.0ms
(- (/ (* x x) (fma x x (* (* y 4.0) y))) (/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y))))
76.0ms
(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))
73.0ms
(/ (* x x) (fma x x (* (* y 4.0) y)))

simplify2.3s

Counts
133 → 133
Iterations

Useful iterations: done (2.3s)

IterNodesCost
02027019
15565862
231484726
done50014532

prune578.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* x x) (fma x x (* (* y 4.0) y))) (/ 1 (/ (fma x x (* (* y 4.0) y)) (* (* y 4.0) y))))
0.4b
(/ 1 (/ (fma x x (* (* y 4.0) y)) (* (* y 4.0) y)))
20.9b
(/ (fma x x (* (* y 4.0) y)) (* (* y 4.0) y))
24.0b
(/ (* x x) (fma x x (* (* y 4.0) y)))

rewrite196.0ms

Algorithm
rewrite-expression-head
Rules
337×times-frac
190×add-sqr-sqrt
182×prod-diff
181×*-un-lft-identity
176×add-cube-cbrt
63×div-inv
52×add-exp-log
32×add-cbrt-cube
22×div-exp
13×prod-exp
12×cbrt-undiv
11×associate-/r*
8×associate-/r/
7×fma-neg cbrt-unprod associate-/l*
6×add-log-exp difference-of-squares
5×pow1
4×expm1-log1p-u rec-exp 1-exp log1p-expm1-u
3×frac-2neg clear-num
2×distribute-lft-out--
1×sub-neg flip3-- pow-flip diff-log frac-sub flip-- inv-pow
Counts
4 → 322
Calls
4 calls:
91.0ms
(- (/ (* x x) (fma x x (* (* y 4.0) y))) (/ 1 (/ (fma x x (* (* y 4.0) y)) (* (* y 4.0) y))))
53.0ms
(/ 1 (/ (fma x x (* (* y 4.0) y)) (* (* y 4.0) y)))
19.0ms
(/ (fma x x (* (* y 4.0) y)) (* (* y 4.0) y))
12.0ms
(/ (* x x) (fma x x (* (* y 4.0) y)))

series477.0ms

Counts
4 → 12
Calls
4 calls:
139.0ms
(- (/ (* x x) (fma x x (* (* y 4.0) y))) (/ 1 (/ (fma x x (* (* y 4.0) y)) (* (* y 4.0) y))))
93.0ms
(/ 1 (/ (fma x x (* (* y 4.0) y)) (* (* y 4.0) y)))
136.0ms
(/ (fma x x (* (* y 4.0) y)) (* (* y 4.0) y))
108.0ms
(/ (* x x) (fma x x (* (* y 4.0) y)))

simplify799.0ms

Counts
334 → 334
Iterations

Useful iterations: done (774.0ms)

IterNodesCost
048825861
1128722241
done500116710

prune1.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.3b

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune0.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.3b

regimes291.0ms

Accuracy

53.7% (14.3b remaining)

Error of 14.7b against oracle of 0.4b and baseline of 31.3b

bsearch212.0ms

Steps
ItersRangePoint
10
5.167486607436607e+189
1.579909217741876e+200
2.6000500965086023e+199
7
4.9870422886920376e+101
3.527056463873254e+103
5.054706620732832e+101
7
3.190648122733064e-18
7.485433461213294e-17
2.080267309844611e-17
8
2.5170704355541145e-165
3.3521330590547855e-162
1.89336738182365e-164
9
4.618542844504654e-202
3.093253510056225e-194
8.146242059652438e-197
0
0.0
4.9406564584125e-324
0.0

simplify9.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
034138
138138
done38138

end0.0ms

sample937.0ms

Algorithm
intervals
Results
632.0ms8000×body80valid