Details

Time bar (total: 3.0s)

analyze7.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%50%50%0
0%50%50%1
0%50%50%2
0%50%50%3
37.5%12.5%50%4
43.7%6.2%50%5
46.9%3.1%50%6
48.4%1.6%50%7
49.2%0.8%50%8
49.6%0.4%50%9
49.8%0.2%50%10
49.9%0.1%50%11
49.9%0%50%12
50%0%50%13
50%0%50%14
Compiler

Compiled 29 to 20 computations (31% saved)

sample26.0ms (0.9%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
3.0ms256×pre128true
Compiler

Compiled 54 to 38 computations (29.6% saved)

simplify146.0ms (4.9%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
0504713

prune5.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 43 to 33 computations (23.3% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
0.8b
(/.f64 1 (*.f64 i i))

rewrite105.0ms (3.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
37×add-sqr-sqrt_binary64_1123
35×times-frac_binary64_1107
33×*-un-lft-identity_binary64_1101
17×add-cube-cbrt_binary64_1136
15×add-exp-log_binary64_1139
12×difference-of-squares_binary64_1070
10×pow1_binary64_1162
9×add-cbrt-cube_binary64_1137 associate-/r*_binary64_1045
8×distribute-lft-out--_binary64_1053
6×pow-flip_binary64_1175 div-inv_binary64_1098 associate-/l*_binary64_1046
5×div-exp_binary64_1152
3×prod-exp_binary64_1150 cbrt-undiv_binary64_1135
2×1-exp_binary64_1145 rec-exp_binary64_1151 add-log-exp_binary64_1140 frac-2neg_binary64_1112 clear-num_binary64_1100 associate-/r/_binary64_1047
1×inv-pow_binary64_1186 pow2_binary64_1182 pow-prod-down_binary64_1172 pow-prod-up_binary64_1171 pow-plus_binary64_1164 pow-sqr_binary64_1074 cbrt-unprod_binary64_1134 flip3--_binary64_1105 flip--_binary64_1076
Counts
2 → 81
Calls

2 calls:

8.0ms
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
5.0ms
(/.f64 1 (*.f64 i i))
Compiler

Compiled 1349 to 1011 computations (25.1% saved)

series58.0ms (2%)

Error
0b
Counts
2 → 12
Calls

2 calls:

30.0ms
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
19.0ms
(/.f64 1 (*.f64 i i))
Compiler

Compiled 309 to 289 computations (6.5% saved)

simplify79.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
048791275
148791275

prune78.0ms (2.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New92193
Fresh011
Picked011
Done000
Total92395
Error
0b
Counts
95 → 3
Compiler

Compiled 1272 to 965 computations (24.1% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b
(*.f64 (*.f64 i i) -1/4)

rewrite18.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
6×pow1_binary64_1162 add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
3×pow-prod-down_binary64_1172 prod-exp_binary64_1150 cbrt-unprod_binary64_1134 add-sqr-sqrt_binary64_1123 associate-*r*_binary64_1041
2×add-cube-cbrt_binary64_1136 *-un-lft-identity_binary64_1101
1×add-log-exp_binary64_1140 unswap-sqr_binary64_1069 associate-*l*_binary64_1042 *-commutative_binary64_1032
Counts
1 → 19
Calls

1 calls:

6.0ms
(*.f64 (*.f64 i i) -1/4)
Compiler

Compiled 193 to 113 computations (41.5% saved)

series27.0ms (0.9%)

Error
0b
Counts
1 → 3
Calls

1 calls:

25.0ms
(*.f64 (*.f64 i i) -1/4)
Compiler

Compiled 45 to 43 computations (4.4% saved)

simplify77.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
05391182

prune16.0ms (0.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New22022
Fresh011
Picked011
Done011
Total22325
Error
0b
Counts
25 → 3
Compiler

Compiled 192 to 120 computations (37.5% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.1b
(*.f64 (*.f64 i i) (*.f64 i i))
17.3b
(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
43.9b
(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i)))

rewrite542.0ms (18.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
302×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
168×prod-exp_binary64_1150 cbrt-unprod_binary64_1134
114×pow1_binary64_1162
76×div-exp_binary64_1152 cbrt-undiv_binary64_1135
38×times-frac_binary64_1107
36×pow-prod-up_binary64_1171
23×pow-prod-down_binary64_1172
22×add-sqr-sqrt_binary64_1123 *-un-lft-identity_binary64_1101 pow-sqr_binary64_1074
18×pow-plus_binary64_1164
16×add-cube-cbrt_binary64_1136
13×pow2_binary64_1182
12×difference-of-squares_binary64_1070
9×div-inv_binary64_1098
7×associate-/r*_binary64_1045
6×associate-/l*_binary64_1046 difference-of-sqr-1_binary64_1071
3×add-log-exp_binary64_1140
2×frac-2neg_binary64_1112 clear-num_binary64_1100 associate-/r/_binary64_1047
1×associate-/l/_binary64_1048 flip3--_binary64_1105 flip--_binary64_1076 unswap-sqr_binary64_1069 swap-sqr_binary64_1068 associate-*l*_binary64_1042 associate-*r*_binary64_1041 *-commutative_binary64_1032
Counts
3 → 232
Calls

3 calls:

38.0ms
(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
25.0ms
(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i)))
9.0ms
(*.f64 (*.f64 i i) (*.f64 i i))
Compiler

Compiled 9470 to 5326 computations (43.8% saved)

series129.0ms (4.3%)

Error
0b
Counts
3 → 15
Calls

3 calls:

56.0ms
(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
31.0ms
(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i)))
29.0ms
(*.f64 (*.f64 i i) (*.f64 i i))
Compiler

Compiled 552 to 475 computations (13.9% saved)

simplify117.0ms (3.9%)

Algorithm
1×egg-herbie
Counts
247 → 247
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
049133517
149133517

prune268.0ms (9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2470247
Fresh000
Picked011
Done022
Total2473250
Error
0b
Counts
250 → 3
Compiler

Compiled 4840 to 3453 computations (28.7% saved)

regimes84.0ms (2.8%)

Accuracy

Total 0.1b remaining (97.1%)

Threshold costs 0.1b (97.1%)

Compiler

Compiled 764 to 657 computations (14% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03622
13622

end0.0ms (0%)

sample1.2s (39.5%)

Algorithm
1×intervals
Results
420.0ms8000×body128valid
102.0ms8000×pre128true
Compiler

Compiled 362 to 319 computations (11.9% saved)

Profiling

Loading profile data...