Details

Time bar (total: 4.8s)

analyze9.0ms

Algorithm
search

sample69.0ms

Algorithm
intervals
Results
55.0ms256×body80valid
3.0ms260×pre80true
1.0ms4×body80invalid

simplify75.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
09061
138958
2211536
3500136

prune16.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 2.6b

Counts
2 → 2

localize31.0ms

Local error

Found 4 expressions with local error:

0.8b
(pow (/ 1.0 (fabs x)) 3)
0.8b
(pow (/ 1.0 (fabs x)) 3)
1.0b
(sqrt PI)
2.6b
(exp (* (fabs x) (fabs x)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt times-frac
35×add-cube-cbrt *-un-lft-identity
26×unpow-prod-down cube-prod
10×add-exp-log add-cbrt-cube
7×pow1
6×pow-unpow add-log-exp
4×pow-exp div-inv rem-cube-cbrt
3×sqrt-prod
2×cbrt-undiv cube-div cube-mult pow-to-exp pow-pow unpow3 div-exp sqr-pow
1×rem-sqrt-square exp-prod exp-to-pow sqrt-pow1 pow1/2 rem-exp-log
Counts
4 → 115
Calls
4 calls:
5.0ms
(pow (/ 1.0 (fabs x)) 3)
5.0ms
(pow (/ 1.0 (fabs x)) 3)
1.0ms
(sqrt PI)
2.0ms
(exp (* (fabs x) (fabs x)))

series33.0ms

Counts
4 → 10
Calls
4 calls:
9.0ms
(pow (/ 1.0 (fabs x)) 3)
13.0ms
(pow (/ 1.0 (fabs x)) 3)
0.0ms
(sqrt PI)
11.0ms
(exp (* (fabs x) (fabs x)))

simplify63.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
0341714
11606583
25002571

prune305.0ms

Filtered
65 candidates to 125 candidates (-92.3%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New11213125
Fresh011
Picked101
Done000
Total11314127

Merged error: 0.9b

Counts
127 → 14

localize36.0ms

Local error

Found 4 expressions with local error:

0.8b
(pow (/ 1.0 (fabs x)) 3)
0.8b
(pow (/ 1.0 (fabs x)) 3)
1.0b
(sqrt PI)
1.0b
(pow (exp (fabs x)) (fabs x))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
38×add-cube-cbrt *-un-lft-identity
36×times-frac
29×unpow-prod-down
26×cube-prod
10×add-exp-log add-cbrt-cube
9×pow-unpow
8×pow1
6×pow-pow
5×pow-exp
4×div-inv add-log-exp rem-cube-cbrt
3×pow-to-exp exp-prod sqrt-prod sqr-pow
2×cbrt-undiv cube-div cube-mult unpow3 div-exp
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 125
Calls
4 calls:
5.0ms
(pow (/ 1.0 (fabs x)) 3)
5.0ms
(pow (/ 1.0 (fabs x)) 3)
1.0ms
(sqrt PI)
3.0ms
(pow (exp (fabs x)) (fabs x))

series49.0ms

Counts
4 → 10
Calls
4 calls:
9.0ms
(pow (/ 1.0 (fabs x)) 3)
9.0ms
(pow (/ 1.0 (fabs x)) 3)
0.0ms
(sqrt PI)
30.0ms
(pow (exp (fabs x)) (fabs x))

simplify55.0ms

Algorithm
egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0334743
11538613
25001599

prune393.0ms

Filtered
71 candidates to 135 candidates (-90.1%)
Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New12213135
Fresh4913
Picked101
Done000
Total12722149

Merged error: 0.4b

Counts
149 → 22

localize43.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (/ 1 (sqrt (fabs x))) 3)
0.8b
(pow (/ 1.0 (fabs x)) 3)
1.0b
(sqrt PI)
1.0b
(pow (exp (fabs x)) (fabs x))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
54×times-frac
51×add-sqr-sqrt
50×add-cube-cbrt *-un-lft-identity
38×unpow-prod-down
35×cube-prod
21×sqrt-prod
12×add-exp-log
10×pow1 pow-pow add-cbrt-cube
9×pow-unpow
7×pow-exp
4×div-inv add-log-exp rem-cube-cbrt
3×pow-to-exp exp-prod pow-flip div-exp sqr-pow
2×cbrt-undiv cube-div cube-mult sqrt-pow1 pow1/2 unpow3
1×rem-sqrt-square rec-exp 1-exp inv-pow
Counts
4 → 149
Calls
4 calls:
7.0ms
(pow (/ 1 (sqrt (fabs x))) 3)
5.0ms
(pow (/ 1.0 (fabs x)) 3)
1.0ms
(sqrt PI)
3.0ms
(pow (exp (fabs x)) (fabs x))

series52.0ms

Counts
4 → 10
Calls
4 calls:
11.0ms
(pow (/ 1 (sqrt (fabs x))) 3)
9.0ms
(pow (/ 1.0 (fabs x)) 3)
0.0ms
(sqrt PI)
32.0ms
(pow (exp (fabs x)) (fabs x))

simplify78.0ms

Algorithm
egg-herbie
Counts
159 → 159
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
06381041
13290778
25001769

prune370.0ms

Filtered
68 candidates to 159 candidates (-133.8%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New1563159
Fresh31821
Picked101
Done000
Total16021181

Merged error: 0.4b

Counts
181 → 21

localize59.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (/ 1.0 (sqrt (fabs x))) 3)
0.8b
(pow (/ 1.0 (fabs x)) 3)
1.0b
(sqrt PI)
1.0b
(pow (exp (fabs x)) (fabs x))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
54×times-frac
51×add-sqr-sqrt
50×add-cube-cbrt *-un-lft-identity
38×unpow-prod-down
35×cube-prod
21×sqrt-prod
10×add-exp-log add-cbrt-cube
9×pow-unpow
8×pow1
6×pow-pow
5×pow-exp
4×div-inv add-log-exp rem-cube-cbrt
3×pow-to-exp exp-prod sqr-pow
2×cbrt-undiv cube-div cube-mult unpow3 div-exp
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 143
Calls
4 calls:
7.0ms
(pow (/ 1.0 (sqrt (fabs x))) 3)
5.0ms
(pow (/ 1.0 (fabs x)) 3)
1.0ms
(sqrt PI)
3.0ms
(pow (exp (fabs x)) (fabs x))

series57.0ms

Counts
4 → 10
Calls
4 calls:
14.0ms
(pow (/ 1.0 (sqrt (fabs x))) 3)
9.0ms
(pow (/ 1.0 (fabs x)) 3)
0.0ms
(sqrt PI)
33.0ms
(pow (exp (fabs x)) (fabs x))

simplify102.0ms

Algorithm
egg-herbie
Counts
153 → 153
Iterations

Useful iterations: 2 (88.0ms)

IterNodesCost
06541080
13347889
25002876

prune359.0ms

Filtered
76 candidates to 153 candidates (-101.3%)
Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New1512153
Fresh21820
Picked101
Done000
Total15420174

Merged error: 0.4b

Counts
174 → 20

regimes475.0ms

Accuracy

0% (0.8b remaining)

Error of 1.4b against oracle of 0.6b and baseline of 1.4b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03840
13840

end0.0ms

analyze8.0ms

Algorithm
search

sample2.0s

Algorithm
intervals
Results
1.7s8000×body80valid
96.0ms8128×pre80true
29.0ms128×body80invalid

Profiling

Loading profile data...