Details

Time bar (total: 1.6s)

analyze118.0ms (7.2%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
016710
116710
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
75%12.5%12.5%5
75%6.2%18.8%6
75%3.1%21.9%7
75%1.6%23.5%8
75%0.8%24.3%9
75%0.4%24.6%10
75%0.2%24.8%11
75%0.1%24.9%12
75%0%25%13
75%0%25%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample12.0ms (0.7%)

Algorithm
1×intervals
Results
5.0ms256×body128valid
Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify19.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (13.0ms)

IterNodesCost
016710
116710

prune10.0ms (0.6%)

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 12 computations (14.3% saved)

localize9.0ms (0.6%)

Local error

Found 1 expressions with local error:

0.0b
(*.f64 x (-.f64 1 (*.f64 x 1/2)))

rewrite27.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
5×add-sqr-sqrt_binary64_1123
3×pow1_binary64_1162 add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 add-cube-cbrt_binary64_1136 *-un-lft-identity_binary64_1101 associate-*l*_binary64_1042 associate-*r*_binary64_1041
2×sub-neg_binary64_1094 distribute-rgt-in_binary64_1051 cancel-sign-sub-inv_binary64_1067 distribute-lft-in_binary64_1050 associate-*r/_binary64_1043
1×pow-prod-down_binary64_1172 prod-exp_binary64_1150 add-log-exp_binary64_1140 cbrt-unprod_binary64_1134 unswap-sqr_binary64_1069 flip3--_binary64_1105 flip--_binary64_1076 *-commutative_binary64_1032
Counts
1 → 24
Calls

1 calls:

6.0ms
(*.f64 x (-.f64 1 (*.f64 x 1/2)))
Compiler

Compiled 340 to 256 computations (24.7% saved)

series58.0ms (3.6%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

54.0ms
(*.f64 x (-.f64 1 (*.f64 x 1/2)))
Compiler

Compiled 85 to 71 computations (16.5% saved)

simplify59.0ms (3.6%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
05249329

prune21.0ms (1.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New28230
Fresh000
Picked011
Done000
Total28331
Error
0b
Counts
31 → 3
Compiler

Compiled 335 to 211 computations (37% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 1/2 (*.f64 x x))
0.0b
(-.f64 x (*.f64 1/2 (*.f64 x x)))

rewrite34.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
7×pow1_binary64_1162 add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
4×add-log-exp_binary64_1140 add-sqr-sqrt_binary64_1123
3×add-cube-cbrt_binary64_1136 *-un-lft-identity_binary64_1101 pow-prod-down_binary64_1172 prod-exp_binary64_1150 cbrt-unprod_binary64_1134 associate-*l*_binary64_1042
1×diff-log_binary64_1193 flip3--_binary64_1105 sub-neg_binary64_1094 flip--_binary64_1076 cancel-sign-sub-inv_binary64_1067 unswap-sqr_binary64_1069 associate-*r*_binary64_1041 *-commutative_binary64_1032
Counts
2 → 31
Calls

2 calls:

6.0ms
(*.f64 1/2 (*.f64 x x))
3.0ms
(-.f64 x (*.f64 1/2 (*.f64 x x)))
Compiler

Compiled 418 to 229 computations (45.2% saved)

series77.0ms (4.7%)

Error
0b
Counts
2 → 9
Calls

2 calls:

49.0ms
(-.f64 x (*.f64 1/2 (*.f64 x x)))
24.0ms
(*.f64 1/2 (*.f64 x x))
Compiler

Compiled 148 to 122 computations (17.6% saved)

simplify103.0ms (6.3%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
04747404
14747404

prune25.0ms (1.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New40040
Fresh011
Picked011
Done011
Total40343
Error
0b
Counts
43 → 3
Compiler

Compiled 405 to 233 computations (42.5% saved)

localize7.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 1/2 (*.f64 x x))
0.0b
(-.f64 x (*.f64 1/2 (*.f64 x x)))
4.3b
(log.f64 (exp.f64 (-.f64 x (*.f64 1/2 (*.f64 x x)))))

rewrite89.0ms (5.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
9×pow1_binary64_1162
8×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
7×add-sqr-sqrt_binary64_1123
6×add-cube-cbrt_binary64_1136 *-un-lft-identity_binary64_1101
5×log-prod_binary64_1187 add-log-exp_binary64_1140
4×log-pow_binary64_1190
3×exp-prod_binary64_1153 pow-prod-down_binary64_1172 prod-exp_binary64_1150 cbrt-unprod_binary64_1134 associate-*l*_binary64_1042
2×sub-neg_binary64_1094 exp-sum_binary64_1147 cancel-sign-sub-inv_binary64_1067
1×exp-diff_binary64_1149 log-div_binary64_1188 rem-log-exp_binary64_1142 diff-log_binary64_1193 flip3--_binary64_1105 flip--_binary64_1076 unswap-sqr_binary64_1069 associate-*r*_binary64_1041 *-commutative_binary64_1032
Counts
3 → 49
Calls

3 calls:

11.0ms
(*.f64 1/2 (*.f64 x x))
7.0ms
(log.f64 (exp.f64 (-.f64 x (*.f64 1/2 (*.f64 x x)))))
6.0ms
(-.f64 x (*.f64 1/2 (*.f64 x x)))
Compiler

Compiled 782 to 472 computations (39.6% saved)

series256.0ms (15.6%)

Error
0b
Counts
3 → 13
Calls

3 calls:

149.0ms
(log.f64 (exp.f64 (-.f64 x (*.f64 1/2 (*.f64 x x)))))
67.0ms
(-.f64 x (*.f64 1/2 (*.f64 x x)))
33.0ms
(*.f64 1/2 (*.f64 x x))
Compiler

Compiled 273 to 234 computations (14.3% saved)

simplify58.0ms (3.5%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
04986687
14986687

prune48.0ms (2.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New62062
Fresh000
Picked011
Done022
Total62365
Error
0b
Counts
65 → 3
Compiler

Compiled 734 to 446 computations (39.2% saved)

regimes62.0ms (3.8%)

Accuracy

Total 0.0b remaining (97.7%)

Threshold costs 0.0b (97.7%)

Compiler

Compiled 166 to 140 computations (15.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03410
13410

end0.0ms (0%)

sample540.0ms (32.9%)

Algorithm
1×intervals
Results
191.0ms8000×body128valid
0.0ms1×body128invalid
Compiler

Compiled 75 to 64 computations (14.7% saved)

Profiling

Loading profile data...