Details

Time bar (total: 4.3s)

sample30.0ms

Algorithm
intervals
Results
10.0ms61×body1280valid
7.0ms49×body640valid
3.0ms171×body80valid
3.0ms40×body320valid
1.0ms16×body160valid

simplify7.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0103
1133
2153
3153

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.6b

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- (exp x) 1.0) x)
4.6b
(- (exp x) 1.0)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt *-un-lft-identity
15×times-frac
12×add-cube-cbrt
5×associate-/l* distribute-lft-out-- difference-of-squares
4×add-exp-log add-cbrt-cube add-log-exp
3×associate-/r*
2×pow1 flip3-- flip-- associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-sub div-exp clear-num div-inv
Counts
2 → 52
Calls
2 calls:
10.0ms
(/ (- (exp x) 1.0) x)
4.0ms
(- (exp x) 1.0)

series58.0ms

Counts
2 → 6
Calls
2 calls:
43.0ms
(/ (- (exp x) 1.0) x)
15.0ms
(- (exp x) 1.0)

simplify78.0ms

Algorithm
egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
0222329
1625311
22739309
35001309

prune118.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

0.2b
(* 1/6 (pow x 2))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×associate-*r*
6×add-exp-log
4×add-cube-cbrt unpow-prod-down *-un-lft-identity unswap-sqr
3×associate-*l* prod-exp add-cbrt-cube
2×unpow2 sqr-pow
1×pow1 pow-to-exp pow-exp *-commutative cbrt-unprod add-log-exp
Counts
1 → 27
Calls
1 calls:
6.0ms
(* 1/6 (pow x 2))

series24.0ms

Counts
1 → 3
Calls
1 calls:
24.0ms
(* 1/6 (pow x 2))

simplify77.0ms

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 3 (71.0ms)

IterNodesCost
010799
140487
2186787
3500286

prune53.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))) x)
0.0b
(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))
0.0b
(pow (exp x) 3)
4.5b
(- (pow (exp x) 3) (pow 1.0 3))

rewrite217.0ms

Algorithm
rewrite-expression-head
Rules
644×add-sqr-sqrt
618×times-frac
406×*-un-lft-identity
272×difference-of-squares
236×add-cube-cbrt
207×unpow-prod-down cube-prod
137×sqr-pow
106×associate-/l*
85×distribute-lft-out--
17×difference-cubes
12×add-cbrt-cube
11×add-exp-log
10×associate-/r/
6×associate-/r* div-inv add-log-exp
5×pow1 flip3-+ flip-+
4×cbrt-undiv pow-pow div-exp
3×pow-unpow exp-prod div-sub associate-/l/
2×flip3-- frac-2neg clear-num flip--
1×cube-mult pow-to-exp sub-neg diff-log unpow3 pow-exp rem-cube-cbrt
Counts
4 → 523
Calls
4 calls:
89.0ms
(/ (/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))) x)
65.0ms
(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))
2.0ms
(pow (exp x) 3)
17.0ms
(- (pow (exp x) 3) (pow 1.0 3))

series288.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(/ (/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))) x)
91.0ms
(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))
23.0ms
(pow (exp x) 3)
43.0ms
(- (pow (exp x) 3) (pow 1.0 3))

simplify127.0ms

Algorithm
egg-herbie
Counts
535 → 535
Iterations

Useful iterations: 1 (30.0ms)

IterNodesCost
0140811299
1500111164

prune1.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp x) 3)
0.0b
(pow (exp x) 3)
0.0b
(/ (/ (- (* (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3))) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))) x)
4.5b
(- (* (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3))) (pow 1.0 3))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
165×times-frac
123×add-sqr-sqrt
84×add-cube-cbrt *-un-lft-identity
52×difference-of-squares
27×associate-/l*
19×unpow-prod-down cube-prod
15×sqr-pow
11×add-cbrt-cube
9×add-exp-log
8×pow-pow associate-/r/
6×pow1 pow-unpow exp-prod add-log-exp
5×div-inv
4×flip3-+ flip-+
3×cbrt-undiv div-exp associate-/r*
2×cube-mult pow-to-exp unpow3 div-sub pow-exp rem-cube-cbrt
1×sub-neg flip3-- frac-2neg diff-log clear-num flip-- associate-/l/
Counts
4 → 195
Calls
4 calls:
2.0ms
(pow (exp x) 3)
2.0ms
(pow (exp x) 3)
65.0ms
(/ (/ (- (* (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3))) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))) x)
11.0ms
(- (* (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3))) (pow 1.0 3))

series226.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(pow (exp x) 3)
26.0ms
(pow (exp x) 3)
133.0ms
(/ (/ (- (* (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3))) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))) x)
42.0ms
(- (* (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3))) (pow 1.0 3))

simplify134.0ms

Algorithm
egg-herbie
Counts
207 → 207
Iterations

Useful iterations: 2 (103.0ms)

IterNodesCost
08813938
143473748
250013740

prune634.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes34.0ms

Accuracy

98.7% (0.3b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 21.4b

bsearch36.0ms

Steps
ItersRangePoint
9
-0.005638304299853577
-1.7977825652338532e-10
-0.00017806619917958195

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04145
14145

end0.0ms

sample857.0ms

Algorithm
intervals
Results
389.0ms2305×body1280valid
175.0ms1660×body640valid
93.0ms5439×body80valid
54.0ms813×body320valid
16.0ms387×body160valid