Details

Time bar (total: 7.3s)

analyze210.0ms (2.9%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%50%50%4
0%50%50%5
12.5%37.5%50%6
18.7%31.2%50%7
28.1%21.9%50%8
32.8%17.2%50%9
38.2%11.7%50%10
41%9%50%11
43.9%6%50%12
45.4%4.6%50%13
46.9%3.1%50%14
Compiler

Compiled 29 to 22 computations (24.1% saved)

sample45.0ms (0.6%)

Algorithm
1×intervals
Results
31.0ms256×body128valid
0.0ms1×body128nan
Compiler

Compiled 57 to 45 computations (21.1% saved)

simplify213.0ms (2.9%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
0499040
1499040

prune7.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
0.3b
Counts
2 → 1
Compiler

Compiled 54 to 41 computations (24.1% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 3 (*.f64 v v))
0.2b
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (-.f64 1 (*.f64 v v))))
0.3b
(*.f64 PI.f64 t)
0.5b
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))

rewrite71.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
30×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
18×associate-*r/_binary64_1043
16×pow1_binary64_1162
13×add-sqr-sqrt_binary64_1123 cbrt-unprod_binary64_1134 prod-exp_binary64_1150
10×*-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_1136
8×flip--_binary64_1076 flip3--_binary64_1105 associate-/r/_binary64_1047 associate-*r*_binary64_1041 sqrt-div_binary64_1118
7×pow-prod-down_binary64_1172 associate-*l*_binary64_1042
4×frac-times_binary64_1111 add-log-exp_binary64_1140 div-exp_binary64_1152 cbrt-undiv_binary64_1135
3×*-commutative_binary64_1032 associate-/l*_binary64_1046 times-frac_binary64_1107
2×associate-/l/_binary64_1048 unswap-sqr_binary64_1069 associate-*l/_binary64_1044
1×frac-2neg_binary64_1112 clear-num_binary64_1100 sqrt-prod_binary64_1117 div-inv_binary64_1098 associate-/r*_binary64_1045 div-sub_binary64_1106
Counts
4 → 94
Calls

4 calls:

19.0ms
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))
18.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (-.f64 1 (*.f64 v v))))
6.0ms
(*.f64 3 (*.f64 v v))
5.0ms
(*.f64 PI.f64 t)

series400.0ms (5.5%)

Counts
4 → 12
Calls

4 calls:

210.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (-.f64 1 (*.f64 v v))))
145.0ms
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))
32.0ms
(*.f64 3 (*.f64 v v))
13.0ms
(*.f64 PI.f64 t)

simplify81.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
051722803

prune244.0ms (3.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New9610106
Fresh000
Picked101
Done000
Total9710107
Error
0.1b
Counts
107 → 10
Compiler

Compiled 4161 to 2580 computations (38% saved)

localize39.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 PI.f64 t)
0.5b
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))
0.5b
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))
5.1b
(/.f64 (*.f64 (*.f64 v v) 5) (*.f64 (*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (-.f64 1 (*.f64 v v))))

rewrite90.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
70×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
37×cbrt-unprod_binary64_1134 prod-exp_binary64_1150
22×associate-*r/_binary64_1043
16×pow1_binary64_1162
12×div-exp_binary64_1152 cbrt-undiv_binary64_1135
11×associate-*r*_binary64_1041
10×add-sqr-sqrt_binary64_1123 sqrt-div_binary64_1118
8×*-un-lft-identity_binary64_1101 flip--_binary64_1076 flip3--_binary64_1105 add-cube-cbrt_binary64_1136 associate-/r/_binary64_1047
7×pow-prod-down_binary64_1172
5×associate-*l*_binary64_1042
4×frac-times_binary64_1111 add-log-exp_binary64_1140
3×*-commutative_binary64_1032
2×sqrt-prod_binary64_1117 associate-*l/_binary64_1044
1×frac-2neg_binary64_1112 clear-num_binary64_1100 div-inv_binary64_1098 associate-/l*_binary64_1046 times-frac_binary64_1107 unswap-sqr_binary64_1069 associate-/r*_binary64_1045
Counts
4 → 105
Calls

4 calls:

33.0ms
(/.f64 (*.f64 (*.f64 v v) 5) (*.f64 (*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (-.f64 1 (*.f64 v v))))
11.0ms
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))
11.0ms
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))
4.0ms
(*.f64 PI.f64 t)

series592.0ms (8.1%)

Counts
4 → 12
Calls

4 calls:

242.0ms
(/.f64 (*.f64 (*.f64 v v) 5) (*.f64 (*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (-.f64 1 (*.f64 v v))))
183.0ms
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))
143.0ms
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))
24.0ms
(*.f64 PI.f64 t)

simplify185.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 0 (117.0ms)

IterNodesCost
049553393
149553393

prune402.0ms (5.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1170117
Fresh099
Picked011
Done000
Total11710127
Error
0.1b
Counts
127 → 10
Compiler

Compiled 6903 to 4159 computations (39.8% saved)

localize32.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 3 (*.f64 v v))
0.2b
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (*.f64 (*.f64 PI.f64 t) (sqrt.f64 2)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))))
0.3b
(*.f64 PI.f64 t)
0.5b
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 2))

