Details

Time bar (total: 2.1s)

sample15.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify18.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0189
1369
2689
31179
41749
51959
61979
71979

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.4b

localize11.0ms

Local error

Found 2 expressions with local error:

3.1b
(- (* x x) (* (* y 4.0) y))
29.8b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite13.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 flip3-- associate-/r/ flip-- associate-/l/
1×cbrt-undiv sub-neg frac-2neg flip3-+ diff-log div-sub div-exp clear-num flip-+ div-inv
Counts
2 → 44
Calls
2 calls:
3.0ms
(- (* x x) (* (* y 4.0) y))
8.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

series104.0ms

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

simplify186.0ms

Algorithm
egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0221583
1964535
24814534
35001534

prune121.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune3.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 4 expressions with local error:

3.1b
(- (* x x) (* (* y 4.0) y))
29.8b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))
29.8b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))
29.8b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite33.0ms

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

series223.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(- (* x x) (* (* y 4.0) y))
63.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))
63.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))
58.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

simplify203.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
02211543
19641419
248141416
350011416

prune554.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.1b

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify4.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune0.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0.1b

regimes157.0ms

Accuracy

60.3% (12.5b remaining)

Error of 12.9b against oracle of 0.4b and baseline of 31.9b

bsearch101.0ms

Steps
ItersRangePoint
6
4.1079987382327867e+263
2.1089123947952916e+264
4.2506266048630395e+263
5
2.988963544227884e-82
9.429312123153172e-82
3.329685575724472e-82
7
2.3515556900183252e-150
5.393092110990879e-149
2.440219134958563e-149
8
1.1009678461595335e-279
1.2516883057813465e-275
9.283965764610774e-276

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03245
13245

end0.0ms

sample377.0ms

Algorithm
intervals
Results
243.0ms8000×body80valid