Details

Time bar (total: 3.3s)

sample32.0ms

Algorithm
intervals
Results
11.0ms77×body1280valid
4.0ms39×body640valid
4.0ms191×body80valid
2.0ms26×body320valid
0.0ms11×body160valid

simplify62.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0113
1183
2273
3503
41153
53293
616423
750013

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.9b

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite21.0ms

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

series50.0ms

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

simplify80.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 3 (77.0ms)

IterNodesCost
0173292
1562211
22710200
35002164

prune96.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 7.5b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(exp (* a x))
3.8b
(log (exp (- (exp (* a x)) 1.0)))
3.8b
(- (exp (* a x)) 1.0)

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt *-un-lft-identity
18×add-cube-cbrt prod-diff
14×log-prod
11×exp-sum
7×add-log-exp
6×exp-prod log-pow
4×pow1
3×add-exp-log expm1-log1p-u fma-neg add-cbrt-cube log1p-expm1-u
2×sub-neg distribute-lft-out-- difference-of-squares
1×log-div flip3-- exp-to-pow exp-diff diff-log rem-log-exp flip-- rem-exp-log
Counts
3 → 71
Calls
3 calls:
4.0ms
(exp (* a x))
31.0ms
(log (exp (- (exp (* a x)) 1.0)))
16.0ms
(- (exp (* a x)) 1.0)

series83.0ms

Counts
3 → 9
Calls
3 calls:
14.0ms
(exp (* a x))
34.0ms
(log (exp (- (exp (* a x)) 1.0)))
34.0ms
(- (exp (* a x)) 1.0)

simplify90.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 3 (85.0ms)

IterNodesCost
0236562
1667396
22936322
35002304

prune145.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 7.5b

localize8.0ms

Local error

Found 4 expressions with local error:

0.1b
(cbrt (- (exp (* a x)) 1.0))
3.8b
(- (exp (* a x)) 1.0)
3.8b
(- (exp (* a x)) 1.0)
3.8b
(- (exp (* a x)) 1.0)

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt *-un-lft-identity
27×prod-diff
26×add-cube-cbrt
10×add-log-exp
9×fma-neg
5×cbrt-prod
4×pow1 add-exp-log expm1-log1p-u flip3-- add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out-- difference-of-squares
3×sub-neg diff-log
2×cbrt-div
1×pow1/3
Counts
4 → 101
Calls
4 calls:
8.0ms
(cbrt (- (exp (* a x)) 1.0))
15.0ms
(- (exp (* a x)) 1.0)
18.0ms
(- (exp (* a x)) 1.0)
16.0ms
(- (exp (* a x)) 1.0)

series200.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(cbrt (- (exp (* a x)) 1.0))
33.0ms
(- (exp (* a x)) 1.0)
36.0ms
(- (exp (* a x)) 1.0)
35.0ms
(- (exp (* a x)) 1.0)

simplify105.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 3 (98.0ms)

IterNodesCost
0227927
1730660
23541616
35001569

prune274.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 7.5b

localize11.0ms

Local error

Found 4 expressions with local error:

1.6b
(log (exp (cbrt (- (exp (* a x)) 1.0))))
3.8b
(- (exp (* a x)) 1.0)
3.8b
(- (exp (* a x)) 1.0)
3.8b
(- (exp (* a x)) 1.0)

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt *-un-lft-identity
28×add-cube-cbrt
27×prod-diff
10×add-log-exp
9×fma-neg log-pow
8×exp-prod
5×pow1 cbrt-prod
4×add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u distribute-lft-out-- difference-of-squares
3×sub-neg log-prod flip3-- diff-log flip--
1×rem-log-exp
Counts
4 → 106
Calls
4 calls:
26.0ms
(log (exp (cbrt (- (exp (* a x)) 1.0))))
15.0ms
(- (exp (* a x)) 1.0)
16.0ms
(- (exp (* a x)) 1.0)
18.0ms
(- (exp (* a x)) 1.0)

series202.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(log (exp (cbrt (- (exp (* a x)) 1.0))))
37.0ms
(- (exp (* a x)) 1.0)
36.0ms
(- (exp (* a x)) 1.0)
34.0ms
(- (exp (* a x)) 1.0)

simplify107.0ms

Algorithm
egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 3 (99.0ms)

IterNodesCost
0253943
1767663
23611619
35001572

prune306.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 7.5b

regimes286.0ms

Accuracy

94.2% (1.2b remaining)

Error of 9.5b against oracle of 8.3b and baseline of 30.0b

bsearch1.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02823
12823

end0.0ms

sample964.0ms

Algorithm
intervals
Results
399.0ms2708×body1280valid
131.0ms1353×body640valid
102.0ms5455×body80valid
46.0ms773×body320valid
16.0ms399×body160valid