Details

Time bar (total: 5.2s)

sample45.0ms

Algorithm
intervals
Results
17.0ms51×body1280valid
9.0ms42×body640valid
6.0ms132×body80valid
4.0ms23×body320valid
1.0ms8×body160valid

simplify61.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0155
1225
2305
3525
41145
53225
616275
750025

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.1b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite38.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:
6.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
31.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series115.0ms

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

simplify65.0ms

Algorithm
egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
0220413
1613391
22032387
35001387

prune120.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize16.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) (pow 1.0 3)) (+ (* (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) (+ 1.0 (/ 2.0 (+ (exp (* -2.0 x)) 1.0)))) (* 1.0 1.0)))
2.3b
(- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3))

rewrite364.0ms

Algorithm
rewrite-expression-head
Rules
290×add-sqr-sqrt
163×times-frac
126×*-un-lft-identity
120×difference-of-squares
90×unpow-prod-down cube-prod
60×add-cube-cbrt
50×sqr-pow
39×associate-/l*
25×distribute-lft-out--
11×associate-/r*
10×add-exp-log add-cbrt-cube
8×distribute-lft-out
6×associate-/r/ add-log-exp
5×difference-cubes
4×pow1
3×cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ div-inv
2×flip3-- flip-- associate-/l/
1×sub-neg diff-log div-sub
Counts
4 → 260
Calls
4 calls:
6.0ms
(/ 2.0 (+ (exp (* -2.0 x)) 1.0))
8.0ms
(/ 2.0 (+ (exp (* -2.0 x)) 1.0))
239.0ms
(/ (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3)) (+ (* (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) (+ 1.0 (/ 2.0 (+ (exp (* -2.0 x)) 1.0)))) (* 1.0 1.0)))
97.0ms
(- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3))

series508.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(/ 2.0 (+ (exp (* -2.0 x)) 1.0))
40.0ms
(/ 2.0 (+ (exp (* -2.0 x)) 1.0))
304.0ms
(/ (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3)) (+ (* (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) (+ 1.0 (/ 2.0 (+ (exp (* -2.0 x)) 1.0)))) (* 1.0 1.0)))
130.0ms
(- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3))

simplify121.0ms

Algorithm
egg-herbie
Counts
272 → 272
Iterations

Useful iterations: 2 (61.0ms)

IterNodesCost
07386763
128306644
250016640

prune810.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- (* 8.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 3))) 1.0) (+ 1.0 (+ (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))))))
0.0b
(pow (+ (exp (* -2.0 x)) 1.0) 2)
0.0b
(pow (+ (exp (* -2.0 x)) 1.0) 3)
2.3b
(- (* 8.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 3))) 1.0)

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
32×*-un-lft-identity
18×add-sqr-sqrt add-cube-cbrt
12×times-frac
8×add-exp-log unpow-prod-down
7×add-cbrt-cube distribute-lft-out
6×pow1 pow-unpow add-log-exp
4×cube-prod associate-/r*
3×associate-/l*
2×cube-div pow-to-exp flip3-- pow-pow flip3-+ pow-exp associate-/r/ flip-- flip-+ associate-/l/ sqr-pow
1×cbrt-undiv cube-mult sub-neg frac-2neg diff-log unpow3 div-sub div-exp clear-num div-inv unpow2 rem-cube-cbrt
Counts
4 → 94
Calls
4 calls:
89.0ms
(/ (- (* 8.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 3))) 1.0) (+ 1.0 (+ (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))))))
6.0ms
(pow (+ (exp (* -2.0 x)) 1.0) 2)
6.0ms
(pow (+ (exp (* -2.0 x)) 1.0) 3)
11.0ms
(- (* 8.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 3))) 1.0)

series500.0ms

Counts
4 → 12
Calls
4 calls:
298.0ms
(/ (- (* 8.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 3))) 1.0) (+ 1.0 (+ (* 4.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 2))) (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))))))
29.0ms
(pow (+ (exp (* -2.0 x)) 1.0) 2)
45.0ms
(pow (+ (exp (* -2.0 x)) 1.0) 3)
128.0ms
(- (* 8.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 3))) 1.0)

simplify72.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
04791657
122531527
250021523

prune284.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 2)
1.0b
(cbrt 2)
1.0b
(cbrt 2)
2.3b
(- (* 8.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 3))) 1.0)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
4×pow1 add-exp-log add-cbrt-cube
3×pow1/3
1×sub-neg flip3-- diff-log flip--
Counts
4 → 45
Calls
4 calls:
0.0ms
(cbrt 2)
0.0ms
(cbrt 2)
1.0ms
(cbrt 2)
11.0ms
(- (* 8.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 3))) 1.0)

series130.0ms

Counts
4 → 6
Calls
4 calls:
0.0ms
(cbrt 2)
0.0ms
(cbrt 2)
0.0ms
(cbrt 2)
130.0ms
(- (* 8.0 (/ 1 (pow (+ (exp (* -2.0 x)) 1.0) 3))) 1.0)

simplify74.0ms

Algorithm
egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 3 (70.0ms)

IterNodesCost
0130281
1398257
22107241
35001237

prune220.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

regimes220.0ms

Accuracy

100% (0.0b remaining)

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

bsearch2.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05935
15935

end0.0ms

sample1.3s

Algorithm
intervals
Results
545.0ms1716×body1280valid
285.0ms1257×body640valid
178.0ms4088×body80valid
100.0ms631×body320valid
32.0ms308×body160valid