Details

Time bar (total: 3.5s)

sample46.0ms

Algorithm
intervals
Results
19.0ms72×body1280valid
7.0ms190×body80valid
6.0ms38×body640valid
3.0ms30×body320valid
1.0ms12×body160valid

simplify63.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0113
1183
2273
3503
41153
53293
616423
750013

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.7b

localize5.0ms

Local error

Found 2 expressions with local error:

0.1b
(exp (* a x))
4.4b
(- (exp (* a x)) 1.0)

rewrite8.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:
1.0ms
(exp (* a x))
5.0ms
(- (exp (* a x)) 1.0)

series47.0ms

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

simplify83.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 3 (79.0ms)

IterNodesCost
0173292
1562211
22710200
35002164

prune92.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 7.2b

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.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:
3.0ms
(cbrt (- (exp (* a x)) 1.0))
7.0ms
(- (exp (* a x)) 1.0)
5.0ms
(- (exp (* a x)) 1.0)
5.0ms
(- (exp (* a x)) 1.0)

series199.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(cbrt (- (exp (* a x)) 1.0))
37.0ms
(- (exp (* a x)) 1.0)
34.0ms
(- (exp (* a x)) 1.0)
33.0ms
(- (exp (* a x)) 1.0)

simplify111.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 3 (101.0ms)

IterNodesCost
0227927
1730660
23541616
35001569

prune271.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 7.2b

localize13.0ms

Local error

Found 4 expressions with local error:

4.4b
(log (exp (- (exp (* a x)) 1.0)))
4.4b
(- (exp (* a x)) 1.0)
4.4b
(- (exp (* a x)) 1.0)
4.4b
(- (exp (* a x)) 1.0)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt *-un-lft-identity
36×prod-diff
33×add-cube-cbrt
14×log-prod
11×exp-sum
10×add-log-exp
9×fma-neg
6×log-pow
5×pow1 exp-prod
4×add-exp-log expm1-log1p-u sub-neg add-cbrt-cube log1p-expm1-u distribute-lft-out-- difference-of-squares
3×flip3-- diff-log flip--
1×log-div exp-diff rem-log-exp
Counts
4 → 115
Calls
4 calls:
12.0ms
(log (exp (- (exp (* a x)) 1.0)))
5.0ms
(- (exp (* a x)) 1.0)
5.0ms
(- (exp (* a x)) 1.0)
5.0ms
(- (exp (* a x)) 1.0)

series142.0ms

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

simplify94.0ms

Algorithm
egg-herbie
Counts
127 → 127
Iterations

Useful iterations: 3 (85.0ms)

IterNodesCost
02251029
1631701
22840551
35001515

prune311.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 7.2b

localize8.0ms

Local error

Found 3 expressions with local error:

0.1b
(exp (* a x))
4.4b
(log (exp (- (exp (* a x)) 1.0)))
4.4b
(- (exp (* a x)) 1.0)

rewrite20.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:
1.0ms
(exp (* a x))
11.0ms
(log (exp (- (exp (* a x)) 1.0)))
5.0ms
(- (exp (* a x)) 1.0)

series84.0ms

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

simplify93.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 3 (87.0ms)

IterNodesCost
0236562
1667396
22936322
35002304

prune136.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 7.2b

regimes271.0ms

Accuracy

93.3% (1.5b remaining)

Error of 9.6b against oracle of 8.1b and baseline of 29.7b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03735
13735

end0.0ms

sample1.3s

Algorithm
intervals
Results
566.0ms2641×body1280valid
217.0ms5553×body80valid
200.0ms1324×body640valid
79.0ms761×body320valid
30.0ms410×body160valid