Details

Time bar (total: 5.9s)

analyze104.0ms (1.8%)

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)

sample23.0ms (0.4%)

Algorithm
1×intervals
Results
16.0ms256×body128valid
Compiler

Compiled 57 to 45 computations (21.1% saved)

simplify137.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
0499040
1499040

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 54 to 41 computations (24.1% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 5 (*.f64 v v))
0.3b
(*.f64 PI.f64 t)
0.4b
(/.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.9%)

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

4 calls:

17.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))))))
6.0ms
(*.f64 5 (*.f64 v v))
4.0ms
(*.f64 PI.f64 t)

series587.0ms (10%)

Counts
4 → 24
Calls

4 calls:

359.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))))
181.0ms
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))))
27.0ms
(*.f64 5 (*.f64 v v))
20.0ms
(*.f64 PI.f64 t)
Compiler

Compiled 1221 to 1019 computations (16.5% saved)

simplify79.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049633150
149633150

prune207.0ms (3.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1117118
Fresh000
Picked101
Done000
Total1127119
Error
0.3b
Counts
119 → 7
Compiler

Compiled 4319 to 2655 computations (38.5% saved)

localize16.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite45.0ms (0.8%)

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

4 calls:

14.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))

series490.0ms (8.3%)

Counts
4 → 24
Calls

4 calls:

244.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 t (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 (sqrt.f64 2)))))
194.0ms
(*.f64 t (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 (sqrt.f64 2))))
26.0ms
(*.f64 (*.f64 v v) 5)
25.0ms
(*.f64 3 (*.f64 v v))
Compiler

Compiled 1323 to 1123 computations (15.1% saved)

simplify68.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
051242306

prune208.0ms (3.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1123115
Fresh336
Picked101
Done000
Total1166122
Error
0.0b
Counts
122 → 6
Compiler

Compiled 4250 to 2852 computations (32.9% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite59.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
51×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
34×add-sqr-sqrt_binary64_1805
27×associate-*l*_binary64_1724
26×times-frac_binary64_1789
23×add-cube-cbrt_binary64_1818 cbrt-unprod_binary64_1816 prod-exp_binary64_1832 *-un-lft-identity_binary64_1783
21×pow1_binary64_1844
19×associate-*r*_binary64_1723
13×sqrt-prod_binary64_1799
10×cbrt-undiv_binary64_1817 div-exp_binary64_1834 pow-prod-down_binary64_1854
6×unswap-sqr_binary64_1751
4×*-commutative_binary64_1714 add-log-exp_binary64_1822
3×associate-*l/_binary64_1726
2×associate-/r/_binary64_1729 div-inv_binary64_1780
1×flip3--_binary64_1787 associate-*r/_binary64_1725 frac-times_binary64_1793 flip--_binary64_1758
Counts
4 → 122
Calls

4 calls:

23.0ms
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) t) (/.f64 (sqrt.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 (*.f64 v v) 5)
6.0ms
(*.f64 3 (*.f64 v v))

series328.0ms (5.6%)

Counts
4 → 18
Calls

4 calls:

238.0ms
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) t) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 (sqrt.f64 2)))))
32.0ms
(*.f64 (*.f64 v v) 5)
31.0ms
(*.f64 3 (*.f64 v v))
27.0ms
(*.f64 (*.f64 v v) 5)
Compiler

Compiled 1194 to 998 computations (16.4% saved)

simplify66.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
049763438
149763438

prune327.0ms (5.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1382140
Fresh415
Picked011
Done000
Total1424146
Error
0b
Counts
146 → 4
Compiler

Compiled 6282 to 4220 computations (32.8% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

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.9%)

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

4 calls:

16.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))

series371.0ms (6.3%)

Counts
4 → 21
Calls

4 calls:

245.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))))
29.0ms
(*.f64 3 (*.f64 v v))
29.0ms
(*.f64 (*.f64 v v) 5)
Compiler

Compiled 1076 to 940 computations (12.6% saved)

simplify86.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049704179
149704179

prune277.0ms (4.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1451146
Fresh202
Picked011
Done011
Total1473150
Error
0b
Counts
150 → 3
Compiler

Compiled 5540 to 3649 computations (34.1% saved)

regimes516.0ms (8.8%)

Accuracy

Total 0.1b remaining (98.4%)

Threshold costs 0.1b (98.4%)

Compiler

Compiled 8639 to 6356 computations (26.4% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
08148
18148

end0.0ms (0%)

sample1.7s (29.1%)

Algorithm
1×intervals
Results
500.0ms8000×body128valid
1.0ms11×body128nan
Compiler

Compiled 1602 to 1181 computations (26.3% saved)

Profiling

Loading profile data...