Details

Time bar (total: 3.2s)

sample39.0ms

Algorithm
intervals
Results
22.0ms256×body80valid
7.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

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.6b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x x) (* y y))
19.3b
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

rewrite17.0ms

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

series91.0ms

Counts
2 → 6
Calls
2 calls:
26.0ms
(+ (* x x) (* y y))
64.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

simplify42.0ms

Algorithm
egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0308388
11848330
25001322

prune125.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.6b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* y y) (* x x))
19.3b
(/ (* (- x y) (+ x y)) (+ (* y y) (* x x)))

rewrite17.0ms

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

series93.0ms

Counts
2 → 6
Calls
2 calls:
28.0ms
(+ (* y y) (* x x))
66.0ms
(/ (* (- x y) (+ x y)) (+ (* y y) (* x x)))

simplify41.0ms

Algorithm
egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0308388
11794332
25001329

prune116.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.6b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) (* y y))
0.0b
(exp (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
0.0b
(log (exp (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))))
19.3b
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
18×exp-prod
11×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
10×log-pow
9×add-exp-log times-frac add-cbrt-cube
8×associate-/l/
7×flip3-+ flip-+ add-log-exp
6×associate-/r/
5×pow1
4×frac-times
3×log-prod flip3-- associate-/r* flip-- div-inv
2×cbrt-undiv associate-*r/ div-exp associate-*l/
1×+-commutative frac-2neg rem-log-exp prod-exp clear-num sum-log cbrt-unprod rem-exp-log associate-/l*
Counts
4 → 80
Calls
4 calls:
3.0ms
(+ (* x x) (* y y))
10.0ms
(exp (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
12.0ms
(log (exp (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))))
13.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

series237.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(+ (* x x) (* y y))
79.0ms
(exp (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
66.0ms
(log (exp (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))))
65.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

simplify46.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0355761
11949662
25001647

prune258.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.6b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) (* y y))
0.0b
(pow E (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
0.0b
(log (pow E (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))))
19.3b
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

rewrite25.0ms

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

series494.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(+ (* x x) (* y y))
101.0ms
(pow E (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
296.0ms
(log (pow E (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))))
66.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

simplify55.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
0416842
12361747
25002736

prune242.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.6b

regimes92.0ms

Accuracy

77% (4.5b remaining)

Error of 4.9b against oracle of 0.4b and baseline of 20.2b

bsearch110.0ms

Steps
ItersRangePoint
8
2.410908475436866e-169
5.40238830313474e-166
5.3431862292807695e-166
8
-7.342094138514356e-160
-1.5627956907882408e-164
-1.7862135083696885e-162
9
-6.724232630370945e+156
-2.2826144912851317e+150
-1.6756213551274553e+151

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03016
13016

end0.0ms

sample930.0ms

Algorithm
intervals
Results
588.0ms8000×body80valid
192.0ms8000×pre80true