Details

Time bar (total: 3.6s)

sample33.0ms

Algorithm
intervals
Results
13.0ms86×body1280valid
5.0ms45×body640valid
4.0ms183×body80valid
2.0ms24×body320valid
1.0ms10×body160valid

simplify61.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0113
1183
2263
3483
41103
53183
616233
750013

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.2b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(exp (* a x))
2.6b
(- (exp (* a x)) 1.0)

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
4×add-sqr-sqrt *-un-lft-identity
2×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
1×sub-neg exp-prod flip3-- exp-to-pow diff-log flip-- rem-exp-log distribute-lft-out-- difference-of-squares
Counts
2 → 24
Calls
2 calls:
1.0ms
(exp (* a x))
4.0ms
(- (exp (* a x)) 1.0)

series44.0ms

Counts
2 → 6
Calls
2 calls:
12.0ms
(exp (* a x))
32.0ms
(- (exp (* a x)) 1.0)

simplify40.0ms

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 2 (10.0ms)

IterNodesCost
0115135
1333127
21116125
35001125

prune70.0ms

Filtered
30 candidates to 20 candidates (66.7%)
Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 8.8b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (* a x))
0.0b
(/ (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)))
0.0b
(pow (exp (* a x)) 3)
2.5b
(- (pow (exp (* a x)) 3) (pow 1.0 3))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
157×add-sqr-sqrt
87×*-un-lft-identity
80×difference-of-squares
75×times-frac
63×unpow-prod-down cube-prod
41×sqr-pow
37×add-cube-cbrt
25×associate-/l* distribute-lft-out--
9×add-log-exp
7×add-cbrt-cube
6×add-exp-log
5×pow1 difference-cubes
3×pow-unpow pow-pow associate-/r*
2×exp-prod flip3-- exp-to-pow associate-/r/ flip-- associate-/l/
1×cbrt-undiv cube-mult pow-to-exp sub-neg frac-2neg flip3-+ diff-log unpow3 div-sub div-exp pow-exp clear-num flip-+ div-inv rem-exp-log rem-cube-cbrt
Counts
4 → 189
Calls
4 calls:
1.0ms
(exp (* a x))
55.0ms
(/ (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)))
2.0ms
(pow (exp (* a x)) 3)
17.0ms
(- (pow (exp (* a x)) 3) (pow 1.0 3))

series199.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(exp (* a x))
109.0ms
(/ (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)))
23.0ms
(pow (exp (* a x)) 3)
55.0ms
(- (pow (exp (* a x)) 3) (pow 1.0 3))

simplify98.0ms

Algorithm
egg-herbie
Counts
201 → 201
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
05993615
124383540
250033461

prune409.0ms

Filtered
201 candidates to 103 candidates (51.2%)
Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 8.7b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- (exp (* (* a x) 3)) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)))
0.0b
(exp (* (* a x) 3))
0.2b
(* (* a x) 3)
2.5b
(- (exp (* (* a x) 3)) (pow 1.0 3))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
56×add-sqr-sqrt
33×times-frac
31×*-un-lft-identity
21×add-cube-cbrt
20×difference-of-squares
15×difference-cubes
13×add-log-exp
11×add-exp-log add-cbrt-cube associate-/l*
9×pow1
6×exp-lft-cube exp-prod exp-to-pow
5×unpow-prod-down cube-prod distribute-lft-out-- sqr-pow
3×associate-*r* pow-prod-down prod-exp associate-/r* cbrt-unprod
2×flip3-- associate-/r/ flip-- associate-/l/
1×cbrt-undiv sub-neg frac-2neg flip3-+ diff-log div-sub div-exp associate-*l* clear-num *-commutative flip-+ div-inv rem-exp-log
Counts
4 → 113
Calls
4 calls:
30.0ms
(/ (- (exp (* (* a x) 3)) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)))
2.0ms
(exp (* (* a x) 3))
6.0ms
(* (* a x) 3)
7.0ms
(- (exp (* (* a x) 3)) (pow 1.0 3))

series181.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(/ (- (exp (* (* a x) 3)) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)))
17.0ms
(exp (* (* a x) 3))
21.0ms
(* (* a x) 3)
43.0ms
(- (exp (* (* a x) 3)) (pow 1.0 3))

simplify70.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
05071961
120981858
250031853

prune329.0ms

Filtered
125 candidates to 79 candidates (63.2%)
Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 8.7b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* a x) 3)
0.2b
(* (* a x) 3)
0.2b
(* (* a x) 3)
2.4b
(- (pow (exp (* (* a x) 3)) 3) (pow (pow 1.0 3) 3))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
65×add-sqr-sqrt
40×difference-of-squares
38×unpow-prod-down cube-prod
22×sqr-pow
19×pow1 add-exp-log add-cbrt-cube
17×*-un-lft-identity
9×associate-*r* pow-prod-down prod-exp cbrt-unprod
7×add-cube-cbrt
6×add-log-exp
5×distribute-lft-out--
3×associate-*l* *-commutative
1×difference-cubes sub-neg flip3-- diff-log flip--
Counts
4 → 112
Calls
4 calls:
6.0ms
(* (* a x) 3)
6.0ms
(* (* a x) 3)
6.0ms
(* (* a x) 3)
30.0ms
(- (pow (exp (* (* a x) 3)) 3) (pow (pow 1.0 3) 3))

series120.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(* (* a x) 3)
21.0ms
(* (* a x) 3)
18.0ms
(* (* a x) 3)
62.0ms
(- (pow (exp (* (* a x) 3)) 3) (pow (pow 1.0 3) 3))

simplify56.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
03411080
113871038
250011036

prune369.0ms

Filtered
124 candidates to 62 candidates (50.0%)
Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 8.7b

regimes343.0ms

Accuracy

94.8% (1.1b remaining)

Error of 9.3b against oracle of 8.2b and baseline of 29.8b

bsearch1.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06860
16860

end0.0ms

sample929.0ms

Algorithm
intervals
Results
426.0ms2701×body1280valid
135.0ms1355×body640valid
111.0ms5311×body80valid
52.0ms776×body320valid
18.0ms396×body160valid