Details

Time bar (total: 7.1s)

analyze106.0ms (1.5%)

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)

sample27.0ms (0.4%)

Algorithm
1×intervals
Results
16.0ms256×body128valid
Compiler

Compiled 57 to 45 computations (21.1% saved)

simplify143.0ms (2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
0499040
1499040

prune8.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 80 to 61 computations (23.8% saved)

localize16.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 (*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (-.f64 1 (*.f64 v v)))
0.0b
(sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v)))))
0.0b
(-.f64 1 (*.f64 v v))
0.0b
(-.f64 1 (*.f64 5 (*.f64 v v)))
0.2b
(*.f64 5 (*.f64 v v))
0.3b
(*.f64 PI.f64 t)
0.3b
(/.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.5b
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))

rewrite51.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
30×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
18×associate-*r/_binary64_1725
16×pow1_binary64_1844
13×add-sqr-sqrt_binary64_1805 cbrt-unprod_binary64_1816 prod-exp_binary64_1832
10×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
8×flip3--_binary64_1787 associate-/r/_binary64_1729 sqrt-div_binary64_1800 flip--_binary64_1758 associate-*r*_binary64_1723
7×associate-*l*_binary64_1724 pow-prod-down_binary64_1854
4×cbrt-undiv_binary64_1817 div-exp_binary64_1834 frac-times_binary64_1793 add-log-exp_binary64_1822
3×associate-/l*_binary64_1728 times-frac_binary64_1789 *-commutative_binary64_1714
2×associate-/l/_binary64_1730 associate-*l/_binary64_1726 unswap-sqr_binary64_1751
1×div-sub_binary64_1788 div-inv_binary64_1780 associate-/r*_binary64_1727 sqrt-prod_binary64_1799 frac-2neg_binary64_1794 clear-num_binary64_1782
Counts
4 → 94
Calls

8 calls:

21.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))))
10.0ms
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))
5.0ms
(*.f64 5 (*.f64 v v))
4.0ms
(*.f64 PI.f64 t)
0.0ms
(-.f64 1 (*.f64 5 (*.f64 v v)))

series599.0ms (8.5%)

Counts
4 → 24
Calls

4 calls:

382.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))))
166.0ms
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))
29.0ms
(*.f64 5 (*.f64 v v))
21.0ms
(*.f64 PI.f64 t)
Compiler

Compiled 1221 to 1019 computations (16.5% saved)

simplify80.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049633150
149633150

prune271.0ms (3.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New10810118
Fresh101
Picked101
Done000
Total11010120
Error
0.1b
Counts
120 → 10
Compiler

Compiled 4473 to 2766 computations (38.2% saved)

localize21.0ms (0.3%)

Local error

Found 8 expressions with local error:

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

rewrite44.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
37×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
23×pow1_binary64_1844
18×cbrt-unprod_binary64_1816 prod-exp_binary64_1832
12×pow-prod-down_binary64_1854
11×add-sqr-sqrt_binary64_1805
9×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
7×associate-*l*_binary64_1724
5×associate-*r*_binary64_1723
4×associate-*r/_binary64_1725 associate-*l/_binary64_1726 cbrt-undiv_binary64_1817 div-exp_binary64_1834 add-log-exp_binary64_1822
3×flip3--_binary64_1787 associate-/l*_binary64_1728 times-frac_binary64_1789 *-commutative_binary64_1714 flip--_binary64_1758
2×associate-/l/_binary64_1730 associate-/r/_binary64_1729 unswap-sqr_binary64_1751
1×div-sub_binary64_1788 div-inv_binary64_1780 associate-/r*_binary64_1727 frac-2neg_binary64_1794 clear-num_binary64_1782
Counts
4 → 91
Calls

8 calls:

13.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 t (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 (sqrt.f64 2)))))
10.0ms
(*.f64 t (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 (sqrt.f64 2))))
6.0ms
(*.f64 (*.f64 v v) 5)
5.0ms
(*.f64 3 (*.f64 v v))
0.0ms
(-.f64 1 (*.f64 v v))

series495.0ms (7%)

Counts
4 → 24
Calls

4 calls:

256.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 t (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 (sqrt.f64 2)))))
185.0ms
(*.f64 t (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 (sqrt.f64 2))))
27.0ms
(*.f64 (*.f64 v v) 5)
27.0ms
(*.f64 3 (*.f64 v v))
Compiler

Compiled 1323 to 1123 computations (15.1% saved)

simplify74.0ms (1%)

Algorithm
1×egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
051242306

