Details

Time bar (total: 4.1s)

sample36.0ms

Algorithm
intervals
Results
15.0ms62×body1280valid
6.0ms35×body640valid
4.0ms131×body80valid
2.0ms18×body320valid
1.0ms10×body160valid

simplify59.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0155
1225
2305
3525
41145
53225
616275
750025

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 29.2b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
2.8b
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
16×add-sqr-sqrt
13×times-frac
11×add-cube-cbrt
4×add-exp-log associate-/r* add-cbrt-cube distribute-lft-out add-log-exp
3×associate-/l*
2×pow1 associate-/r/ difference-of-squares
1×cbrt-undiv sub-neg flip3-- frac-2neg flip3-+ diff-log div-exp clear-num flip-- flip-+ div-inv distribute-lft-out--
Counts
2 → 48
Calls
2 calls:
5.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
10.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series118.0ms

Counts
2 → 6
Calls
2 calls:
38.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
80.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

simplify58.0ms

Algorithm
egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 2 (16.0ms)

IterNodesCost
0220413
1613391
22032387
35001387

prune104.0ms

Filtered
54 candidates to 40 candidates (74.1%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New51354
Fresh000
Picked101
Done000
Total52355

Merged error: 0.0b

Counts
55 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
0.0b
(pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
0.0b
(cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
2.8b
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
37×*-un-lft-identity
19×add-cube-cbrt
18×cbrt-prod
17×times-frac
12×unpow-prod-down cube-prod
10×difference-of-squares
7×add-exp-log add-cbrt-cube
6×add-log-exp
5×pow1 distribute-lft-out--
4×cube-div associate-/r* distribute-lft-out
3×pow-unpow flip3-- flip-- associate-/l*
2×cube-mult cbrt-div unpow3 associate-/r/ sqr-pow
1×cbrt-undiv pow-to-exp sub-neg pow-pow frac-2neg flip3-+ pow1/3 diff-log div-exp pow-exp clear-num rem-cbrt-cube flip-+ div-inv rem-cube-cbrt
Counts
4 → 108
Calls
4 calls:
5.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
10.0ms
(pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
10.0ms
(cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
10.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series313.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
121.0ms
(pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
77.0ms
(cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
78.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

simplify47.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
03821080
114221033
250021019

prune188.0ms

Filtered
120 candidates to 71 candidates (59.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1200120
Fresh022
Picked011
Done000
Total1203123

Merged error: 0.0b

Counts
123 → 3

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
85×add-sqr-sqrt
77×*-un-lft-identity
56×times-frac
39×add-cube-cbrt
36×unpow-prod-down cube-prod
24×difference-of-squares
14×distribute-lft-out
11×add-exp-log add-cbrt-cube sqr-pow
8×associate-/r* associate-/r/
6×associate-/l* add-log-exp
5×pow1 distribute-lft-out--
4×flip3-+ flip-+ div-inv
3×cbrt-undiv pow-unpow div-exp
2×frac-2neg pow-exp clear-num rem-cube-cbrt
1×difference-cubes cube-div cube-mult pow-to-exp sub-neg flip3-- pow-pow diff-log unpow3 flip--
Counts
4 → 164
Calls
4 calls:
6.0ms
(/ 2.0 (+ (exp (* -2.0 x)) 1.0))
6.0ms
(/ 2.0 (+ (exp (* -2.0 x)) 1.0))
7.0ms
(pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)
30.0ms
(- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3))

series262.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(/ 2.0 (+ (exp (* -2.0 x)) 1.0))
36.0ms
(/ 2.0 (+ (exp (* -2.0 x)) 1.0))
53.0ms
(pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)
134.0ms
(- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3))

simplify78.0ms

Algorithm
egg-herbie
Counts
176 → 176
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
05911696
124101597
250011579

prune359.0ms

Filtered
176 candidates to 101 candidates (57.4%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1751176
Fresh011
Picked101
Done011
Total1763179

Merged error: 0.0b

Counts
179 → 3

localize24.0ms

Local error

Found 4 expressions with local error:

0.5b
(pow (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) 3)
0.5b
(pow (sqrt (+ 1.0 (exp (* -2.0 x)))) 3)
1.0b
(cbrt 2.0)
2.7b
(- (* (/ (* 2.0 2.0) (pow (sqrt (+ 1.0 (exp (* -2.0 x)))) 3)) (pow (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) 3)) (pow 1.0 3))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
93×*-un-lft-identity
84×times-frac
65×add-sqr-sqrt add-cube-cbrt
56×sqrt-prod
55×unpow-prod-down cube-prod
45×cbrt-prod
14×distribute-lft-out
8×add-exp-log
7×pow1 add-cbrt-cube
6×pow-unpow sqrt-div add-log-exp
4×pow-pow associate-/r/
3×cube-div flip3-+ pow-exp flip-+ rem-cube-cbrt
2×cube-mult pow-to-exp unpow3 div-inv sqr-pow
1×cbrt-undiv sub-neg flip3-- sqrt-pow1 pow1/2 pow1/3 diff-log div-exp sqrt-pow2 flip--
Counts
4 → 175
Calls
4 calls:
12.0ms
(pow (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) 3)
5.0ms
(pow (sqrt (+ 1.0 (exp (* -2.0 x)))) 3)
1.0ms
(cbrt 2.0)
26.0ms
(- (* (/ (* 2.0 2.0) (pow (sqrt (+ 1.0 (exp (* -2.0 x)))) 3)) (pow (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) 3)) (pow 1.0 3))

series472.0ms

Counts
4 → 10
Calls
4 calls:
184.0ms
(pow (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) 3)
92.0ms
(pow (sqrt (+ 1.0 (exp (* -2.0 x)))) 3)
0.0ms
(cbrt 2.0)
196.0ms
(- (* (/ (* 2.0 2.0) (pow (sqrt (+ 1.0 (exp (* -2.0 x)))) 3)) (pow (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) 3)) (pow 1.0 3))

simplify134.0ms

Algorithm
egg-herbie
Counts
185 → 185
Iterations

Useful iterations: 2 (106.0ms)

IterNodesCost
08382478
145462046
250011962

prune369.0ms

Filtered
185 candidates to 72 candidates (38.9%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1841185
Fresh011
Picked101
Done011
Total1853188

Merged error: 0.0b

Counts
188 → 3

regimes252.0ms

Accuracy

99% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 29.4b

bsearch2.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05648
15648

end0.0ms

sample995.0ms

Algorithm
intervals
Results
399.0ms1676×body1280valid
218.0ms1313×body640valid
132.0ms4085×body80valid
71.0ms597×body320valid
24.0ms329×body160valid

Profiling

Loading profile data...