Details

Time bar (total: 6.7s)

sample398.0ms

Algorithm
intervals
Results
59.0ms225×body10240exit
13.0ms418×body80nan
8.0ms242×body80valid
2.0ms21×body160valid

simplify74.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0197
1287
2407
3737
41767
55597
626267
750017

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.4b

localize11.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
0.5b
(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
4.1b
(- (exp (* 2.0 x)) 1.0)
4.2b
(- (exp x) 1.0)

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
78×add-sqr-sqrt
75×*-un-lft-identity
51×times-frac
31×sqrt-prod
27×add-cube-cbrt
24×distribute-lft-out-- difference-of-squares
8×add-log-exp
6×add-exp-log add-cbrt-cube
5×pow1 flip3-- associate-/r* flip-- associate-/l*
4×associate-/r/
2×sub-neg rem-sqrt-square diff-log div-inv associate-/l/
1×cbrt-undiv frac-2neg sqrt-pow1 pow1/2 sqrt-div div-sub div-exp clear-num
Counts
4 → 123
Calls
4 calls:
37.0ms
(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
32.0ms
(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
11.0ms
(- (exp (* 2.0 x)) 1.0)
12.0ms
(- (exp x) 1.0)

series180.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
84.0ms
(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
22.0ms
(- (exp (* 2.0 x)) 1.0)
22.0ms
(- (exp x) 1.0)

simplify120.0ms

Algorithm
egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 3 (106.0ms)

IterNodesCost
03871380
110541314
242871301
350031293

prune349.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.5b

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))
0.5b
(sqrt (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))))
4.2b
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
4.2b
(- (exp x) 1.0)

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
98×add-sqr-sqrt
70×*-un-lft-identity
45×times-frac
43×sqrt-prod
39×difference-of-squares
25×distribute-lft-out--
20×add-cube-cbrt
9×associate-/l*
8×add-log-exp
7×pow1
6×add-exp-log add-cbrt-cube
5×sqrt-div associate-/r*
4×flip3-- flip--
2×frac-times sub-neg sqrt-pow1 flip3-+ diff-log associate-*l/ associate-/r/ flip-+ associate-/l/
1×cbrt-undiv frac-2neg pow1/2 div-sub associate-*r/ div-exp pow-prod-down clear-num div-inv
Counts
4 → 124
Calls
4 calls:
50.0ms
(/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))
34.0ms
(sqrt (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))))
17.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
9.0ms
(- (exp x) 1.0)

series437.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))
296.0ms
(sqrt (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))))
45.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
12.0ms
(- (exp x) 1.0)

simplify64.0ms

Algorithm
egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
05741847
120281761
250011753

prune357.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.5b

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))
0.5b
(sqrt (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))))
4.2b
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
4.2b
(- (exp x) 1.0)

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
98×add-sqr-sqrt
70×*-un-lft-identity
45×times-frac
43×sqrt-prod
39×difference-of-squares
25×distribute-lft-out--
20×add-cube-cbrt
9×associate-/l*
8×add-log-exp
7×pow1
6×add-exp-log add-cbrt-cube
5×sqrt-div associate-/r*
4×flip3-- flip--
2×frac-times sub-neg sqrt-pow1 flip3-+ diff-log associate-*l/ associate-/r/ flip-+ associate-/l/
1×cbrt-undiv frac-2neg pow1/2 div-sub associate-*r/ div-exp pow-prod-down clear-num div-inv
Counts
4 → 124
Calls
4 calls:
49.0ms
(/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))
34.0ms
(sqrt (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))))
16.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
9.0ms
(- (exp x) 1.0)

series446.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))
309.0ms
(sqrt (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))))
41.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
12.0ms
(- (exp x) 1.0)

simplify59.0ms

Algorithm
egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
05741847
120281761
250011753

prune410.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.5b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 0.5 (/ x (sqrt 2.0))) (+ (sqrt 2.0) (* (/ (pow x 2) (sqrt 2.0)) (- 0.25 (/ 0.125 2.0)))))
0.2b
(* (/ (pow x 2) (sqrt 2.0)) (- 0.25 (/ 0.125 2.0)))
0.3b
(/ (pow x 2) (sqrt 2.0))
0.4b
(/ x (sqrt 2.0))

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
123×times-frac
108×add-sqr-sqrt
83×*-un-lft-identity
81×add-cube-cbrt
67×sqrt-prod
52×associate-*l*
41×unpow-prod-down
21×add-exp-log
15×unpow2 sqr-pow
13×add-cbrt-cube
12×associate-/r*
11×associate-/l*
9×add-log-exp unswap-sqr
7×div-exp
6×pow1 associate-*r*
4×associate-*r/ prod-exp
3×cbrt-undiv sum-log div-inv
2×distribute-rgt-in frac-times pow-to-exp sub-neg flip3-- frac-2neg distribute-lft-in flip3-+ frac-add pow-exp clear-num flip-- cbrt-unprod flip-+ difference-of-squares
1×+-commutative associate-+r+ pow-prod-down associate-*l/ *-commutative distribute-lft-out--
Counts
4 → 221
Calls
4 calls:
26.0ms
(+ (* 0.5 (/ x (sqrt 2.0))) (+ (sqrt 2.0) (* (/ (pow x 2) (sqrt 2.0)) (- 0.25 (/ 0.125 2.0)))))
62.0ms
(* (/ (pow x 2) (sqrt 2.0)) (- 0.25 (/ 0.125 2.0)))
13.0ms
(/ (pow x 2) (sqrt 2.0))
6.0ms
(/ x (sqrt 2.0))

series253.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(+ (* 0.5 (/ x (sqrt 2.0))) (+ (sqrt 2.0) (* (/ (pow x 2) (sqrt 2.0)) (- 0.25 (/ 0.125 2.0)))))
60.0ms
(* (/ (pow x 2) (sqrt 2.0)) (- 0.25 (/ 0.125 2.0)))
60.0ms
(/ (pow x 2) (sqrt 2.0))
52.0ms
(/ x (sqrt 2.0))

simplify89.0ms

Algorithm
egg-herbie
Counts
233 → 233
Iterations

Useful iterations: 2 (64.0ms)

IterNodesCost
07231889
130421708
250011694

prune519.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.5b

regimes39.0ms

Accuracy

78.2% (0.7b remaining)

Error of 0.9b against oracle of 0.1b and baseline of 3.4b

bsearch53.0ms

Steps
ItersRangePoint
9
-0.04331797882383785
-1.989428328455626e-07
-8.403797957856243e-07

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04231
14231

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.2s6689×body10240exit
362.0ms12775×body80nan
232.0ms7444×body80valid
50.0ms694×body160valid