rewrite57.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
36×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
17×cbrt-unprod_binary64_1134 prod-exp_binary64_1150
16×pow1_binary64_1162
14×add-sqr-sqrt_binary64_1123
11×*-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_1136
10×associate-*r*_binary64_1041
8×associate-*r/_binary64_1043 associate-/r/_binary64_1047
7×flip--_binary64_1076 flip3--_binary64_1105 pow-prod-down_binary64_1172 associate-*l*_binary64_1042
6×sqrt-div_binary64_1118
5×div-exp_binary64_1152 cbrt-undiv_binary64_1135
4×frac-times_binary64_1111 add-log-exp_binary64_1140
3×*-commutative_binary64_1032 sqrt-prod_binary64_1117 associate-/l*_binary64_1046 times-frac_binary64_1107
2×associate-/l/_binary64_1048 unswap-sqr_binary64_1069 associate-*l/_binary64_1044
1×frac-2neg_binary64_1112 clear-num_binary64_1100 div-inv_binary64_1098 associate-/r*_binary64_1045 div-sub_binary64_1106
Counts
4 → 96
Calls

4 calls:

22.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (*.f64 (*.f64 PI.f64 t) (sqrt.f64 2)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))))
13.0ms
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 2))
6.0ms
(*.f64 3 (*.f64 v v))
4.0ms
(*.f64 PI.f64 t)

series279.0ms (3.8%)

Counts
4 → 12
Calls

4 calls:

213.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (*.f64 (*.f64 PI.f64 t) (sqrt.f64 2)) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))))
35.0ms
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 2))
18.0ms
(*.f64 3 (*.f64 v v))
13.0ms
(*.f64 PI.f64 t)

simplify122.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
049492671
149492671

prune238.0ms (3.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1053108
Fresh538
Picked101
Done011
Total1117118
Error
0.1b
Counts
118 → 7
Compiler

Compiled 4079 to 2551 computations (37.5% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 3 (*.f64 v v))
0.2b
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 PI.f64 (*.f64 t (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (-.f64 1 (*.f64 v v))))
0.3b
(*.f64 PI.f64 (*.f64 t (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
0.5b
(*.f64 t (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))

rewrite69.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
30×add-exp-log_binary64_1139 associate-*r/_binary64_1043 add-cbrt-cube_binary64_1137
16×pow1_binary64_1162
13×add-sqr-sqrt_binary64_1123 cbrt-unprod_binary64_1134 prod-exp_binary64_1150
10×*-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_1136 sqrt-div_binary64_1118
9×flip--_binary64_1076 flip3--_binary64_1105 associate-*l*_binary64_1042
8×associate-/r/_binary64_1047
7×pow-prod-down_binary64_1172
6×associate-*r*_binary64_1041
4×frac-times_binary64_1111 add-log-exp_binary64_1140 div-exp_binary64_1152 cbrt-undiv_binary64_1135
3×*-commutative_binary64_1032 associate-/l*_binary64_1046 times-frac_binary64_1107
2×associate-/l/_binary64_1048 unswap-sqr_binary64_1069 associate-*l/_binary64_1044
1×frac-2neg_binary64_1112 clear-num_binary64_1100 sqrt-prod_binary64_1117 div-inv_binary64_1098 associate-/r*_binary64_1045 div-sub_binary64_1106
Counts
4 → 96
Calls

4 calls:

18.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 PI.f64 (*.f64 t (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (-.f64 1 (*.f64 v v))))
12.0ms
(*.f64 3 (*.f64 v v))
11.0ms
(*.f64 PI.f64 (*.f64 t (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
9.0ms
(*.f64 t (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))

series492.0ms (6.7%)

Counts
4 → 12
Calls

4 calls:

224.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 PI.f64 (*.f64 t (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))) (-.f64 1 (*.f64 v v))))
128.0ms
(*.f64 PI.f64 (*.f64 t (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
123.0ms
(*.f64 t (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))
17.0ms
(*.f64 3 (*.f64 v v))

simplify74.0ms (1%)

Algorithm
1×egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
052273124

prune276.0ms (3.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1062108
Fresh145
Picked101
Done011
Total1087115
Error
0.1b
Counts
115 → 7
Compiler

Compiled 3852 to 2484 computations (35.5% saved)

regimes560.0ms (7.6%)

Accuracy

Total 0.3b remaining (65.1%)

Threshold costs 0.3b (65.1%)

Compiler

Compiled 6372 to 4649 computations (27% saved)

bsearch0.0ms (0%)

simplify6.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
08876
18876

end0.0ms (0%)

sample2.5s (34.2%)

Algorithm
1×intervals
Results
830.0ms8000×body128valid
1.0ms9×body128nan
Compiler

Compiled 1338 to 974 computations (27.2% saved)

Profiling

Loading profile data...