Details

Time bar (total: 7.4s)

sample77.0ms

Algorithm
intervals
Results
51.0ms175×body1280valid
6.0ms264×body80valid
6.0ms38×body640valid
3.0ms31×body320valid
0.0ms7×body160valid

simplify228.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0145
1265
2415
3555
4675
51045
61615
73445
814545
950015

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.7b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (exp x) 2.0)
3.6b
(+ (- (exp x) 2.0) (exp (- x)))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
20×add-sqr-sqrt
18×prod-diff
16×add-cube-cbrt
11×associate-+l+
9×add-log-exp
5×fma-def
4×frac-add
3×flip3-- fma-neg flip-- distribute-lft-out--
2×pow1 add-exp-log neg-sub0 exp-neg expm1-log1p-u sub-neg exp-diff diff-log sum-log add-cbrt-cube log1p-expm1-u distribute-lft-out difference-of-squares
1×+-commutative associate-+l- flip3-+ flip-+
Counts
2 → 65
Calls
2 calls:
11.0ms
(- (exp x) 2.0)
54.0ms
(+ (- (exp x) 2.0) (exp (- x)))

series64.0ms

Counts
2 → 6
Calls
2 calls:
11.0ms
(- (exp x) 2.0)
54.0ms
(+ (- (exp x) 2.0) (exp (- x)))

simplify35.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0282506
11008381
25001367

prune212.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
0.1b
(* 1/12 (pow x 4))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
7×add-exp-log associate-*r*
5×add-cube-cbrt *-un-lft-identity
4×unpow-prod-down add-cbrt-cube
3×associate-*l* prod-exp unswap-sqr
2×pow1 expm1-log1p-u log1p-expm1-u add-log-exp sqr-pow
1×pow-to-exp pow-exp *-commutative cbrt-unprod fma-udef
Counts
2 → 37
Calls
2 calls:
0.0ms
(fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
12.0ms
(* 1/12 (pow x 4))

series88.0ms

Counts
2 → 6
Calls
2 calls:
52.0ms
(fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
36.0ms
(* 1/12 (pow x 4))

simplify78.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
0133197
1474178
22541172
35001172

prune136.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt (exp x))
0.0b
(cbrt (exp x))
0.0b
(cbrt (exp x))
4.6b
(+ (+ (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 2.0) (fma (- 2.0) 1 2.0)) (exp (- x)))

rewrite739.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
13×add-log-exp
9×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt
5×sum-log
4×pow1 add-exp-log expm1-log1p-u fma-def frac-add add-cbrt-cube log1p-expm1-u distribute-lft-out
3×flip3-+ pow1/3 flip-+
2×neg-sub0 exp-neg associate-+l- exp-diff
1×+-commutative associate-+l+ diff-log
Counts
4 → 66
Calls
4 calls:
2.0ms
(cbrt (exp x))
2.0ms
(cbrt (exp x))
2.0ms
(cbrt (exp x))
731.0ms
(+ (+ (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 2.0) (fma (- 2.0) 1 2.0)) (exp (- x)))

series316.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(cbrt (exp x))
75.0ms
(cbrt (exp x))
74.0ms
(cbrt (exp x))
92.0ms
(+ (+ (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 2.0) (fma (- 2.0) 1 2.0)) (exp (- x)))

simplify35.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 2 (27.0ms)

IterNodesCost
0266873
1989778
25001640

prune426.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- (exp x) 2.0) (- (exp x) 2.0))
0.0b
(pow (- (exp x) 2.0) 3)
0.7b
(/ (+ (pow (- (exp x) 2.0) 3) (pow (exp (- x)) 3)) (fma (exp (* -1 x)) (- (exp (- x)) (- (exp x) 2.0)) (* (- (exp x) 2.0) (- (exp x) 2.0))))
3.5b
(+ (pow (- (exp x) 2.0) 3) (pow (exp (- x)) 3))

rewrite437.0ms

Algorithm
rewrite-expression-head
Rules
176×*-un-lft-identity
62×add-sqr-sqrt
50×unpow-prod-down cube-prod
45×distribute-lft-out
44×add-cube-cbrt
39×times-frac
30×distribute-lft-out--
18×cube-div prod-diff
16×fma-def
13×associate-/l*
12×pow1
11×distribute-rgt-in flip3-- distribute-lft-in flip--
9×add-exp-log add-cbrt-cube
8×frac-add difference-of-squares
7×swap-sqr
6×associate-/l/ add-log-exp
5×associate-*r* associate-*l* sum-cubes
4×neg-sub0 exp-neg expm1-log1p-u frac-times exp-diff log1p-expm1-u
3×pow-unpow associate-/r*
2×cube-mult sub-neg flip3-+ unpow3 associate-*r/ associate-*l/ flip-+ sqr-pow
1×cbrt-undiv +-commutative pow2 pow-to-exp pow-pow frac-2neg pow-plus div-exp pow-prod-down pow-exp prod-exp clear-num sum-log pow-sqr *-commutative pow-prod-up cbrt-unprod div-inv rem-cube-cbrt unswap-sqr
Counts
4 → 214
Calls
4 calls:
61.0ms
(* (- (exp x) 2.0) (- (exp x) 2.0))
14.0ms
(pow (- (exp x) 2.0) 3)
239.0ms
(/ (+ (pow (- (exp x) 2.0) 3) (pow (exp (- x)) 3)) (fma (exp (* -1 x)) (- (exp (- x)) (- (exp x) 2.0)) (* (- (exp x) 2.0) (- (exp x) 2.0))))
112.0ms
(+ (pow (- (exp x) 2.0) 3) (pow (exp (- x)) 3))

series515.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* (- (exp x) 2.0) (- (exp x) 2.0))
40.0ms
(pow (- (exp x) 2.0) 3)
308.0ms
(/ (+ (pow (- (exp x) 2.0) 3) (pow (exp (- x)) 3)) (fma (exp (* -1 x)) (- (exp (- x)) (- (exp x) 2.0)) (* (- (exp x) 2.0) (- (exp x) 2.0))))
138.0ms
(+ (pow (- (exp x) 2.0) 3) (pow (exp (- x)) 3))

simplify150.0ms

Algorithm
egg-herbie
Counts
226 → 226
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
07633704
142573298
250013298

prune1.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes22.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0115
1115

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.7s5667×body1280valid
193.0ms1234×body640valid
185.0ms8008×body80valid
64.0ms626×body320valid
18.0ms300×body160valid