Details

Time bar (total: 2.4s)

sample33.0ms

Algorithm
intervals
Results
11.0ms59×body1280valid
7.0ms59×body640valid
3.0ms97×body80valid
2.0ms30×body320valid
2.0ms87×body80overflowed
1.0ms11×body160valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
087
187

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 39.7b

Counts
2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (exp x) (- (exp x) 1.0))
3.4b
(- (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-/r* distribute-lft-out-- difference-of-squares
4×add-cbrt-cube add-log-exp
3×add-exp-log associate-/l*
2×pow1 flip3-- associate-/r/ flip--
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp clear-num div-inv
Counts
2 → 51
Calls
2 calls:
11.0ms
(/ (exp x) (- (exp x) 1.0))
4.0ms
(- (exp x) 1.0)

series9.0ms

Counts
2 → 6
Calls
2 calls:
6.0ms
(/ (exp x) (- (exp x) 1.0))
2.0ms
(- (exp x) 1.0)

simplify43.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
04947576
14947576

prune69.0ms

Filtered
41 candidates to 57 candidates (-39.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New55257
Fresh000
Picked101
Done000
Total56258

Merged error: 0.0b

Counts
58 → 2

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x 1/12) (/ 1 x))
0.3b
(* x 1/12)

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
3×associate-*r* associate-*l*
1×+-commutative flip3-+ pow-prod-down prod-exp sum-log *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
2 → 29
Calls
2 calls:
5.0ms
(+ (* x 1/12) (/ 1 x))
3.0ms
(* x 1/12)

series6.0ms

Counts
2 → 6
Calls
2 calls:
4.0ms
(+ (* x 1/12) (/ 1 x))
2.0ms
(* x 1/12)

simplify49.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
04915225
14915225

prune40.0ms

Filtered
23 candidates to 35 candidates (-52.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New34135
Fresh011
Picked011
Done000
Total34337

Merged error: 0.0b

Counts
37 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
161×add-sqr-sqrt
91×*-un-lft-identity
80×difference-of-squares
75×times-frac
66×unpow-prod-down
63×cube-prod
42×sqr-pow
41×add-cube-cbrt
25×associate-/l* distribute-lft-out--
8×pow-pow
7×add-cbrt-cube
6×pow1 add-exp-log pow-unpow exp-prod add-log-exp
5×difference-cubes
3×associate-/r*
2×pow-to-exp flip3-- pow-exp associate-/r/ flip-- associate-/l/
1×cbrt-undiv cube-mult sub-neg frac-2neg flip3-+ diff-log unpow3 div-sub div-exp clear-num flip-+ div-inv unpow2 rem-cube-cbrt
Counts
4 → 201
Calls
4 calls:
3.0ms
(pow (exp x) 3)
3.0ms
(pow (exp x) 2)
22.0ms
(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (pow (exp x) 2) (* 1.0 (+ (exp x) 1.0))))
11.0ms
(- (pow (exp x) 3) (pow 1.0 3))

series33.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(pow (exp x) 3)
3.0ms
(pow (exp x) 2)
21.0ms
(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (pow (exp x) 2) (* 1.0 (+ (exp x) 1.0))))
5.0ms
(- (pow (exp x) 3) (pow 1.0 3))

simplify64.0ms

Algorithm
egg-herbie
Counts
213 → 213
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
049754895
149754895

prune327.0ms

Filtered
111 candidates to 213 candidates (-91.9%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New2121213
Fresh011
Picked101
Done011
Total2133216

Merged error: 0.0b

Counts
216 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
13×add-sqr-sqrt
12×flip3-+ flip-+
11×add-exp-log add-cube-cbrt add-cbrt-cube
9×associate-*r*
8×frac-times associate-/r/
7×pow1 unpow-prod-down pow-prod-down
6×add-log-exp
5×times-frac distribute-lft-out associate-/l*
4×pow-pow cube-prod associate-*r/ associate-*l/
3×difference-cubes pow-unpow exp-prod associate-*l* difference-of-squares
2×cbrt-undiv flip3-- div-exp prod-exp flip-- cbrt-unprod associate-/l/
1×distribute-rgt-in pow-to-exp sub-neg frac-2neg distribute-lft-in diff-log div-sub pow-exp clear-num associate-/r* sum-cubes *-commutative div-inv unpow2 unswap-sqr sqr-pow
Counts
4 → 105
Calls
4 calls:
18.0ms
(* (+ (pow (exp x) 2) (* 1.0 (+ (exp x) 1.0))) (+ (pow (exp x) 3) (pow 1.0 3)))
3.0ms
(pow (exp x) 2)
30.0ms
(/ (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1.0 3) (pow 1.0 3))) (* (+ (pow (exp x) 2) (* 1.0 (+ (exp x) 1.0))) (+ (pow (exp x) 3) (pow 1.0 3))))
9.0ms
(- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1.0 3) (pow 1.0 3)))

series64.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(* (+ (pow (exp x) 2) (* 1.0 (+ (exp x) 1.0))) (+ (pow (exp x) 3) (pow 1.0 3)))
3.0ms
(pow (exp x) 2)
40.0ms
(/ (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1.0 3) (pow 1.0 3))) (* (+ (pow (exp x) 2) (* 1.0 (+ (exp x) 1.0))) (+ (pow (exp x) 3) (pow 1.0 3))))
8.0ms
(- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1.0 3) (pow 1.0 3)))

simplify72.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
049692311
149692311

prune349.0ms

Filtered
89 candidates to 117 candidates (-31.5%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1170117
Fresh011
Picked011
Done011
Total1173120

Merged error: 0.0b

Counts
120 → 3

regimes64.0ms

Accuracy

98.7% (0.3b remaining)

Error of 0.7b against oracle of 0.4b and baseline of 21.3b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03755
13755

end0.0ms

sample994.0ms

Algorithm
intervals
Results
405.0ms2271×body1280valid
200.0ms1719×body640valid
71.0ms2826×body80valid
58.0ms762×body320valid
57.0ms2570×body80overflowed
22.0ms423×body160valid

Profiling

Loading profile data...