Details

Time bar (total: 1.7s)

sample16.0ms

Algorithm
intervals
Results
4.0ms256×body80valid
2.0ms98×body80nan

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
063
163

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.9b

localize7.0ms

Local error

Found 1 expressions with local error:

24.1b
(sqrt (+ (* x x) y))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt sqrt-prod
2×pow1 add-cube-cbrt *-un-lft-identity sqrt-div
1×add-exp-log rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 add-cbrt-cube flip-+ add-log-exp
Counts
1 → 15
Calls
1 calls:
9.0ms
(sqrt (+ (* x x) y))

series36.0ms

Counts
1 → 3
Calls
1 calls:
36.0ms
(sqrt (+ (* x x) y))

simplify135.0ms

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 3 (31.0ms)

IterNodesCost
011695
133490
299789
3396987
4500287

prune46.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (sqrt (+ (* x x) y)))
24.1b
(sqrt (+ (* x x) y))
24.1b
(sqrt (+ (* x x) y))
24.1b
(sqrt (+ (* x x) y))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt sqrt-prod
9×add-cube-cbrt *-un-lft-identity
8×sqrt-div
7×pow1
6×cbrt-prod
4×add-exp-log flip3-+ add-cbrt-cube flip-+ add-log-exp
3×rem-sqrt-square sqrt-pow1 pow1/2
2×cbrt-div
1×pow1/3
Counts
4 → 61
Calls
4 calls:
6.0ms
(cbrt (sqrt (+ (* x x) y)))
12.0ms
(sqrt (+ (* x x) y))
9.0ms
(sqrt (+ (* x x) y))
10.0ms
(sqrt (+ (* x x) y))

series182.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(cbrt (sqrt (+ (* x x) y)))
36.0ms
(sqrt (+ (* x x) y))
40.0ms
(sqrt (+ (* x x) y))
37.0ms
(sqrt (+ (* x x) y))

simplify45.0ms

Algorithm
egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 3 (40.0ms)

IterNodesCost
0166434
1445410
21377405
35002398

prune184.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(* 1/2 (/ y x))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*r*
10×times-frac
9×add-cube-cbrt *-un-lft-identity
6×add-exp-log add-cbrt-cube
3×pow1 associate-*l*
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv associate-*r/ div-exp pow-prod-down *-commutative div-inv add-log-exp
Counts
1 → 32
Calls
1 calls:
13.0ms
(* 1/2 (/ y x))

series19.0ms

Counts
1 → 3
Calls
1 calls:
19.0ms
(* 1/2 (/ y x))

simplify62.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0164128
1727118
22966118
35001118

prune51.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b
(* 1/2 (/ y x))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*r*
10×times-frac
9×add-cube-cbrt *-un-lft-identity
6×add-exp-log add-cbrt-cube
3×pow1 associate-*l*
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv associate-*r/ div-exp pow-prod-down *-commutative div-inv add-log-exp
Counts
1 → 32
Calls
1 calls:
13.0ms
(* 1/2 (/ y x))

series15.0ms

Counts
1 → 3
Calls
1 calls:
15.0ms
(* 1/2 (/ y x))

simplify62.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0164128
1727118
22966118
35001118

prune53.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes186.0ms

Accuracy

97.1% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 21.2b

bsearch44.0ms

Steps
ItersRangePoint
9
5.021239776809263e+39
3.116105820993027e+46
3.0658844345707553e+46
9
-3.520180389087063e+155
-3.072836601954889e+146
-1.3750148652473957e+154

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02210
12910
23110
33110

end0.0ms

sample404.0ms

Algorithm
intervals
Results
142.0ms8000×body80valid
46.0ms2685×body80nan