Details

Time bar (total: 3.1s)

analyze5.0ms (0.2%)

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

Compiled 21 to 17 computations (19% saved)

sample20.0ms (0.7%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
Compiler

Compiled 41 to 34 computations (17.1% saved)

simplify291.0ms (9.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (186.0ms)

IterNodesCost
0484328
1484328

prune7.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 56 to 44 computations (21.4% saved)

localize10.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (*.f64 v v) 6)
0.0b
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
0.0b
(*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
0.0b
(/.f64 4/3 (*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))
0.0b
(/.f64 4/3 (*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))
0.0b
(*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
0.0b
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
0.2b
(*.f64 (*.f64 v v) 6)

rewrite48.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
25×add-cbrt-cube_binary64_1106 add-exp-log_binary64_1108
22×associate-*r/_binary64_1012
18×sqrt-div_binary64_1087 flip--_binary64_1045 flip3--_binary64_1074
17×add-sqr-sqrt_binary64_1092
16×pow1_binary64_1131
12×frac-times_binary64_1080 *-un-lft-identity_binary64_1070
11×add-cube-cbrt_binary64_1105
10×associate-*r*_binary64_1010 cbrt-unprod_binary64_1103 prod-exp_binary64_1119
9×associate-*l*_binary64_1011
8×associate-/r/_binary64_1016
7×pow-prod-down_binary64_1141
6×associate-*l/_binary64_1013
4×sqrt-prod_binary64_1086 add-log-exp_binary64_1109
3×cbrt-undiv_binary64_1104 *-commutative_binary64_1001 unswap-sqr_binary64_1038 div-exp_binary64_1121 times-frac_binary64_1076 associate-/l*_binary64_1015
2×difference-of-squares_binary64_1039
1×frac-2neg_binary64_1081 clear-num_binary64_1069 associate-/r*_binary64_1014 div-inv_binary64_1067
Counts
4 → 108
Calls

8 calls:

11.0ms
(/.f64 4/3 (*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))
11.0ms
(*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
9.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
6.0ms
(*.f64 (*.f64 v v) 6)
0.0ms
(/.f64 4/3 (*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))

series272.0ms (8.9%)

Counts
4 → 21
Calls

4 calls:

111.0ms
(/.f64 4/3 (*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))
70.0ms
(*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
60.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
30.0ms
(*.f64 (*.f64 v v) 6)
Compiler

Compiled 822 to 732 computations (10.9% saved)

simplify85.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
050773412

prune198.0ms (6.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1281129
Fresh011
Picked101
Done000
Total1292131
Error
0b
Counts
131 → 2
Compiler

Compiled 3497 to 2357 computations (32.6% saved)

localize12.0ms (0.4%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
0.0b
(/.f64 1 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) PI.f64))
0.0b
(*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) PI.f64)
0.0b
(*.f64 4/3 (/.f64 1 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) PI.f64)))
0.0b
(*.f64 4/3 (/.f64 1 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) PI.f64)))
0.0b
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
0.0b
(/.f64 1 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) PI.f64))
0.2b
(*.f64 (*.f64 v v) 6)

rewrite60.0ms (2%)

Algorithm
1×rewrite-expression-head
Rules
64×add-exp-log_binary64_1108
34×add-cbrt-cube_binary64_1106
32×prod-exp_binary64_1119
24×associate-*r*_binary64_1010
22×associate-*l/_binary64_1013
21×add-sqr-sqrt_binary64_1092
19×pow1_binary64_1131
18×sqrt-div_binary64_1087 flip--_binary64_1045 flip3--_binary64_1074
16×associate-/r/_binary64_1016
14×cbrt-unprod_binary64_1103 *-un-lft-identity_binary64_1070
13×add-cube-cbrt_binary64_1105
12×frac-times_binary64_1080 div-exp_binary64_1121
9×associate-*l*_binary64_1011
8×pow-prod-down_binary64_1141
7×associate-*r/_binary64_1012
6×cbrt-undiv_binary64_1104 rec-exp_binary64_1120 1-exp_binary64_1114 times-frac_binary64_1076
4×sqrt-prod_binary64_1086 unswap-sqr_binary64_1038 add-log-exp_binary64_1109
3×*-commutative_binary64_1001 pow-flip_binary64_1144 associate-/l*_binary64_1015
2×difference-of-squares_binary64_1039 div-inv_binary64_1067
1×inv-pow_binary64_1155 frac-2neg_binary64_1081 clear-num_binary64_1069 associate-/r*_binary64_1014 un-div-inv_binary64_1068
Counts
4 → 136
Calls

