Details

Time bar (total: 4.7s)

analyze166.0ms (3.5%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07020
17020
022
122
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample36.0ms (0.8%)

Algorithm
1×intervals
Results
11.0ms256×pre128true
7.0ms256×body128valid
Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify15.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
07010
17010

prune10.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Compiler

Compiled 14 to 8 computations (42.9% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(*.f64 (+.f64 a b) (+.f64 a b))

rewrite20.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64_3147
8×pow1_binary64_3208
7×add-sqr-sqrt_binary64_3169
6×flip-+_binary64_3121 swap-sqr_binary64_3114 flip3-+_binary64_3150 distribute-lft-out_binary64_3098
5×add-cube-cbrt_binary64_3182
4×frac-times_binary64_3157 associate-*r*_binary64_3087 associate-*l*_binary64_3088
3×add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183
2×associate-*l/_binary64_3090 associate-*r/_binary64_3089
1×*-commutative_binary64_3078 unswap-sqr_binary64_3115 pow-prod-down_binary64_3218 prod-exp_binary64_3196 distribute-lft-in_binary64_3096 pow-plus_binary64_3210 pow2_binary64_3228 pow-prod-up_binary64_3217 cbrt-unprod_binary64_3180 add-log-exp_binary64_3186 distribute-rgt-in_binary64_3097 pow-sqr_binary64_3120
Counts
1 → 40
Calls

1 calls:

15.0ms
(*.f64 (+.f64 a b) (+.f64 a b))

series155.0ms (3.3%)

Counts
1 → 18
Calls

1 calls:

154.0ms
(*.f64 (+.f64 a b) (+.f64 a b))
Compiler

Compiled 228 to 204 computations (10.5% saved)

simplify114.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 0 (88.0ms)

IterNodesCost
04969634
14969634

prune74.0ms (1.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New54458
Fresh000
Picked101
Done000
Total55459
Error
0.0b
Counts
59 → 4
Compiler

Compiled 626 to 233 computations (62.8% saved)

localize14.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 a (+.f64 a b))
0.0b
(*.f64 b (+.f64 a b))
0.0b
(+.f64 (*.f64 a (+.f64 a b)) (*.f64 b (+.f64 a b)))

rewrite49.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
12×associate-*r/_binary64_3089
11×*-un-lft-identity_binary64_3147 add-sqr-sqrt_binary64_3169
8×associate-*r*_binary64_3087
7×add-exp-log_binary64_3185 flip-+_binary64_3121 add-cbrt-cube_binary64_3183 flip3-+_binary64_3150 pow1_binary64_3208 add-cube-cbrt_binary64_3182
6×associate-*l*_binary64_3088
5×add-log-exp_binary64_3186
4×frac-add_binary64_3155 distribute-lft-in_binary64_3096 distribute-rgt-in_binary64_3097
2×*-commutative_binary64_3078 unswap-sqr_binary64_3115 pow-prod-down_binary64_3218 associate-+l+_binary64_3080 distribute-lft-out_binary64_3098 prod-exp_binary64_3196 associate-+r+_binary64_3079 cbrt-unprod_binary64_3180
1×+-commutative_binary64_3077 distribute-rgt-out_binary64_3100 sum-log_binary64_3238
Counts
3 → 66
Calls

3 calls:

16.0ms
(+.f64 (*.f64 a (+.f64 a b)) (*.f64 b (+.f64 a b)))
12.0ms
(*.f64 a (+.f64 a b))
12.0ms
(*.f64 b (+.f64 a b))

series552.0ms (11.7%)

Counts
3 → 42
Calls

3 calls:

298.0ms
(+.f64 (*.f64 a (+.f64 a b)) (*.f64 b (+.f64 a b)))
131.0ms
(*.f64 b (+.f64 a b))
123.0ms
(*.f64 a (+.f64 a b))
Compiler

Compiled 648 to 498 computations (23.1% saved)

simplify161.0ms (3.4%)

Algorithm
1×egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (130.0ms)

IterNodesCost
047411104
147411104

prune112.0ms (2.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1071108
Fresh213
Picked011
Done000
Total1093112
Error
0b
Counts
112 → 3
Compiler

Compiled 1419 to 275 computations (80.6% saved)

localize14.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 a (+.f64 b (+.f64 a b)))
0.0b
(+.f64 b (+.f64 a b))
0.0b
(+.f64 (*.f64 a (+.f64 b (+.f64 a b))) (*.f64 b b))

rewrite58.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
15×*-un-lft-identity_binary64_3147
10×add-log-exp_binary64_3186
7×add-sqr-sqrt_binary64_3169
6×distribute-lft-out_binary64_3098
5×add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183 associate-*r*_binary64_3087 pow1_binary64_3208 add-cube-cbrt_binary64_3182
4×sum-log_binary64_3238
3×flip-+_binary64_3121 flip3-+_binary64_3150 associate-*l*_binary64_3088
2×associate-+l+_binary64_3080 +-commutative_binary64_3077 distribute-lft-in_binary64_3096 distribute-rgt-in_binary64_3097 associate-*r/_binary64_3089
1×*-commutative_binary64_3078 unswap-sqr_binary64_3115 pow-prod-down_binary64_3218 prod-exp_binary64_3196 associate-+r+_binary64_3079 cbrt-unprod_binary64_3180
Counts
3 → 52
Calls

3 calls:

21.0ms
(*.f64 a (+.f64 b (+.f64 a b)))
19.0ms
(+.f64 (*.f64 a (+.f64 b (+.f64 a b))) (*.f64 b b))
10.0ms
(+.f64 b (+.f64 a b))

series559.0ms (11.8%)

Counts
3 → 42
Calls

3 calls:

282.0ms
(+.f64 (*.f64 a (+.f64 b (+.f64 a b))) (*.f64 b b))
170.0ms
(*.f64 a (+.f64 b (+.f64 a b)))
106.0ms
(+.f64 b (+.f64 a b))
Compiler

Compiled 612 to 495 computations (19.1% saved)

simplify191.0ms (4%)

Algorithm
1×egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 0 (162.0ms)

IterNodesCost
04927949
14927949

prune90.0ms (1.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New94094
Fresh011
Picked011
Done011
Total94397
Error
0b
Counts
97 → 3
Compiler

Compiled 1156 to 204 computations (82.4% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(sqrt.f64 (+.f64 a b))
1.0b
(pow.f64 (sqrt.f64 (+.f64 a b)) 4)

rewrite19.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
10×*-un-lft-identity_binary64_3147
8×sqrt-prod_binary64_3163
7×unpow-prod-down_binary64_3226 add-sqr-sqrt_binary64_3169
6×add-cube-cbrt_binary64_3182
5×pow1_binary64_3208
3×add-exp-log_binary64_3185 pow-unpow_binary64_3224 pow-pow_binary64_3219
2×add-cbrt-cube_binary64_3183 distribute-lft-out_binary64_3098 sqrt-pow1_binary64_3165 pow1/2_binary64_3227 add-log-exp_binary64_3186 sqrt-div_binary64_3164
1×pow-exp_binary64_3215 flip-+_binary64_3121 sqrt-pow2_binary64_3166 flip3-+_binary64_3150 pow-to-exp_binary64_3216 sqr-pow_binary64_3119 rem-sqrt-square_binary64_3160
Counts
2 → 40
Calls

2 calls:

9.0ms
(pow.f64 (sqrt.f64 (+.f64 a b)) 4)
6.0ms
(sqrt.f64 (+.f64 a b))

series277.0ms (5.9%)

Counts
2 → 18
Calls

2 calls:

207.0ms
(pow.f64 (sqrt.f64 (+.f64 a b)) 4)
69.0ms
(sqrt.f64 (+.f64 a b))
Compiler

Compiled 343 to 319 computations (7% saved)

simplify121.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 0 (98.0ms)

IterNodesCost
04922504
14922504

prune62.0ms (1.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New58058
Fresh000
Picked011
Done022
Total58361
Error
0b
Counts
61 → 3
Compiler

Compiled 476 to 233 computations (51.1% saved)

regimes197.0ms (4.2%)

Accuracy

Total 0.0b remaining (96%)

Threshold costs 0.0b (96%)

Compiler

Compiled 610 to 429 computations (29.7% saved)

bsearch0.0ms (0%)

simplify17.0ms (0.4%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01216
11216
Compiler

Compiled 22 to 14 computations (36.4% saved)

end0.0ms (0%)

sample1.6s (34.5%)

Algorithm
1×intervals
Results
367.0ms8000×pre128true
285.0ms8000×body128valid
Compiler

Compiled 179 to 121 computations (32.4% saved)

Profiling

Loading profile data...