prune235.0ms (3.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1123115
Fresh549
Picked101
Done000
Total1187125
Error
0.0b
Counts
125 → 7
Compiler

Compiled 4355 to 2919 computations (33% saved)

localize20.0ms (0.3%)

Local error

Found 8 expressions with local error:

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

rewrite61.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
83×add-exp-log_binary64_1821
55×add-cbrt-cube_binary64_1819
37×prod-exp_binary64_1832
26×add-sqr-sqrt_binary64_1805
23×cbrt-unprod_binary64_1816 div-exp_binary64_1834
18×*-un-lft-identity_binary64_1783
17×add-cube-cbrt_binary64_1818 associate-*l*_binary64_1724 times-frac_binary64_1789
16×pow1_binary64_1844
13×cbrt-undiv_binary64_1817 associate-*r*_binary64_1723
7×pow-prod-down_binary64_1854
5×associate-*l/_binary64_1726 unswap-sqr_binary64_1751
4×associate-/r/_binary64_1729 1-exp_binary64_1827 rec-exp_binary64_1833 add-log-exp_binary64_1822
3×flip3--_binary64_1787 associate-/l*_binary64_1728 div-inv_binary64_1780 *-commutative_binary64_1714 flip--_binary64_1758
2×associate-/l/_binary64_1730
1×div-sub_binary64_1788 associate-*r/_binary64_1725 associate-/r*_binary64_1727 frac-2neg_binary64_1794 frac-times_binary64_1793 clear-num_binary64_1782
Counts
4 → 127
Calls

8 calls:

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

series382.0ms (5.4%)

Counts
4 → 21
Calls

4 calls:

255.0ms
(*.f64 (/.f64 1 t) (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 (sqrt.f64 2)))))
67.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 (sqrt.f64 2))))
31.0ms
(*.f64 3 (*.f64 v v))
28.0ms
(*.f64 (*.f64 v v) 5)
Compiler

Compiled 1116 to 980 computations (12.2% saved)

simplify91.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049583783
149583783

prune317.0ms (4.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1453148
Fresh516
Picked011
Done000
Total1505155
Error
0b
Counts
155 → 5
Compiler

Compiled 5741 to 3905 computations (32% saved)

localize22.0ms (0.3%)

Local error

Found 8 expressions with local error:

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

rewrite54.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
42×times-frac_binary64_1789
37×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
28×add-sqr-sqrt_binary64_1805
26×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
14×pow1_binary64_1844
12×associate-/l*_binary64_1728 cbrt-unprod_binary64_1816 prod-exp_binary64_1832
10×associate-/r/_binary64_1729 associate-*l/_binary64_1726 cbrt-undiv_binary64_1817 div-exp_binary64_1834
6×flip3--_binary64_1787 div-inv_binary64_1780 pow-prod-down_binary64_1854 flip--_binary64_1758
4×associate-/r*_binary64_1727 associate-*l*_binary64_1724 add-log-exp_binary64_1822 associate-*r*_binary64_1723
3×div-sub_binary64_1788 associate-/l/_binary64_1730
2×*-commutative_binary64_1714 frac-2neg_binary64_1794 clear-num_binary64_1782 unswap-sqr_binary64_1751
Counts
4 → 125
Calls

8 calls:

15.0ms
(/.f64 (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 (sqrt.f64 2)))) t)
11.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 (sqrt.f64 2))))
6.0ms
(*.f64 (*.f64 v v) 5)
6.0ms
(*.f64 3 (*.f64 v v))
0.0ms
(-.f64 1 (*.f64 v v))

series371.0ms (5.2%)

Counts
4 → 21
Calls

4 calls:

242.0ms
(/.f64 (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 (sqrt.f64 2)))) t)
68.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 (sqrt.f64 2))))
32.0ms
(*.f64 3 (*.f64 v v))
29.0ms
(*.f64 (*.f64 v v) 5)
Compiler

Compiled 1076 to 940 computations (12.6% saved)

simplify89.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049704179
149704179

prune274.0ms (3.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1460146
Fresh033
Picked011
Done011
Total1465151
Error
0b
Counts
151 → 5
Compiler

Compiled 5540 to 3649 computations (34.1% saved)

simplify37.0ms (0.5%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
04202813
14202813

regimes481.0ms (6.8%)

Compiler

Compiled 7878 to 5825 computations (26.1% saved)

bsearch0.0ms (0%)

regimes138.0ms (1.9%)

Compiler

Compiled 1543 to 1270 computations (17.7% saved)

bsearch0.0ms (0%)

regimes105.0ms (1.5%)

Compiler

Compiled 1104 to 922 computations (16.5% saved)

bsearch0.0ms (0%)

regimes70.0ms (1%)

Compiler

Compiled 580 to 490 computations (15.5% saved)

bsearch0.0ms (0%)

regimes55.0ms (0.8%)

Compiler

Compiled 356 to 322 computations (9.6% saved)

bsearch0.0ms (0%)

regimes58.0ms (0.8%)

Compiler

Compiled 281 to 278 computations (1.1% saved)

bsearch0.0ms (0%)

regimes41.0ms (0.6%)

Compiler

Compiled 140 to 158 computations (-12.9% saved)

bsearch0.0ms (0%)

regimes28.0ms (0.4%)

Compiler

Compiled 43 to 70 computations (-62.8% saved)

bsearch0.0ms (0%)

regimes22.0ms (0.3%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch25.0ms (0.4%)

Steps
ItersRangePoint
7
-1.445257481217001e-307
2.010042508335654e-307
9.0532805922654e-310
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes16.0ms (0.2%)

Accuracy

Total 0.1b remaining (99.6%)

Threshold costs 0.1b (99.6%)

Compiler

Compiled 8 to 20 computations (-150% saved)

bsearch11.0ms (0.2%)

Compiler

Compiled 210 to 171 computations (18.6% saved)

simplify6.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0117322
1117322

end0.0ms (0%)

sample2.1s (30.2%)

Algorithm
1×intervals
Results
517.0ms8000×body128valid
0.0ms6×body128nan
Compiler

Compiled 1971 to 1476 computations (25.1% saved)

Pareto

0.5110527407267466

Profiling

Loading profile data...