Details

Time bar (total: 5.8s)

sample722.0ms

Algorithm
intervals
Results
649.0ms3369×body80valid

simplify17.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (15.0ms)

IterNodesCost
0521649

prune14.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: 1.2b

Counts
2 → 2

localize32.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (/ 1.0 (fabs x)) 3)
1.0b
(sqrt PI)
1.1b
(pow (/ 1.0 (fabs x)) 5)
1.3b
(pow (/ 1.0 (fabs x)) 7)

rewrite21.0ms

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

series36.0ms

Counts
4 → 10
Calls
4 calls:
9.0ms
(pow (/ 1.0 (fabs x)) 3)
0.0ms
(sqrt PI)
12.0ms
(pow (/ 1.0 (fabs x)) 5)
15.0ms
(pow (/ 1.0 (fabs x)) 7)

simplify32.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
053411171

prune302.0ms

Filtered
76 candidates to 125 candidates (-64.5%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1169125
Fresh011
Picked011
Done000
Total11611127

Merged error: 0.3b

Counts
127 → 11

localize34.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ 1.0 (pow (fabs x) 7))
0.7b
(pow (/ 1.0 (fabs x)) 3)
1.0b
(sqrt PI)
1.1b
(pow (/ 1.0 (fabs x)) 5)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
48×times-frac
45×add-sqr-sqrt
44×add-cube-cbrt *-un-lft-identity
38×unpow-prod-down
15×add-exp-log
13×cube-prod
9×add-cbrt-cube
7×pow1 associate-/r*
6×pow-unpow sqr-pow
5×div-exp pow-exp
4×div-inv add-log-exp
3×pow-to-exp sqrt-prod associate-/l*
2×cbrt-undiv pow-pow rem-cube-cbrt
1×cube-div cube-mult rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 unpow3 clear-num
Counts
4 → 132
Calls
4 calls:
5.0ms
(/ 1.0 (pow (fabs x) 7))
5.0ms
(pow (/ 1.0 (fabs x)) 3)
1.0ms
(sqrt PI)
5.0ms
(pow (/ 1.0 (fabs x)) 5)

series42.0ms

Counts
4 → 10
Calls
4 calls:
21.0ms
(/ 1.0 (pow (fabs x) 7))
9.0ms
(pow (/ 1.0 (fabs x)) 3)
0.0ms
(sqrt PI)
12.0ms
(pow (/ 1.0 (fabs x)) 5)

simplify55.0ms

Algorithm
egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
053921321

prune354.0ms

Filtered
87 candidates to 142 candidates (-63.2%)
Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New1348142
Fresh639
Picked011
Done011
Total14013153

Merged error: 0.2b

Counts
153 → 13

localize34.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
0.7b
(pow (/ 1.0 (fabs x)) 3)
1.0b
(sqrt PI)
1.1b
(pow (/ 1.0 (fabs x)) 5)

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
163×add-sqr-sqrt
145×sqrt-prod
141×times-frac
88×add-cube-cbrt *-un-lft-identity
72×unpow-prod-down
30×swap-sqr
28×associate-*r* associate-*l*
25×unswap-sqr
24×sqr-pow
22×pow1
13×cube-prod
12×add-exp-log
9×sqrt-pow1 pow1/2 add-cbrt-cube
7×div-inv
6×pow-unpow
5×pow-prod-up
4×sqrt-div pow-exp add-log-exp
3×pow-prod-down pow-sqr
2×pow-to-exp pow-pow div-exp rem-cube-cbrt
1×cbrt-undiv cube-div pow2 cube-mult frac-times rem-sqrt-square pow-plus sqrt-unprod unpow3 associate-*r/ associate-*l/ prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 226
Calls
4 calls:
28.0ms
(* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
5.0ms
(pow (/ 1.0 (fabs x)) 3)
1.0ms
(sqrt PI)
5.0ms
(pow (/ 1.0 (fabs x)) 5)

series47.0ms

Counts
4 → 10
Calls
4 calls:
25.0ms
(* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
9.0ms
(pow (/ 1.0 (fabs x)) 3)
0.0ms
(sqrt PI)
12.0ms
(pow (/ 1.0 (fabs x)) 5)

simplify50.0ms

Algorithm
egg-herbie
Counts
236 → 236
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
049612973
149612973

prune750.0ms

Filtered
133 candidates to 236 candidates (-77.4%)
Pruning

15 alts after pruning (12 fresh and 3 done)

PrunedKeptTotal
New2306236
Fresh4610
Picked011
Done022
Total23415249

Merged error: 0.1b

Counts
249 → 15

localize38.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7)))
0.7b
(pow (/ 1.0 (fabs x)) 3)
1.0b
(sqrt PI)
1.1b
(pow (/ 1.0 (fabs x)) 5)

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
37×times-frac
35×add-sqr-sqrt
34×add-cube-cbrt *-un-lft-identity
32×unpow-prod-down
17×sqrt-prod
15×add-exp-log
13×cube-prod
12×add-cbrt-cube
10×associate-/r*
7×pow1
6×pow-unpow
4×div-exp pow-exp div-inv add-log-exp sqr-pow
3×cbrt-undiv
2×pow-to-exp pow-pow rem-cube-cbrt
1×cube-div cube-mult rem-sqrt-square sqrt-undiv frac-2neg sqrt-pow1 pow1/2 sqrt-unprod sqrt-div unpow3 associate-*r/ prod-exp clear-num cbrt-unprod associate-/l/ associate-/l*
Counts
4 → 124
Calls
4 calls:
13.0ms
(/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7)))
5.0ms
(pow (/ 1.0 (fabs x)) 3)
1.0ms
(sqrt PI)
5.0ms
(pow (/ 1.0 (fabs x)) 5)

series46.0ms

Counts
4 → 10
Calls
4 calls:
21.0ms
(/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7)))
9.0ms
(pow (/ 1.0 (fabs x)) 3)
0.0ms
(sqrt PI)
15.0ms
(pow (/ 1.0 (fabs x)) 5)

simplify35.0ms

Algorithm
egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
050041526

prune368.0ms

Filtered
81 candidates to 134 candidates (-65.4%)
Pruning

14 alts after pruning (10 fresh and 4 done)

PrunedKeptTotal
New1313134
Fresh4711
Picked011
Done033
Total13514149

Merged error: 0.1b

Counts
149 → 14

regimes212.0ms

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04049
14049

end0.0ms

sample2.5s

Algorithm
intervals
Results
2.3s11820×body80valid

Profiling

Loading profile data...