Details

Time bar (total: 8.5s)

sample325.0ms

Algorithm
intervals
Results
263.0ms242×body10240exit
20.0ms374×body80nan
15.0ms239×body80valid
3.0ms24×body160valid

simplify71.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0197
1287
2407
3737
41767
55597
626267
750017

prune7.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.0b
(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
0.0b
(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
5.1b
(- (exp (* 2.0 x)) 1.0)
5.2b
(- (exp x) 1.0)

rewrite46.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:
14.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)

series45.0ms

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

simplify120.0ms

Algorithm
egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 3 (107.0ms)

IterNodesCost
03871380
110541314
242871301
350031293

prune789.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (exp (* 2.0 x)))
0.0b
(+ (sqrt (exp (* 2.0 x))) (sqrt 1.0))
5.2b
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
5.2b
(- (exp x) 1.0)

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
15×*-un-lft-identity
11×sqrt-prod add-log-exp
5×pow1 add-cube-cbrt difference-of-squares
4×add-exp-log add-cbrt-cube
3×sqrt-pow1 distribute-lft-out--
2×sub-neg flip3-- diff-log flip-- distribute-lft-out
1×+-commutative rem-sqrt-square exp-prod exp-to-pow flip3-+ pow1/2 sum-log flip-+
Counts
4 → 60
Calls
4 calls:
1.0ms
(sqrt (exp (* 2.0 x)))
6.0ms
(+ (sqrt (exp (* 2.0 x))) (sqrt 1.0))
7.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
4.0ms
(- (exp x) 1.0)

series15.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(sqrt (exp (* 2.0 x)))
5.0ms
(+ (sqrt (exp (* 2.0 x))) (sqrt 1.0))
5.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
2.0ms
(- (exp x) 1.0)

simplify117.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 3 (35.0ms)

IterNodesCost
0209434
1530405
21324402
33833401
45001401

prune520.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (exp (* 2.0 x)) 1.0)
0.1b
(pow (sqrt (exp (* 2.0 x))) 3)
5.2b
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
5.2b
(- (exp x) 1.0)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
17×*-un-lft-identity
12×sqrt-prod
11×add-log-exp
9×add-cube-cbrt
6×pow1 unpow-prod-down cube-prod
5×add-exp-log pow-pow add-cbrt-cube difference-of-squares
3×pow-unpow sqrt-pow1 distribute-lft-out--
2×sub-neg flip3-- diff-log flip--
1×+-commutative cube-mult pow-to-exp exp-prod exp-to-pow flip3-+ pow1/2 unpow3 pow-exp sum-log sqrt-pow2 flip-+ distribute-lft-out rem-cube-cbrt sqr-pow
Counts
4 → 78
Calls
4 calls:
3.0ms
(+ (exp (* 2.0 x)) 1.0)
3.0ms
(pow (sqrt (exp (* 2.0 x))) 3)
7.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
4.0ms
(- (exp x) 1.0)

series17.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(+ (exp (* 2.0 x)) 1.0)
8.0ms
(pow (sqrt (exp (* 2.0 x))) 3)
5.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
2.0ms
(- (exp x) 1.0)

simplify42.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0321517
11205474
25001464

prune786.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

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))

rewrite77.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:
13.0ms
(+ (* 0.5 (/ x (sqrt 2.0))) (+ (sqrt 2.0) (* (/ (pow x 2) (sqrt 2.0)) (- 0.25 (/ 0.125 2.0)))))
46.0ms
(* (/ (pow x 2) (sqrt 2.0)) (- 0.25 (/ 0.125 2.0)))
5.0ms
(/ (pow x 2) (sqrt 2.0))
3.0ms
(/ x (sqrt 2.0))

series19.0ms

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

simplify87.0ms

Algorithm
egg-herbie
Counts
233 → 233
Iterations

Useful iterations: 2 (64.0ms)

IterNodesCost
07231889
130421708
250011694

prune1.6s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes57.0ms

Accuracy

77.6% (0.7b remaining)

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

bsearch23.0ms

Steps
ItersRangePoint
6
-2.992705010292926e-10
-3.730896500397528e-11
-4.755248129243865e-11

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03727
13727

end0.0ms

sample3.7s

Algorithm
intervals
Results
2.3s6536×body10240exit
638.0ms12106×body80nan
402.0ms7401×body80valid
93.0ms730×body160valid