Details

Time bar (total: 2.6s)

sample15.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify23.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0189
1369
2689
31179
41749
51959
61979
71979

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.6b

localize10.0ms

Local error

Found 2 expressions with local error:

2.4b
(- (* x x) (* (* y 4.0) y))
28.1b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite33.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:
7.0ms
(- (* x x) (* (* y 4.0) y))
25.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

series94.0ms

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

simplify173.0ms

Algorithm
egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0221583
1964535
24814534
35001534

prune105.0ms

Pruning

4 alts after pruning (4 fresh and 0 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

prune5.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))))
0.0b
(log (exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))))
2.4b
(- (* x x) (* (* y 4.0) y))
28.1b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
30×exp-prod
27×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
16×log-pow
7×add-log-exp
6×add-exp-log associate-/r/ add-cbrt-cube
5×pow1
3×log-prod flip3-+ div-sub associate-/r* flip-+ div-inv associate-/l*
2×flip3-- exp-diff flip-- associate-/l/
1×cbrt-undiv sub-neg log-div frac-2neg diff-log div-exp rem-log-exp clear-num rem-exp-log
Counts
4 → 96
Calls
4 calls:
34.0ms
(exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))))
34.0ms
(log (exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))))
7.0ms
(- (* x x) (* (* y 4.0) y))
28.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

series222.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))))
57.0ms
(log (exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))))
38.0ms
(- (* x x) (* (* y 4.0) y))
58.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

simplify49.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
02811237
110671137
250011134

prune259.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize14.0ms

Local error

Found 4 expressions with local error:

2.4b
(- (* x x) (* (* y 4.0) y))
2.4b
(- (* x x) (* (* y 4.0) y))
28.1b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))
28.1b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×times-frac
8×add-exp-log add-cbrt-cube add-log-exp
6×associate-/r* associate-/l*
4×pow1 flip3-- associate-/r/ flip-- associate-/l/
2×cbrt-undiv sub-neg frac-2neg flip3-+ diff-log div-sub div-exp clear-num flip-+ div-inv
Counts
4 → 88
Calls
4 calls:
9.0ms
(- (* x x) (* (* y 4.0) y))
8.0ms
(- (* x x) (* (* y 4.0) y))
25.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))
27.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

series193.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(- (* x x) (* (* y 4.0) y))
37.0ms
(- (* x x) (* (* y 4.0) y))
58.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))
55.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

simplify191.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
02211166
19641070
248141068
350011068

prune372.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.1b

regimes151.0ms

Accuracy

56.8% (13.8b remaining)

Error of 14.1b against oracle of 0.3b and baseline of 32.1b

bsearch124.0ms

Steps
ItersRangePoint
6
4.936487057276285e+227
6.013258379314998e+228
5.9260642040761817e+228
5
1.3413797694341272e+219
3.724919286072353e+219
1.357033785550347e+219
9
1.5753630294634432e+149
4.4109738812751535e+156
2.3872178848098573e+156
9
3.1133979904354096e+62
3.359515687634765e+68
7.34707069111201e+62
9
1544035.8974519635
1431606593579.6848
1427194724.890607
8
8.635913790325179e-287
3.407510535454288e-283
6.444954464909742e-285

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04175
14175

end0.0ms

sample396.0ms

Algorithm
intervals
Results
221.0ms8000×body80valid