Details

Time bar (total: 3.3s)

sample33.0ms

Algorithm
intervals
Results
13.0ms59×body1280valid
5.0ms38×body640valid
4.0ms133×body80valid
2.0ms17×body320valid
1.0ms9×body160valid

simplify63.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: 28.7b

Counts
2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
3×*-un-lft-identity add-log-exp
2×difference-of-squares
1×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- times-frac diff-log add-cbrt-cube flip-- distribute-lft-out--
Counts
1 → 15
Calls
1 calls:
10.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series79.0ms

Counts
1 → 3
Calls
1 calls:
79.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

simplify147.0ms

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 2 (9.0ms)

IterNodesCost
0118161
1265148
2925144
34114144
45002144

prune44.0ms

Filtered
18 candidates to 13 candidates (72.2%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New16218
Fresh000
Picked101
Done000
Total17219

Merged error: 0b

Counts
19 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite134.0ms

Algorithm
rewrite-expression-head
Rules
303×add-sqr-sqrt
176×times-frac
138×*-un-lft-identity
120×difference-of-squares
108×unpow-prod-down cube-prod
68×add-cube-cbrt
51×sqr-pow
33×associate-/l*
25×distribute-lft-out--
18×associate-*l*
14×add-exp-log add-cbrt-cube
10×distribute-lft-out
8×associate-/r/
7×pow1
6×flip3-+ flip-+ add-log-exp
5×difference-cubes
4×associate-*r* div-inv
3×cbrt-undiv pow-unpow div-exp associate-/r*
2×frac-times flip3-- associate-*r/ pow-exp prod-exp flip-- cbrt-unprod associate-/l/ rem-cube-cbrt unswap-sqr
1×cube-div distribute-rgt-in cube-mult pow-to-exp sub-neg pow-pow frac-2neg distribute-lft-in diff-log unpow3 div-sub pow-prod-down associate-*l/ clear-num *-commutative
Counts
4 → 294
Calls
4 calls:
56.0ms
(/ (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3)) (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (+ 1.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* 1.0 1.0)))
17.0ms
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (+ 1.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x))))))
7.0ms
(pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)
35.0ms
(- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3))

series589.0ms

Counts
4 → 12
Calls
4 calls:
317.0ms
(/ (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3)) (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (+ 1.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* 1.0 1.0)))
86.0ms
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (+ 1.0 (/ 2.0 (+ 1.0 (exp (* -2.0 x))))))
49.0ms
(pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)
137.0ms
(- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3))

simplify101.0ms

Algorithm
egg-herbie
Counts
306 → 306
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
011517410
150027180

prune616.0ms

Filtered
306 candidates to 168 candidates (54.9%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New3060306
Fresh011
Picked011
Done000
Total3062308

Merged error: 0b

Counts
308 → 2

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3))))
0.1b
(* 0.33333333333333337 (pow x 3))
7.0b
(+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
12×associate-*r*
10×add-log-exp
8×add-exp-log
7×add-cube-cbrt *-un-lft-identity
5×add-cbrt-cube
4×unpow-prod-down cube-prod unswap-sqr
3×pow1 associate-*l* prod-exp
2×diff-log sum-log sqr-pow
1×+-commutative cube-mult pow-to-exp sub-neg flip3-- flip3-+ unpow3 pow-exp *-commutative flip-- cbrt-unprod flip-+ associate--r+
Counts
3 → 56
Calls
3 calls:
6.0ms
(- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3))))
6.0ms
(* 0.33333333333333337 (pow x 3))
4.0ms
(+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))

series197.0ms

Counts
3 → 9
Calls
3 calls:
52.0ms
(- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3))))
36.0ms
(* 0.33333333333333337 (pow x 3))
109.0ms
(+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))

simplify45.0ms

Algorithm
egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
0275398
11164371
25001370

prune118.0ms

Filtered
65 candidates to 41 candidates (63.1%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New65065
Fresh000
Picked011
Done011
Total65267

Merged error: 0b

Counts
67 → 2

regimes159.0ms

Accuracy

99.1% (0.3b remaining)

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

bsearch2.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04529
14529

end0.0ms

sample916.0ms

Algorithm
intervals
Results
384.0ms1732×body1280valid
178.0ms1231×body640valid
124.0ms4145×body80valid
59.0ms607×body320valid
18.0ms285×body160valid

Profiling

Loading profile data...