Details

Time bar (total: 4.8s)

sample39.0ms

Algorithm
intervals
Results
16.0ms112×body1280valid
6.0ms71×body640valid
3.0ms392×pre80true
2.0ms38×body320valid
2.0ms143×body80valid
1.0ms28×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
062
172
272

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.0b

localize3.0ms

Local error

Found 1 expressions with local error:

6.9b
(- (exp x) 1.0)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt *-un-lft-identity add-log-exp
1×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip-- distribute-lft-out-- difference-of-squares
Counts
1 → 14
Calls
1 calls:
4.0ms
(- (exp x) 1.0)

series16.0ms

Counts
1 → 3
Calls
1 calls:
16.0ms
(- (exp x) 1.0)

simplify57.0ms

Algorithm
egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 2 (8.0ms)

IterNodesCost
08172
118567
249966
3139966
4500266

prune47.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (pow x 2) (+ (* x 1/6) 1/2))
0.3b
(* x 1/6)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
11×associate-*l*
9×add-exp-log
7×add-cube-cbrt *-un-lft-identity
6×associate-*r* add-cbrt-cube
5×unswap-sqr
4×pow1 unpow-prod-down prod-exp
2×associate-*r/ *-commutative cbrt-unprod unpow2 add-log-exp sqr-pow
1×distribute-rgt-in pow-to-exp distribute-lft-in flip3-+ pow-prod-down pow-exp flip-+
Counts
2 → 49
Calls
2 calls:
8.0ms
(* (pow x 2) (+ (* x 1/6) 1/2))
4.0ms
(* x 1/6)

series80.0ms

Counts
2 → 6
Calls
2 calls:
67.0ms
(* (pow x 2) (+ (* x 1/6) 1/2))
14.0ms
(* x 1/6)

simplify45.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 1 (9.0ms)

IterNodesCost
0247239
11168216
25001216

prune100.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ 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)
6.8b
(- (pow (exp x) 3) (pow 1.0 3))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
158×add-sqr-sqrt
88×*-un-lft-identity
80×difference-of-squares
75×times-frac
63×unpow-prod-down cube-prod
41×sqr-pow
38×add-cube-cbrt
25×associate-/l* distribute-lft-out--
8×add-log-exp
7×add-cbrt-cube
6×add-exp-log
5×pow1 difference-cubes
4×pow-pow
3×pow-unpow exp-prod associate-/r*
2×associate-+l+ flip3-- flip3-+ associate-/r/ flip-- flip-+ associate-/l/
1×cbrt-undiv +-commutative distribute-rgt-in cube-mult pow-to-exp sub-neg frac-2neg distribute-lft-in diff-log unpow3 div-sub div-exp pow-exp clear-num sum-log div-inv rem-cube-cbrt
Counts
4 → 193
Calls
4 calls:
9.0ms
(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
25.0ms
(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))
3.0ms
(pow (exp x) 3)
14.0ms
(- (pow (exp x) 3) (pow 1.0 3))

series191.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
94.0ms
(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))
23.0ms
(pow (exp x) 3)
42.0ms
(- (pow (exp x) 3) (pow 1.0 3))

simplify104.0ms

Algorithm
egg-herbie
Counts
205 → 205
Iterations

Useful iterations: 2 (73.0ms)

IterNodesCost
05963107
126063030
250023023

prune379.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ (/ (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))) (/ (- (exp x) 1.0) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))))
0.0b
(/ (- (exp x) 1.0) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))))
1.0b
(/ (/ (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))))
6.9b
(- (exp x) 1.0)

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
626×times-frac
422×add-sqr-sqrt
336×*-un-lft-identity
319×cbrt-prod
308×add-cube-cbrt
150×associate-*l*
36×associate-*r*
34×cbrt-div associate-/r/
32×add-exp-log
29×associate-/l*
21×unswap-sqr
19×add-cbrt-cube
17×flip3-+ flip-+ div-inv
14×distribute-lft-out-- difference-of-squares
13×cbrt-undiv div-exp
12×associate-/r*
7×pow1
6×prod-exp cbrt-unprod add-log-exp
3×associate-/l/
2×flip3-- frac-2neg pow1/3 clear-num flip-- pow-div
1×frac-times sub-neg diff-log div-sub associate-*r/ pow-prod-down associate-*l/ *-commutative
Counts
4 → 495
Calls
4 calls:
117.0ms
(* (/ (/ (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))) (/ (- (exp x) 1.0) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))))
19.0ms
(/ (- (exp x) 1.0) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))))
34.0ms
(/ (/ (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))))
4.0ms
(- (exp x) 1.0)

series464.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* (/ (/ (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))) (/ (- (exp x) 1.0) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))))
281.0ms
(/ (- (exp x) 1.0) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))))
147.0ms
(/ (/ (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))))
15.0ms
(- (exp x) 1.0)

simplify160.0ms

Algorithm
egg-herbie
Counts
507 → 507
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
0172017991
1500117350

prune1.7s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes24.0ms

Accuracy

0% (0.5b remaining)

Error of 0.6b against oracle of 0.1b and baseline of 0.6b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0135
1135

end0.0ms

sample1.1s

Algorithm
intervals
Results
491.0ms3450×body1280valid
209.0ms2448×body640valid
93.0ms11944×pre80true
68.0ms1303×body320valid
47.0ms4135×body80valid
19.0ms608×body160valid