Details

Time bar (total: 3.1s)

sample25.0ms

Algorithm
intervals
Results
10.0ms256×body80valid
5.0ms256×pre80true

simplify62.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0227
1487
21047
31967
43597
56867
613557
750017

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 19.6b

Counts
2 → 1

localize9.0ms

Local error

Found 1 expressions with local error:

19.4b
(/ (* (- 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)))

series63.0ms

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

simplify37.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0270311
11434265
25001261

prune66.0ms

Filtered
34 candidates to 28 candidates (82.4%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New31334
Fresh000
Picked101
Done000
Total32335

Merged error: 0.5b

Counts
35 → 3

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune3.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done000
Total033

Merged error: 0.5b

Counts
3 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

8.0b
(/ (- x y) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
19.7b
(cbrt (+ (* x x) (* y y)))
19.7b
(cbrt (+ (* x x) (* y y)))
19.7b
(cbrt (+ (* x x) (* y y)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
13×add-sqr-sqrt *-un-lft-identity
9×add-exp-log cbrt-prod add-cube-cbrt flip3-+ flip-+
8×associate-/r/
7×add-cbrt-cube
5×times-frac associate-/l*
4×pow1 frac-times add-log-exp
3×pow1/3
2×cbrt-undiv associate-*r/ div-exp associate-*l/ associate-/l/ distribute-lft-out-- difference-of-squares
1×flip3-- frac-2neg div-sub prod-exp clear-num associate-/r* flip-- cbrt-unprod div-inv
Counts
4 → 75
Calls
4 calls:
17.0ms
(/ (- x y) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
3.0ms
(cbrt (+ (* x x) (* y y)))
3.0ms
(cbrt (+ (* x x) (* y y)))
3.0ms
(cbrt (+ (* x x) (* y y)))

series468.0ms

Counts
4 → 12
Calls
4 calls:
135.0ms
(/ (- x y) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
92.0ms
(cbrt (+ (* x x) (* y y)))
116.0ms
(cbrt (+ (* x x) (* y y)))
126.0ms
(cbrt (+ (* x x) (* y y)))

simplify90.0ms

Algorithm
egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 2 (26.0ms)

IterNodesCost
0356916
11082843
23675832
35001832

prune218.0ms

Filtered
87 candidates to 74 candidates (85.1%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New86187
Fresh011
Picked101
Done011
Total87390

Merged error: 0.5b

Counts
90 → 3

localize19.0ms

Local error

Found 4 expressions with local error:

0.7b
(+ (log (- x y)) (- (* 2 (log (cbrt (+ (* x x) (* y y)))))))
3.1b
(exp (+ (log (- x y)) (- (* 2 (log (cbrt (+ (* x x) (* y y))))))))
19.7b
(cbrt (+ (* x x) (* y y)))
19.7b
(cbrt (+ (* x x) (* y y)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
17×log-prod
14×add-sqr-sqrt
12×cbrt-prod add-cube-cbrt associate-+r+ distribute-neg-in
9×add-log-exp
6×pow1 distribute-rgt-in distribute-lft-in
5×associate-+l+ exp-prod exp-diff
4×add-exp-log associate-+l- log-div cbrt-div sum-log add-cbrt-cube distribute-lft-out
3×flip3-+ flip-+ rem-exp-log
2×neg-sub0 associate-+r- flip3-- pow1/3 unsub-neg neg-log log-pow flip--
1×+-commutative exp-sum distribute-lft-out-- difference-of-squares
Counts
4 → 83
Calls
4 calls:
10.0ms
(+ (log (- x y)) (- (* 2 (log (cbrt (+ (* x x) (* y y)))))))
6.0ms
(exp (+ (log (- x y)) (- (* 2 (log (cbrt (+ (* x x) (* y y))))))))
4.0ms
(cbrt (+ (* x x) (* y y)))
3.0ms
(cbrt (+ (* x x) (* y y)))

series738.0ms

Counts
4 → 12
Calls
4 calls:
161.0ms
(+ (log (- x y)) (- (* 2 (log (cbrt (+ (* x x) (* y y)))))))
387.0ms
(exp (+ (log (- x y)) (- (* 2 (log (cbrt (+ (* x x) (* y y))))))))
96.0ms
(cbrt (+ (* x x) (* y y)))
94.0ms
(cbrt (+ (* x x) (* y y)))

simplify51.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0431924
11496826
25001782

prune302.0ms

Filtered
95 candidates to 80 candidates (84.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New94195
Fresh011
Picked101
Done011
Total95398

Merged error: 0.5b

Counts
98 → 3

regimes82.0ms

Accuracy

59.1% (8.3b remaining)

Error of 8.9b against oracle of 0.6b and baseline of 20.9b

bsearch127.0ms

Steps
ItersRangePoint
8
5.596466371608632e-160
7.125234708590332e-156
7.001765049208792e-156
9
-4.963613050543331e-179
-1.3357619506884977e-185
-4.897964256833351e-179
8
-8.448383147744875e-156
-3.5365727383191696e-160
-7.37395601768034e-160
8
-2.8122972153503016e-27
-5.593223949533395e-32
-2.2208938072286916e-30

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04720
14920
24920

end0.0ms

sample631.0ms

Algorithm
intervals
Results
327.0ms8000×body80valid
157.0ms8000×pre80true