8 calls:

19.0ms
(*.f64 4/3 (/.f64 1 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) PI.f64)))
12.0ms
(/.f64 1 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) PI.f64))
9.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
6.0ms
(*.f64 (*.f64 v v) 6)
0.0ms
(*.f64 4/3 (/.f64 1 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) PI.f64)))

series297.0ms (9.7%)

Counts
4 → 21
Calls

4 calls:

112.0ms
(*.f64 4/3 (/.f64 1 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) PI.f64)))
100.0ms
(/.f64 1 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) PI.f64))
59.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
26.0ms
(*.f64 (*.f64 v v) 6)
Compiler

Compiled 904 to 808 computations (10.6% saved)

simplify106.0ms (3.5%)

Algorithm
1×egg-herbie
Counts
157 → 157
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
049354235
149354235

prune223.0ms (7.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1570157
Fresh011
Picked011
Done000
Total1572159
Error
0b
Counts
159 → 2
Compiler

Compiled 4354 to 2996 computations (31.2% saved)

localize12.0ms (0.4%)

Local error

Found 8 expressions with local error:

1.0b
(/.f64 4 (*.f64 (*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))))
0.2b
(*.f64 6 (*.f64 v v))
0.0b
(*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v)))
0.0b
(*.f64 (*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v)))))
0.0b
(*.f64 (*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v)))))
0.0b
(*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v)))
0.2b
(*.f64 6 (*.f64 v v))
1.0b
(/.f64 4 (*.f64 (*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))))

rewrite49.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
37×add-cbrt-cube_binary64_1106 add-exp-log_binary64_1108
23×pow1_binary64_1131
18×cbrt-unprod_binary64_1103 prod-exp_binary64_1119 associate-*r/_binary64_1012
13×flip--_binary64_1045 flip3--_binary64_1074
12×sqrt-div_binary64_1087 associate-*r*_binary64_1010 add-sqr-sqrt_binary64_1092 pow-prod-down_binary64_1141
11×*-un-lft-identity_binary64_1070
10×add-cube-cbrt_binary64_1105
8×associate-/r/_binary64_1016 frac-times_binary64_1080
5×associate-*l*_binary64_1011
4×cbrt-undiv_binary64_1104 associate-*l/_binary64_1013 div-exp_binary64_1121 add-log-exp_binary64_1109
3×sqrt-prod_binary64_1086 *-commutative_binary64_1001 times-frac_binary64_1076 associate-/l*_binary64_1015
2×cancel-sign-sub-inv_binary64_1036 difference-of-squares_binary64_1039 distribute-rgt-in_binary64_1020 sub-neg_binary64_1063 distribute-lft-in_binary64_1019
1×frac-2neg_binary64_1081 clear-num_binary64_1069 unswap-sqr_binary64_1038 associate-/r*_binary64_1014 div-inv_binary64_1067
Counts
4 → 110
Calls

8 calls:

13.0ms
(/.f64 4 (*.f64 (*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))))
12.0ms
(*.f64 (*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v)))))
8.0ms
(*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v)))
6.0ms
(*.f64 6 (*.f64 v v))
0.0ms
(*.f64 (*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v)))))

series302.0ms (9.9%)

Counts
4 → 21
Calls

4 calls:

112.0ms
(/.f64 4 (*.f64 (*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))))
87.0ms
(*.f64 (*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v)))))
73.0ms
(*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v)))
29.0ms
(*.f64 6 (*.f64 v v))
Compiler

Compiled 848 to 747 computations (11.9% saved)

simplify65.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
050193280

prune180.0ms (5.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1310131
Fresh000
Picked011
Done011
Total1312133
Error
0b
Counts
133 → 2
Compiler

Compiled 3454 to 2366 computations (31.5% saved)

regimes92.0ms (3%)

Accuracy

Total 0.0b remaining (97.8%)

Threshold costs 0.0b (97.8%)

Compiler

Compiled 1080 to 848 computations (21.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05328
15328

end0.0ms (0%)

sample726.0ms (23.7%)

Algorithm
1×intervals
Results
405.0ms8000×body128valid
0.0ms3×body128nan
Compiler

Compiled 256 to 201 computations (21.5% saved)

Pareto

0

Profiling

Loading profile data...