Details

Time bar (total: 3.4s)

sample35.0ms

Algorithm
intervals
Results
14.0ms64×body1280valid
6.0ms40×body640valid
4.0ms130×body80valid
1.0ms15×body320valid
0.0ms7×body160valid

simplify59.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0155
1225
2305
3525
41145
53225
616185
750015

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.7b

Counts
2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

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

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
1×sub-neg flip3-- flip--
Counts
1 → 4
Calls
1 calls:
5.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series83.0ms

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

simplify99.0ms

Algorithm
egg-herbie
Counts
7 → 7
Iterations

Useful iterations: 2 (7.0ms)

IterNodesCost
08660
119258
261154
3261754
4500154

prune20.0ms

Filtered
7 candidates to 4 candidates (57.1%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New527
Fresh000
Picked011
Done000
Total538

Merged error: 0.0b

Counts
8 → 3

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
10×clear-num associate-/r/
9×frac-times frac-2neg *-commutative
8×difference-of-squares
5×flip3-+ flip-+ div-inv
4×associate-/l*
3×associate-*r/ swap-sqr associate-*r* associate-*l* associate-*l/
2×flip3-- flip-- associate-/l/
1×pow2 sub-neg div-sub un-div-inv
Counts
3 → 47
Calls
3 calls:
19.0ms
(/ (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
8.0ms
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
13.0ms
(- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))

series327.0ms

Counts
3 → 9
Calls
3 calls:
196.0ms
(/ (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
43.0ms
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
87.0ms
(- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))

simplify47.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0328583
11358541
25001517

prune132.0ms

Filtered
56 candidates to 37 candidates (66.1%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New53356
Fresh101
Picked101
Done011
Total55459

Merged error: 0.0b

Counts
59 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
183×*-commutative
100×difference-of-squares
89×swap-sqr
80×unswap-sqr
27×frac-times clear-num
24×frac-2neg associate-/r/
12×flip3-+ flip-+ div-inv
9×associate-*r/ associate-*r* associate-*l* associate-*l/
3×pow2 un-div-inv
1×sub-neg flip3-- flip--
Counts
4 → 185
Calls
4 calls:
8.0ms
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
8.0ms
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
8.0ms
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
83.0ms
(- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0)))

series249.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
44.0ms
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
49.0ms
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
107.0ms
(- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0)))

simplify62.0ms

Algorithm
egg-herbie
Counts
197 → 197
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
02793135
110992841
250022767

prune284.0ms

Filtered
197 candidates to 66 candidates (33.5%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1961197
Fresh022
Picked101
Done011
Total1974201

Merged error: 0.0b

Counts
201 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))))
0.1b
(* 0.3333333333333335 (pow x 3))
0.5b
(* 4.996003610813204e-16 (pow x 4))
8.0b
(+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
3×associate-*r*
2×+-commutative *-commutative associate--r+ sqr-pow
1×sub-neg flip3-- flip3-+ unpow3 flip-- flip-+
Counts
4 → 14
Calls
4 calls:
7.0ms
(- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))))
3.0ms
(* 0.3333333333333335 (pow x 3))
3.0ms
(* 4.996003610813204e-16 (pow x 4))
5.0ms
(+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))

series231.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(- (* 1.0 x) (+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3))))
35.0ms
(* 0.3333333333333335 (pow x 3))
39.0ms
(* 4.996003610813204e-16 (pow x 4))
104.0ms
(+ (* 4.996003610813204e-16 (pow x 4)) (* 0.3333333333333335 (pow x 3)))

simplify144.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
0151159
1598156
22874154
35001154

prune45.0ms

Filtered
26 candidates to 13 candidates (50.0%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New26026
Fresh022
Picked011
Done011
Total26430

Merged error: 0.0b

Counts
30 → 4

regimes281.0ms

Accuracy

99.7% (0.1b remaining)

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

bsearch2.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05869
15869

end0.0ms

sample1.0s

Algorithm
intervals
Results
385.0ms1761×body1280valid
318.0ms1171×body640valid
120.0ms4134×body80valid
57.0ms603×body320valid
21.0ms331×body160valid