Details

Time bar (total: 4.0s)

sample36.0ms

Algorithm
intervals
Results
20.0ms256×body80valid
6.0ms256×pre80true

simplify62.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0227
1487
21047
31967
43597
56867
613557
750017

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.4b

localize9.0ms

Local error

Found 1 expressions with local error:

16.2b
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-/l/
6×add-exp-log add-cbrt-cube
4×frac-times flip3-+ flip-+
3×add-sqr-sqrt add-cube-cbrt flip3-- *-un-lft-identity times-frac associate-/r* flip--
2×cbrt-undiv associate-*r/ div-exp associate-*l/ associate-/r/
1×pow1 frac-2neg prod-exp clear-num cbrt-unprod div-inv associate-/l* add-log-exp
Counts
1 → 31
Calls
1 calls:
12.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

series62.0ms

Counts
1 → 3
Calls
1 calls:
62.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

simplify38.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0270311
11434265
25001261

prune79.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

localize15.0ms

Local error

Found 4 expressions with local error:

16.7b
(cbrt (+ (* x x) (* y y)))
16.7b
(cbrt (+ (* x x) (* y y)))
16.7b
(cbrt (+ (* x x) (* y y)))
16.9b
(/ (* (- x y) (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
16×add-exp-log
12×flip3-+ add-cbrt-cube flip-+
9×cbrt-prod
8×frac-times associate-/r/ associate-/l/
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 cbrt-undiv associate-*r/ div-exp associate-*l/ prod-exp cbrt-unprod add-log-exp
3×flip3-- pow1/3 flip--
1×frac-2neg times-frac clear-num associate-/r* div-inv associate-/l*
Counts
4 → 76
Calls
4 calls:
2.0ms
(cbrt (+ (* x x) (* y y)))
2.0ms
(cbrt (+ (* x x) (* y y)))
2.0ms
(cbrt (+ (* x x) (* y y)))
16.0ms
(/ (* (- x y) (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))

series456.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(cbrt (+ (* x x) (* y y)))
90.0ms
(cbrt (+ (* x x) (* y y)))
92.0ms
(cbrt (+ (* x x) (* y y)))
184.0ms
(/ (* (- x y) (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))

simplify57.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
04611021
12241901
25001891

prune252.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:

16.7b
(cbrt (+ (* x x) (* y y)))
16.7b
(cbrt (+ (* x x) (* y y)))
16.9b
(/ (* (- x y) (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
19.8b
(pow (+ (* x x) (* y y)) 1/3)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
16×cbrt-div
12×add-cbrt-cube
11×flip3-+ flip-+
8×add-sqr-sqrt frac-times add-cube-cbrt *-un-lft-identity associate-/r/ associate-/l/
6×cbrt-prod
5×pow1
4×cbrt-undiv associate-*r/ div-exp associate-*l/ prod-exp cbrt-unprod add-log-exp
3×unpow-prod-down pow-unpow flip3-- flip--
2×pow1/3
1×pow-to-exp pow-pow frac-2neg times-frac unpow1/3 pow-exp clear-num associate-/r* div-inv associate-/l* sqr-pow
Counts
4 → 81
Calls
4 calls:
2.0ms
(cbrt (+ (* x x) (* y y)))
2.0ms
(cbrt (+ (* x x) (* y y)))
16.0ms
(/ (* (- x y) (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
6.0ms
(pow (+ (* x x) (* y y)) 1/3)

series453.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(cbrt (+ (* x x) (* y y)))
90.0ms
(cbrt (+ (* x x) (* y y)))
183.0ms
(/ (* (- x y) (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
90.0ms
(pow (+ (* x x) (* y y)) 1/3)

simplify65.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
05091006
12787783
25001764

prune266.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

localize30.0ms

Local error

Found 4 expressions with local error:

16.7b
(cbrt (+ (* x x) (* y y)))
16.7b
(cbrt (+ (* x x) (* y y)))
16.9b
(/ (* (- x y) (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
18.8b
(pow (+ (* x x) (* y y)) (* (cbrt 1/3) (cbrt 1/3)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
16×cbrt-div
12×add-cbrt-cube
11×flip3-+ flip-+
8×frac-times associate-/r/ associate-/l/
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×cbrt-prod
5×pow1
4×cbrt-undiv associate-*r/ div-exp associate-*l/ prod-exp cbrt-unprod add-log-exp
3×unpow-prod-down flip3-- flip--
2×pow1/3
1×pow-to-exp pow-unpow pow-pow frac-2neg times-frac pow-exp clear-num associate-/r* div-inv associate-/l* sqr-pow
Counts
4 → 78
Calls
4 calls:
2.0ms
(cbrt (+ (* x x) (* y y)))
2.0ms
(cbrt (+ (* x x) (* y y)))
16.0ms
(/ (* (- x y) (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
4.0ms
(pow (+ (* x x) (* y y)) (* (cbrt 1/3) (cbrt 1/3)))

series593.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(cbrt (+ (* x x) (* y y)))
91.0ms
(cbrt (+ (* x x) (* y y)))
189.0ms
(/ (* (- x y) (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
220.0ms
(pow (+ (* x x) (* y y)) (* (cbrt 1/3) (cbrt 1/3)))

simplify60.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
05451074
12637951
25002938

prune328.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

regimes72.0ms

Accuracy

75.9% (4.8b remaining)

Error of 5.3b against oracle of 0.5b and baseline of 20.5b

bsearch100.0ms

Steps
ItersRangePoint
9
1.6161733137193659e-195
1.3817922502025073e-189
1.3645633303893502e-189
8
-1.1593599776300809e-157
-1.3699538778299852e-160
-7.331061585121293e-158
8
-2.4957032034655115e+156
-3.203822189738085e+153
-3.23505880669575e+153

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02814
12814

end0.0ms

sample841.0ms

Algorithm
intervals
Results
542.0ms8000×body80valid
156.0ms8000×pre80true