Details

Time bar (total: 7.2s)

sample336.0ms

Algorithm
intervals
Results
40.0ms208×body10240exit
11.0ms377×body80nan
8.0ms245×body80valid
1.0ms17×body160valid

simplify70.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0197
1287
2407
3737
41767
55597
626267
750017

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.3b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
0.1b
(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
3.4b
(- (exp (* 2.0 x)) 1.0)
3.5b
(- (exp x) 1.0)

rewrite45.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:
13.0ms
(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
15.0ms
(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
4.0ms
(- (exp (* 2.0 x)) 1.0)
7.0ms
(- (exp x) 1.0)

series209.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
59.0ms
(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
33.0ms
(- (exp (* 2.0 x)) 1.0)
22.0ms
(- (exp x) 1.0)

simplify127.0ms

Algorithm
egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 3 (110.0ms)

IterNodesCost
03871380
110541314
242871301
350031293

prune330.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
26×*-un-lft-identity
14×sqrt-prod
11×add-exp-log add-cbrt-cube difference-of-squares
9×flip3-- associate-*r* flip--
8×frac-times add-cube-cbrt associate-/l/ add-log-exp
7×distribute-lft-out--
6×pow1 flip3-+ flip-+
5×times-frac associate-*l* associate-/r*
4×sub-neg associate-*r/ associate-*l/
2×cbrt-undiv distribute-rgt-in distribute-lft-in diff-log div-exp prod-exp associate-/r/ cbrt-unprod distribute-lft-out
1×frac-2neg pow-prod-down clear-num *-commutative div-inv associate-/l* unswap-sqr
Counts
4 → 105
Calls
4 calls:
49.0ms
(* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)))
24.0ms
(/ (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (- (exp x) 1.0))
7.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
4.0ms
(- (exp x) 1.0)

series377.0ms

Counts
4 → 12
Calls
4 calls:
120.0ms
(* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)))
189.0ms
(/ (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (- (exp x) 1.0))
53.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
15.0ms
(- (exp x) 1.0)

simplify66.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
04811464
124011163
250031124

prune329.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)))
0.1b
(* (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))))
3.5b
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
3.6b
(- (sqrt (exp x)) (sqrt 1.0))

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
218×add-sqr-sqrt
214×*-un-lft-identity
164×sqrt-prod
135×times-frac
87×associate-*r*
80×difference-of-squares
46×add-cube-cbrt
44×distribute-lft-out
40×distribute-lft-out--
31×associate-*l*
18×add-exp-log add-cbrt-cube
8×add-log-exp
6×pow1 associate-/r/
5×cbrt-undiv div-exp associate-/r* associate-/l*
4×prod-exp cbrt-unprod unswap-sqr
3×flip3-- flip3-+ flip-- flip-+ div-inv
2×sub-neg diff-log associate-/l/
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative
Counts
4 → 229
Calls
4 calls:
29.0ms
(/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)))
146.0ms
(* (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))))
7.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
11.0ms
(- (sqrt (exp x)) (sqrt 1.0))

series565.0ms

Counts
4 → 12
Calls
4 calls:
137.0ms
(/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)))
335.0ms
(* (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))))
55.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
38.0ms
(- (sqrt (exp x)) (sqrt 1.0))

simplify102.0ms

Algorithm
egg-herbie
Counts
241 → 241
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
07534573
136933975
250023846

prune523.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (log (exp (- (sqrt (exp x)) (sqrt 1.0))))))
3.5b
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
3.6b
(- (sqrt (exp x)) (sqrt 1.0))
3.6b
(log (exp (- (sqrt (exp x)) (sqrt 1.0))))

rewrite269.0ms

Algorithm
rewrite-expression-head
Rules
261×add-sqr-sqrt
189×*-un-lft-identity
170×sqrt-prod
146×times-frac
121×associate-*r*
100×log-pow difference-of-squares
90×exp-prod
50×distribute-lft-out--
49×add-cube-cbrt
31×associate-*l*
20×distribute-lft-out
16×pow1 add-exp-log add-cbrt-cube
8×add-log-exp
5×log-prod
4×cbrt-undiv div-exp prod-exp cbrt-unprod unswap-sqr
3×sub-neg
2×flip3-- diff-log exp-sum associate-/r/ flip-- div-inv
1×frac-times log-div flip3-+ exp-diff associate-*r/ rem-log-exp pow-prod-down associate-*l/ *-commutative flip-+
Counts
4 → 236
Calls
4 calls:
214.0ms
(* (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (log (exp (- (sqrt (exp x)) (sqrt 1.0))))))
7.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
8.0ms
(- (sqrt (exp x)) (sqrt 1.0))
23.0ms
(log (exp (- (sqrt (exp x)) (sqrt 1.0))))

series472.0ms

Counts
4 → 12
Calls
4 calls:
339.0ms
(* (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (log (exp (- (sqrt (exp x)) (sqrt 1.0))))))
49.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
45.0ms
(- (sqrt (exp x)) (sqrt 1.0))
39.0ms
(log (exp (- (sqrt (exp x)) (sqrt 1.0))))

simplify94.0ms

Algorithm
egg-herbie
Counts
248 → 248
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
07494760
133323990
250023880

prune547.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes27.0ms

Accuracy

79.5% (0.7b remaining)

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

bsearch35.0ms

Steps
ItersRangePoint
7
-0.00013776134412608358
-2.653200281950173e-06
-6.8779141464345475e-06

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03020
13020

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.3s6662×body10240exit
367.0ms12727×body80nan
229.0ms7422×body80valid
52.0ms703×body160valid