Details

Time bar (total: 2.8s)

sample36.0ms

Algorithm
intervals
Results
14.0ms75×body1280valid
5.0ms44×body640valid
5.0ms181×body80valid
2.0ms19×body320valid
1.0ms15×body160valid

simplify63.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

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 26.1b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite6.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:
2.0ms
(exp (* a x))
4.0ms
(- (exp (* a x)) 1.0)

series51.0ms

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

simplify43.0ms

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 2 (11.0ms)

IterNodesCost
0115135
1333127
21116125
35001125

prune60.0ms

Filtered
30 candidates to 20 candidates (66.7%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New25530
Fresh000
Picked011
Done000
Total25631

Merged error: 8.9b

Counts
31 → 6

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (- (exp (* a x)) 1.0) 3)
0.1b
(exp (* a x))
0.1b
(cbrt (pow (- (exp (* a x)) 1.0) 3))
4.5b
(- (exp (* a x)) 1.0)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt *-un-lft-identity
16×cbrt-prod
10×add-cube-cbrt unpow-prod-down cube-prod
8×add-log-exp
5×pow1 add-exp-log add-cbrt-cube distribute-lft-out-- difference-of-squares
4×cube-div
3×pow-unpow flip3-- flip--
2×cube-mult cbrt-div unpow3 sqr-pow
1×pow-to-exp sub-neg exp-prod exp-to-pow pow-pow pow1/3 diff-log pow-exp rem-cbrt-cube rem-exp-log rem-cube-cbrt
Counts
4 → 80
Calls
4 calls:
5.0ms
(pow (- (exp (* a x)) 1.0) 3)
2.0ms
(exp (* a x))
5.0ms
(cbrt (pow (- (exp (* a x)) 1.0) 3))
4.0ms
(- (exp (* a x)) 1.0)

series132.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(pow (- (exp (* a x)) 1.0) 3)
12.0ms
(exp (* a x))
37.0ms
(cbrt (pow (- (exp (* a x)) 1.0) 3))
34.0ms
(- (exp (* a x)) 1.0)

simplify44.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0269550
11076527
25001516

prune143.0ms

Filtered
92 candidates to 46 candidates (50.0%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New86692
Fresh314
Picked101
Done011
Total90898

Merged error: 8.9b

Counts
98 → 8

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b
(cbrt (cbrt (pow (pow (- (exp (* a x)) 1.0) 3) 3)))
0.1b
(pow (pow (- (exp (* a x)) 1.0) 3) 3)
0.8b
(cbrt (pow (pow (- (exp (* a x)) 1.0) 3) 3))
4.5b
(- (exp (* a x)) 1.0)

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
117×cbrt-prod
78×unpow-prod-down cube-prod
52×add-sqr-sqrt *-un-lft-identity
26×add-cube-cbrt
13×distribute-lft-out-- difference-of-squares
12×cube-div
9×cube-mult unpow3 sqr-pow
6×add-exp-log cbrt-div add-log-exp
5×add-cbrt-cube
4×pow1 flip3-- pow-exp flip--
3×pow-unpow
2×pow-to-exp pow1/3
1×sub-neg pow-pow diff-log rem-cbrt-cube rem-cube-cbrt
Counts
4 → 167
Calls
4 calls:
10.0ms
(cbrt (cbrt (pow (pow (- (exp (* a x)) 1.0) 3) 3)))
8.0ms
(pow (pow (- (exp (* a x)) 1.0) 3) 3)
8.0ms
(cbrt (pow (pow (- (exp (* a x)) 1.0) 3) 3))
4.0ms
(- (exp (* a x)) 1.0)

series192.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(cbrt (cbrt (pow (pow (- (exp (* a x)) 1.0) 3) 3)))
71.0ms
(pow (pow (- (exp (* a x)) 1.0) 3) 3)
49.0ms
(cbrt (pow (pow (- (exp (* a x)) 1.0) 3) 3))
39.0ms
(- (exp (* a x)) 1.0)

simplify75.0ms

Algorithm
egg-herbie
Counts
179 → 179
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
04521502
117391365
250021351

prune204.0ms

Filtered
179 candidates to 63 candidates (35.2%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1781179
Fresh246
Picked011
Done011
Total1807187

Merged error: 8.9b

Counts
187 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (* a x))
0.1b
(cbrt (pow (log (exp (- (exp (* a x)) 1.0))) 3))
4.5b
(- (exp (* a x)) 1.0)
4.5b
(log (exp (- (exp (* a x)) 1.0)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-prod
19×add-sqr-sqrt *-un-lft-identity
18×log-pow
16×exp-prod
11×add-cube-cbrt
9×unpow-prod-down cube-prod
8×add-log-exp
7×pow1
5×log-prod
4×add-exp-log add-cbrt-cube distribute-lft-out-- difference-of-squares
2×sub-neg exp-sum
1×cube-mult log-div flip3-- exp-to-pow exp-diff pow1/3 diff-log unpow3 rem-log-exp flip-- rem-cbrt-cube rem-exp-log sqr-pow
Counts
4 → 77
Calls
4 calls:
2.0ms
(exp (* a x))
6.0ms
(cbrt (pow (log (exp (- (exp (* a x)) 1.0))) 3))
4.0ms
(- (exp (* a x)) 1.0)
5.0ms
(log (exp (- (exp (* a x)) 1.0)))

series118.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(exp (* a x))
34.0ms
(cbrt (pow (log (exp (- (exp (* a x)) 1.0))) 3))
37.0ms
(- (exp (* a x)) 1.0)
35.0ms
(log (exp (- (exp (* a x)) 1.0)))

simplify70.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
0252491
1714484
22463479
35001479

prune127.0ms

Filtered
89 candidates to 48 candidates (53.9%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New89089
Fresh044
Picked011
Done022
Total89796

Merged error: 8.9b

Counts
96 → 7

regimes272.0ms

Accuracy

92.9% (1.5b remaining)

Error of 9.7b against oracle of 8.2b and baseline of 28.9b

bsearch1.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03419
13419

end0.0ms

sample1.1s

Algorithm
intervals
Results
490.0ms2698×body1280valid
151.0ms1257×body640valid
136.0ms5404×body80valid
61.0ms752×body320valid
27.0ms438×body160valid

Profiling

Loading profile data...