Details

Time bar (total: 4.9min)

analyze107.0ms (0%)

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)

sample29.0ms (0%)

Algorithm
1×intervals
Results
16.0ms256×body128valid
Compiler

Compiled 60 to 50 computations (16.7% saved)

simplify153.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
4 → 4
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
0499043
1499043

prune5.0ms (0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New044
Fresh044
Picked000
Done000
Total088
Error
0.8b
Counts
8 → 5
Compiler

Compiled 29 to 23 computations (20.7% saved)

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite47.0ms (0%)

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:

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

series626.0ms (0.2%)

Counts
4 → 24
Calls

4 calls:

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

Compiled 1221 to 1019 computations (16.5% saved)

simplify94.0ms (0%)

Algorithm
1×egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
049633150
149633150

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 5 (*.f64 v v))
0.1b
(*.f64 v (*.f64 -6 v))
0.0b
(*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))
0.0b
(sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v))))
0.2b
(*.f64 5 (*.f64 v v))
0.2b
(*.f64 PI.f64 t)
0.5b
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
0.6b
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))

rewrite56.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
34×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
20×pow1_binary64_1844
16×associate-*r/_binary64_1725 cbrt-unprod_binary64_1816 prod-exp_binary64_1832
14×add-sqr-sqrt_binary64_1805
12×associate-*l*_binary64_1724 sqrt-div_binary64_1800
11×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
10×pow-prod-down_binary64_1854
8×associate-/r/_binary64_1729 distribute-lft-in_binary64_1732 distribute-rgt-in_binary64_1733 frac-times_binary64_1793
7×flip3--_binary64_1787 flip--_binary64_1758
6×flip-+_binary64_1757 flip3-+_binary64_1786
5×associate-*r*_binary64_1723
4×cancel-sign-sub-inv_binary64_1749 associate-*l/_binary64_1726 cbrt-undiv_binary64_1817 div-exp_binary64_1834 sub-neg_binary64_1776 add-log-exp_binary64_1822
3×associate-/l*_binary64_1728 sqrt-prod_binary64_1799 times-frac_binary64_1789 *-commutative_binary64_1714
2×associate-/l/_binary64_1730 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 → 113
Calls

8 calls:

16.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
13.0ms
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
6.0ms
(*.f64 5 (*.f64 v v))
4.0ms
(*.f64 PI.f64 t)
0.0ms
(sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v))))

series632.0ms (0.2%)

Counts
4 → 24
Calls

4 calls:

361.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
217.0ms
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
31.0ms
(*.f64 5 (*.f64 v v))
22.0ms
(*.f64 PI.f64 t)
Compiler

Compiled 1314 to 1086 computations (17.4% saved)

simplify86.0ms (0%)

Algorithm
1×egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
050184315

prune2.4s (0.8%)

Pruning

125 alts after pruning (124 fresh and 1 done)

PrunedKeptTotal
New134121255
Fresh033
Picked000
Done112
Total135125260
Error
0.2b
Counts
260 → 125
Compiler

Compiled 11092 to 7379 computations (33.5% saved)

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 5 (*.f64 v v))
0.1b
(*.f64 v (*.f64 v -6))
0.0b
(*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))
0.0b
(sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))
0.2b
(*.f64 5 (*.f64 v v))
0.2b
(*.f64 PI.f64 t)
0.6b
(/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
1.0b
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))

rewrite57.0ms (0%)

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

8 calls:

16.0ms
(/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
8.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))
6.0ms
(*.f64 5 (*.f64 v v))
4.0ms
(*.f64 PI.f64 t)
0.0ms
(sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))

series483.0ms (0.2%)

Counts
4 → 21
Calls

4 calls:

355.0ms
(/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
76.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))
29.0ms
(*.f64 5 (*.f64 v v))
23.0ms
(*.f64 PI.f64 t)
Compiler

Compiled 1081 to 906 computations (16.2% saved)

simplify98.0ms (0%)

Algorithm
1×egg-herbie
Counts
177 → 177
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
050946464

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

0.6b
(/.f64 (sqrt.f64 1/2) (*.f64 PI.f64 t))
0.2b
(*.f64 PI.f64 t)
0.2b
(*.f64 PI.f64 t)
0.6b
(/.f64 (sqrt.f64 1/2) (*.f64 PI.f64 t))

rewrite11.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
10×add-sqr-sqrt_binary64_1805
9×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
8×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
6×associate-/l*_binary64_1728 sqrt-prod_binary64_1799 times-frac_binary64_1789
4×pow1_binary64_1844
3×associate-*l*_binary64_1724 associate-*r*_binary64_1723
2×cbrt-unprod_binary64_1816 prod-exp_binary64_1832 cbrt-undiv_binary64_1817 div-exp_binary64_1834 add-log-exp_binary64_1822
1×div-inv_binary64_1780 associate-/r*_binary64_1727 *-commutative_binary64_1714 frac-2neg_binary64_1794 clear-num_binary64_1782 pow-prod-down_binary64_1854 unswap-sqr_binary64_1751
Counts
2 → 45
Calls

4 calls:

5.0ms
(/.f64 (sqrt.f64 1/2) (*.f64 PI.f64 t))
3.0ms
(*.f64 PI.f64 t)
0.0ms
(*.f64 PI.f64 t)
0.0ms
(/.f64 (sqrt.f64 1/2) (*.f64 PI.f64 t))

series67.0ms (0%)

Counts
2 → 6
Calls

2 calls:

46.0ms
(/.f64 (sqrt.f64 1/2) (*.f64 PI.f64 t))
20.0ms
(*.f64 PI.f64 t)
Compiler

Compiled 72 to 84 computations (-16.7% saved)

simplify79.0ms (0%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
04759533
14759533

localize28.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 v (*.f64 v (*.f64 (*.f64 v v) 36)))
0.1b
(*.f64 v (*.f64 (*.f64 v v) 36))
0.0b
(sqrt.f64 (-.f64 2 (*.f64 v (*.f64 -6 v))))
0.0b
(*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 t))
0.2b
(*.f64 5 (*.f64 v v))
0.2b
(*.f64 PI.f64 t)
0.4b
(/.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 t)) (sqrt.f64 (-.f64 4 (*.f64 v (*.f64 v (*.f64 (*.f64 v v) 36)))))) (sqrt.f64 (-.f64 2 (*.f64 v (*.f64 -6 v)))))
0.6b
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (/.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 t)) (sqrt.f64 (-.f64 4 (*.f64 v (*.f64 v (*.f64 (*.f64 v v) 36)))))) (sqrt.f64 (-.f64 2 (*.f64 v (*.f64 -6 v))))))

rewrite71.0ms (0%)

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

8 calls:

20.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (/.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 t)) (sqrt.f64 (-.f64 4 (*.f64 v (*.f64 v (*.f64 (*.f64 v v) 36)))))) (sqrt.f64 (-.f64 2 (*.f64 v (*.f64 -6 v))))))
17.0ms
(/.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 t)) (sqrt.f64 (-.f64 4 (*.f64 v (*.f64 v (*.f64 (*.f64 v v) 36)))))) (sqrt.f64 (-.f64 2 (*.f64 v (*.f64 -6 v)))))
5.0ms
(*.f64 5 (*.f64 v v))
4.0ms
(*.f64 PI.f64 t)
0.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 t))

series798.0ms (0.3%)

Counts
4 → 24
Calls

4 calls:

426.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (/.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 t)) (sqrt.f64 (-.f64 4 (*.f64 v (*.f64 v (*.f64 (*.f64 v v) 36)))))) (sqrt.f64 (-.f64 2 (*.f64 v (*.f64 -6 v))))))
315.0ms
(/.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 PI.f64 t)) (sqrt.f64 (-.f64 4 (*.f64 v (*.f64 v (*.f64 (*.f64 v v) 36)))))) (sqrt.f64 (-.f64 2 (*.f64 v (*.f64 -6 v)))))
32.0ms
(*.f64 5 (*.f64 v v))
26.0ms
(*.f64 PI.f64 t)
Compiler

Compiled 1570 to 1268 computations (19.2% saved)

simplify116.0ms (0%)

Algorithm
1×egg-herbie
Counts
177 → 177
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
050188618

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 5 (*.f64 v v))
0.1b
(*.f64 v (*.f64 -6 v))
0.0b
(*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))
0.0b
(sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v))))
0.5b
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
0.6b
(/.f64 (-.f64 1 (*.f64 (sqrt.f64 (*.f64 5 (*.f64 v v))) (sqrt.f64 (*.f64 5 (*.f64 v v))))) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
27.9b
(sqrt.f64 (*.f64 5 (*.f64 v v)))
27.9b
(sqrt.f64 (*.f64 5 (*.f64 v v)))

rewrite52.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
27×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
25×pow1_binary64_1844
16×associate-*r/_binary64_1725
12×cbrt-unprod_binary64_1816 prod-exp_binary64_1832 sqrt-div_binary64_1800 pow-prod-down_binary64_1854
10×add-sqr-sqrt_binary64_1805 *-un-lft-identity_binary64_1783
8×associate-/r/_binary64_1729 add-cube-cbrt_binary64_1818 distribute-lft-in_binary64_1732 distribute-rgt-in_binary64_1733 frac-times_binary64_1793
7×flip3--_binary64_1787 flip--_binary64_1758
6×flip-+_binary64_1757 associate-*l*_binary64_1724 flip3-+_binary64_1786 sqrt-pow1_binary64_1801
5×associate-/l*_binary64_1728 sqrt-prod_binary64_1799 times-frac_binary64_1789
4×difference-of-squares_binary64_1752 cancel-sign-sub-inv_binary64_1749 associate-*l/_binary64_1726 cbrt-undiv_binary64_1817 div-exp_binary64_1834 sub-neg_binary64_1776 add-log-exp_binary64_1822
2×associate-/l/_binary64_1730 pow1/2_binary64_1863
1×div-sub_binary64_1788 div-inv_binary64_1780 associate-/r*_binary64_1727 *-commutative_binary64_1714 frac-2neg_binary64_1794 clear-num_binary64_1782 associate-*r*_binary64_1723
Counts
4 → 104
Calls

8 calls:

15.0ms
(/.f64 (-.f64 1 (*.f64 (sqrt.f64 (*.f64 5 (*.f64 v v))) (sqrt.f64 (*.f64 5 (*.f64 v v))))) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
13.0ms
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
4.0ms
(sqrt.f64 (*.f64 5 (*.f64 v v)))
4.0ms
(sqrt.f64 (*.f64 5 (*.f64 v v)))
0.0ms
(sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v))))

series776.0ms (0.3%)

Counts
4 → 24
Calls

4 calls:

501.0ms
(/.f64 (-.f64 1 (*.f64 (sqrt.f64 (*.f64 5 (*.f64 v v))) (sqrt.f64 (*.f64 5 (*.f64 v v))))) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
206.0ms
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
36.0ms
(sqrt.f64 (*.f64 5 (*.f64 v v)))
33.0ms
(sqrt.f64 (*.f64 5 (*.f64 v v)))
Compiler

Compiled 1730 to 1392 computations (19.5% saved)

simplify103.0ms (0%)

Algorithm
1×egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
049484575
149484575

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite89.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
80×sqrt-div_binary64_1800
56×associate-*l/_binary64_1726
50×associate-*r/_binary64_1725
31×flip3--_binary64_1787 flip--_binary64_1758
28×frac-times_binary64_1793
26×associate-/r/_binary64_1729
23×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
20×pow1_binary64_1844
9×cbrt-unprod_binary64_1816 prod-exp_binary64_1832 pow-prod-down_binary64_1854
8×add-sqr-sqrt_binary64_1805 add-cube-cbrt_binary64_1818 associate-*l*_binary64_1724 *-un-lft-identity_binary64_1783
4×add-log-exp_binary64_1822
3×associate-/l*_binary64_1728 sqrt-prod_binary64_1799 times-frac_binary64_1789 cbrt-undiv_binary64_1817 div-exp_binary64_1834 sqrt-pow1_binary64_1801
2×associate-/l/_binary64_1730 *-commutative_binary64_1714 associate-*r*_binary64_1723
1×div-sub_binary64_1788 div-inv_binary64_1780 pow1/2_binary64_1863 associate-/r*_binary64_1727 frac-2neg_binary64_1794 clear-num_binary64_1782
Counts
4 → 108
Calls

8 calls:

35.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t))) (sqrt.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t)))) (-.f64 1 (*.f64 v v))))
14.0ms
(*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t))
10.0ms
(*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t))
8.0ms
(sqrt.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t)))
0.0ms
(sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3))))

series871.0ms (0.3%)

Counts
4 → 30
Calls

4 calls:

390.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t))) (sqrt.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t)))) (-.f64 1 (*.f64 v v))))
163.0ms
(*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t))
162.0ms
(sqrt.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t)))
155.0ms
(*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t))
Compiler

Compiled 2572 to 2077 computations (19.2% saved)

simplify86.0ms (0%)

Algorithm
1×egg-herbie
Counts
138 → 138
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
058665041

prune18.2s (6.2%)

Pruning

379 alts after pruning (374 fresh and 5 done)

PrunedKeptTotal
New389282671
Fresh2792119
Picked000
Done156
Total417379796
Error
0b
Counts
796 → 379
Compiler

Compiled 37676 to 26067 computations (30.8% saved)

localize28.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (sqrt.f64 (+.f64 4 (-.f64 (*.f64 (pow.f64 v 4) 36) (*.f64 (*.f64 v v) -12)))) (-.f64 1 (*.f64 v v)))
0.0b
(sqrt.f64 (+.f64 4 (-.f64 (*.f64 (pow.f64 v 4) 36) (*.f64 (*.f64 v v) -12))))
0.0b
(-.f64 (*.f64 (pow.f64 v 4) 36) (*.f64 (*.f64 v v) -12))
0.0b
(sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216)))
0.2b
(*.f64 5 (*.f64 v v))
0.2b
(*.f64 PI.f64 t)
0.6b
(/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216)))) (*.f64 PI.f64 t))
1.0b
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216))))

rewrite53.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
78×times-frac_binary64_1789
51×add-sqr-sqrt_binary64_1805
48×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
30×sqrt-prod_binary64_1799
27×associate-/l*_binary64_1728
25×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
11×pow1_binary64_1844
7×associate-/r*_binary64_1727 cbrt-undiv_binary64_1817 div-exp_binary64_1834
6×associate-/r/_binary64_1729 cbrt-unprod_binary64_1816 prod-exp_binary64_1832 associate-*l*_binary64_1724 sqrt-div_binary64_1800
4×div-inv_binary64_1780 pow-prod-down_binary64_1854 add-log-exp_binary64_1822 associate-*r*_binary64_1723
3×div-sub_binary64_1788 associate-/l/_binary64_1730 flip-+_binary64_1757 flip3-+_binary64_1786
2×*-commutative_binary64_1714 frac-2neg_binary64_1794 clear-num_binary64_1782 unswap-sqr_binary64_1751
1×flip3--_binary64_1787 flip--_binary64_1758
Counts
4 → 150
Calls

8 calls:

14.0ms
(/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216)))) (*.f64 PI.f64 t))
8.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216))))
6.0ms
(*.f64 5 (*.f64 v v))
4.0ms
(*.f64 PI.f64 t)
0.0ms
(sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216)))

series412.0ms (0.1%)

Counts
4 → 21
Calls

4 calls:

289.0ms
(/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216)))) (*.f64 PI.f64 t))
68.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216))))
28.0ms
(*.f64 5 (*.f64 v v))
27.0ms
(*.f64 PI.f64 t)
Compiler

Compiled 1382 to 1116 computations (19.2% saved)

simplify81.0ms (0%)

Algorithm
1×egg-herbie
Counts
171 → 171
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
049365240
149365240

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

1.0b
(/.f64 (sqrt.f64 1/2) PI.f64)
0.1b
(/.f64 (/.f64 (sqrt.f64 1/2) PI.f64) t)
0.1b
(/.f64 (/.f64 (sqrt.f64 1/2) PI.f64) t)
1.0b
(/.f64 (sqrt.f64 1/2) PI.f64)

rewrite27.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
156×times-frac_binary64_1789
92×add-sqr-sqrt_binary64_1805 add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
48×sqrt-prod_binary64_1799
28×associate-/l*_binary64_1728
9×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
6×div-inv_binary64_1780 associate-/r*_binary64_1727
4×cbrt-undiv_binary64_1817 div-exp_binary64_1834
2×frac-2neg_binary64_1794 clear-num_binary64_1782 add-log-exp_binary64_1822 pow1_binary64_1844
1×associate-/l/_binary64_1730
Counts
2 → 145
Calls

4 calls:

9.0ms
(/.f64 (/.f64 (sqrt.f64 1/2) PI.f64) t)
4.0ms
(/.f64 (sqrt.f64 1/2) PI.f64)
0.0ms
(/.f64 (/.f64 (sqrt.f64 1/2) PI.f64) t)
0.0ms
(/.f64 (sqrt.f64 1/2) PI.f64)

series45.0ms (0%)

Counts
2 → 3
Calls

2 calls:

45.0ms
(/.f64 (/.f64 (sqrt.f64 1/2) PI.f64) t)
0.0ms
(/.f64 (sqrt.f64 1/2) PI.f64)
Compiler

Compiled 36 to 42 computations (-16.7% saved)

simplify138.0ms (0%)

Algorithm
1×egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 0 (99.0ms)

IterNodesCost
046562986
146562986

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 5 (*.f64 v v))
0.1b
(*.f64 (*.f64 v v) 3)
0.0b
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t)) 3)) (-.f64 1 (*.f64 v v)))
0.0b
(sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3))))
0.3b
(pow.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t)) 3)
0.5b
(*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t))
0.6b
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t)) 3)) (-.f64 1 (*.f64 v v))))
39.6b
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t)) 3))

rewrite54.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
20×add-exp-log_binary64_1821
19×add-cbrt-cube_binary64_1819
15×pow1_binary64_1844
14×associate-*r/_binary64_1725 associate-*l/_binary64_1726
12×sqrt-div_binary64_1800
10×flip3--_binary64_1787 cube-div_binary64_1812 flip--_binary64_1758
9×add-sqr-sqrt_binary64_1805 add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
8×associate-/r/_binary64_1729 cbrt-prod_binary64_1814 cbrt-div_binary64_1815
7×cbrt-unprod_binary64_1816 prod-exp_binary64_1832
6×pow-prod-down_binary64_1854
4×associate-*l*_binary64_1724 frac-times_binary64_1793 add-log-exp_binary64_1822
3×associate-/l*_binary64_1728 rem-cube-cbrt_binary64_1806 pow-unpow_binary64_1860 times-frac_binary64_1789 pow-pow_binary64_1855 pow-exp_binary64_1851
2×associate-/l/_binary64_1730 sqr-pow_binary64_1755 cube-mult_binary64_1813 unpow3_binary64_1849 unpow-prod-down_binary64_1862 cbrt-undiv_binary64_1817 div-exp_binary64_1834 cube-prod_binary64_1811
1×div-sub_binary64_1788 rem-cbrt-cube_binary64_1807 div-inv_binary64_1780 associate-/r*_binary64_1727 sqrt-prod_binary64_1799 *-commutative_binary64_1714 frac-2neg_binary64_1794 pow1/3_binary64_1865 clear-num_binary64_1782 pow-to-exp_binary64_1852 associate-*r*_binary64_1723
Counts
4 → 99
Calls

8 calls:

15.0ms
(pow.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t)) 3)
12.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t)) 3)) (-.f64 1 (*.f64 v v))))
10.0ms
(*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t))
4.0ms
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t)) 3))
0.0ms
(sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3))))

series1.1s (0.4%)

Counts
4 → 36
Calls

4 calls:

410.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t)) 3)) (-.f64 1 (*.f64 v v))))
346.0ms
(pow.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t)) 3)
180.0ms
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t)) 3))
172.0ms
(*.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 (*.f64 v v) 3)))) (*.f64 PI.f64 t))
Compiler

Compiled 2047 to 1737 computations (15.1% saved)

simplify98.0ms (0%)

Algorithm
1×egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049574539
149574539

localize36.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (+.f64 4 (*.f64 v (*.f64 (*.f64 v -6) (+.f64 (*.f64 v (*.f64 v -6)) -2)))))
0.0b
(/.f64 (*.f64 (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (pow.f64 v 4)))) (*.f64 (sqrt.f64 (+.f64 4 (*.f64 v (*.f64 (*.f64 v -6) (+.f64 (*.f64 v (*.f64 v -6)) -2))))) (+.f64 1 (*.f64 v v))))
0.0b
(*.f64 (*.f64 PI.f64 t) (-.f64 1 (pow.f64 v 4)))
0.0b
(sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216)))
0.2b
(*.f64 5 (*.f64 v v))
0.2b
(*.f64 PI.f64 t)
0.5b
(*.f64 (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (pow.f64 v 4))))
0.6b
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (/.f64 (*.f64 (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (pow.f64 v 4)))) (*.f64 (sqrt.f64 (+.f64 4 (*.f64 v (*.f64 (*.f64 v -6) (+.f64 (*.f64 v (*.f64 v -6)) -2))))) (+.f64 1 (*.f64 v v)))))

rewrite97.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
62×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
43×times-frac_binary64_1789
38×add-sqr-sqrt_binary64_1805
35×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
33×associate-/r/_binary64_1729
32×distribute-lft-in_binary64_1732 distribute-rgt-in_binary64_1733
30×sqrt-div_binary64_1800
28×cancel-sign-sub-inv_binary64_1749
27×flip-+_binary64_1757 flip3-+_binary64_1786
26×cbrt-unprod_binary64_1816 prod-exp_binary64_1832
20×frac-times_binary64_1793 pow1_binary64_1844
17×cbrt-undiv_binary64_1817 div-exp_binary64_1834
16×associate-*r/_binary64_1725
13×associate-/r*_binary64_1727
12×unpow-prod-down_binary64_1862 associate-*l*_binary64_1724
10×associate-*l/_binary64_1726 pow-prod-down_binary64_1854
5×div-inv_binary64_1780 associate-*r*_binary64_1723
4×flip3--_binary64_1787 sqr-pow_binary64_1755 flip--_binary64_1758 sub-neg_binary64_1776 add-log-exp_binary64_1822
3×associate-/l*_binary64_1728 sqrt-prod_binary64_1799 *-commutative_binary64_1714
2×associate-/l/_binary64_1730 unswap-sqr_binary64_1751
1×div-sub_binary64_1788 frac-2neg_binary64_1794 clear-num_binary64_1782
Counts
4 → 188
Calls

8 calls:

27.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (/.f64 (*.f64 (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (pow.f64 v 4)))) (*.f64 (sqrt.f64 (+.f64 4 (*.f64 v (*.f64 (*.f64 v -6) (+.f64 (*.f64 v (*.f64 v -6)) -2))))) (+.f64 1 (*.f64 v v)))))
17.0ms
(*.f64 (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (pow.f64 v 4))))
6.0ms
(*.f64 5 (*.f64 v v))
4.0ms
(*.f64 PI.f64 t)
0.0ms
(sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216)))

series891.0ms (0.3%)

Counts
4 → 24
Calls

4 calls:

566.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (/.f64 (*.f64 (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (pow.f64 v 4)))) (*.f64 (sqrt.f64 (+.f64 4 (*.f64 v (*.f64 (*.f64 v -6) (+.f64 (*.f64 v (*.f64 v -6)) -2))))) (+.f64 1 (*.f64 v v)))))
262.0ms
(*.f64 (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (pow.f64 v 4))))
37.0ms
(*.f64 5 (*.f64 v v))
26.0ms
(*.f64 PI.f64 t)
Compiler

Compiled 1920 to 1552 computations (19.2% saved)

simplify127.0ms (0%)

Algorithm
1×egg-herbie
Counts
212 → 212
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
0510212941

localize28.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))
0.0b
(sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))
0.0b
(sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))
0.0b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))))
1.0b
(cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
1.0b
(cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
1.0b
(cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
1.0b
(*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))))

rewrite117.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
204×cbrt-prod_binary64_1814
163×add-sqr-sqrt_binary64_1805
154×times-frac_binary64_1789
103×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
77×sqrt-prod_binary64_1799
33×swap-sqr_binary64_1750
27×associate-*l*_binary64_1724 associate-*r*_binary64_1723
16×unswap-sqr_binary64_1751
14×associate-/r/_binary64_1729 sqrt-div_binary64_1800
11×pow1_binary64_1844
9×pow1/3_binary64_1865
7×flip-+_binary64_1757 div-inv_binary64_1780 cbrt-div_binary64_1815 flip3-+_binary64_1786
6×add-exp-log_binary64_1821
4×add-cbrt-cube_binary64_1819 add-log-exp_binary64_1822
2×pow-prod-up_binary64_1853 pow-sqr_binary64_1756 pow-prod-down_binary64_1854
1×associate-*r/_binary64_1725 cbrt-unprod_binary64_1816 prod-exp_binary64_1832 pow-plus_binary64_1846 associate-*l/_binary64_1726 *-commutative_binary64_1714 frac-times_binary64_1793 pow2_binary64_1864
Counts
4 → 223
Calls

8 calls:

34.0ms
(*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))))
8.0ms
(cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
8.0ms
(cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
7.0ms
(cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
0.0ms
(*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))))

series506.0ms (0.2%)

Counts
4 → 24
Calls

4 calls:

139.0ms
(cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
135.0ms
(cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
132.0ms
(cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
99.0ms
(*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))))
Compiler

Compiled 2194 to 1808 computations (17.6% saved)

simplify167.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
247 → 247
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
0491813738
1491813738

prune48.8s (16.5%)

Pruning

740 alts after pruning (731 fresh and 9 done)

PrunedKeptTotal
New529384913
Fresh22347369
Picked000
Done1910
Total5527401292
Error
0b
Counts
1292 → 740
Compiler

Compiled 73824 to 53834 computations (27.1% saved)

localize30.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (sqrt.f64 (+.f64 4 (-.f64 (*.f64 (pow.f64 v 4) 36) (*.f64 (*.f64 v v) -12)))) (-.f64 1 (*.f64 v v)))
0.0b
(sqrt.f64 (+.f64 4 (-.f64 (*.f64 (pow.f64 v 4) 36) (*.f64 (*.f64 v v) -12))))
0.0b
(-.f64 (*.f64 (pow.f64 v 4) 36) (*.f64 (*.f64 v v) -12))
0.0b
(sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216)))
0.2b
(*.f64 (*.f64 v v) -12)
0.2b
(*.f64 5 (*.f64 v v))
1.0b
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216))))
1.0b
(/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216)))) PI.f64)

rewrite70.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
162×times-frac_binary64_1789
100×add-sqr-sqrt_binary64_1805
98×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
48×sqrt-prod_binary64_1799
27×associate-/l*_binary64_1728
21×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
14×pow1_binary64_1844
10×associate-/r/_binary64_1729 sqrt-div_binary64_1800
9×associate-/r*_binary64_1727
6×cbrt-unprod_binary64_1816 prod-exp_binary64_1832 div-inv_binary64_1780 pow-prod-down_binary64_1854
5×flip-+_binary64_1757 flip3-+_binary64_1786
4×associate-*l*_binary64_1724 cbrt-undiv_binary64_1817 div-exp_binary64_1834 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
1×flip3--_binary64_1787 flip--_binary64_1758
Counts
4 → 197
Calls

8 calls:

14.0ms
(/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216)))) PI.f64)
12.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216))))
7.0ms
(*.f64 5 (*.f64 v v))
6.0ms
(*.f64 (*.f64 v v) -12)
0.0ms
(sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216)))

series216.0ms (0.1%)

Counts
4 → 18
Calls

4 calls:

89.0ms
(/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216)))) PI.f64)
62.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 8 (*.f64 (pow.f64 v 6) -216))))
32.0ms
(*.f64 (*.f64 v v) -12)
32.0ms
(*.f64 5 (*.f64 v v))
Compiler

Compiled 1108 to 912 computations (17.7% saved)

simplify138.0ms (0%)

Algorithm
1×egg-herbie
Counts
215 → 215
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
049208022
149208022

localize6.0ms (0%)

Local error

Found 6 expressions with local error:

0.6b
(/.f64 1 (*.f64 (*.f64 PI.f64 t) (sqrt.f64 2)))
0.5b
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 2))
0.2b
(*.f64 PI.f64 t)
0.2b
(*.f64 PI.f64 t)
0.5b
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 2))
0.6b
(/.f64 1 (*.f64 (*.f64 PI.f64 t) (sqrt.f64 2)))

rewrite22.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
31×add-exp-log_binary64_1821
19×add-cbrt-cube_binary64_1819
16×pow1_binary64_1844
13×prod-exp_binary64_1832
11×add-sqr-sqrt_binary64_1805
9×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783 associate-*r*_binary64_1723
7×cbrt-unprod_binary64_1816 pow-prod-down_binary64_1854
6×div-exp_binary64_1834
4×associate-*l*_binary64_1724
3×associate-/l*_binary64_1728 1-exp_binary64_1827 pow-flip_binary64_1857 sqrt-prod_binary64_1799 times-frac_binary64_1789 cbrt-undiv_binary64_1817 rec-exp_binary64_1833 add-log-exp_binary64_1822
2×*-commutative_binary64_1714
1×inv-pow_binary64_1868 div-inv_binary64_1780 associate-/r*_binary64_1727 frac-2neg_binary64_1794 clear-num_binary64_1782 unswap-sqr_binary64_1751
Counts
3 → 72
Calls

6 calls:

7.0ms
(/.f64 1 (*.f64 (*.f64 PI.f64 t) (sqrt.f64 2)))
6.0ms
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 2))
4.0ms
(*.f64 PI.f64 t)
0.0ms
(*.f64 PI.f64 t)
0.0ms
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 2))

series117.0ms (0%)

Counts
3 → 9
Calls

3 calls:

60.0ms
(/.f64 1 (*.f64 (*.f64 PI.f64 t) (sqrt.f64 2)))
39.0ms
(*.f64 (*.f64 PI.f64 t) (sqrt.f64 2))
18.0ms
(*.f64 PI.f64 t)
Compiler

Compiled 144 to 162 computations (-12.5% saved)

simplify95.0ms (0%)

Algorithm
1×egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
04917890
14917890

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 t (*.f64 PI.f64 (sqrt.f64 2)))
0.1b
(*.f64 53/8 (/.f64 (pow.f64 v 4) (*.f64 t (*.f64 PI.f64 (sqrt.f64 2)))))
0.0b
(-.f64 (/.f64 1 (*.f64 t (*.f64 PI.f64 (sqrt.f64 2)))) (+.f64 (*.f64 5/2 (/.f64 (*.f64 v v) (*.f64 t (*.f64 PI.f64 (sqrt.f64 2))))) (*.f64 53/8 (/.f64 (pow.f64 v 4) (*.f64 t (*.f64 PI.f64 (sqrt.f64 2)))))))
0.0b
(+.f64 (*.f64 5/2 (/.f64 (*.f64 v v) (*.f64 t (*.f64 PI.f64 (sqrt.f64 2))))) (*.f64 53/8 (/.f64 (pow.f64 v 4) (*.f64 t (*.f64 PI.f64 (sqrt.f64 2))))))
0.2b
(*.f64 t (*.f64 PI.f64 (sqrt.f64 2)))
0.6b
(/.f64 1 (*.f64 t (*.f64 PI.f64 (sqrt.f64 2))))
3.9b
(/.f64 (pow.f64 v 4) (*.f64 t (*.f64 PI.f64 (sqrt.f64 2))))
5.8b
(/.f64 (*.f64 v v) (*.f64 t (*.f64 PI.f64 (sqrt.f64 2))))

rewrite45.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
75×add-exp-log_binary64_1821
48×add-cbrt-cube_binary64_1819
30×prod-exp_binary64_1832
21×div-exp_binary64_1834
18×cbrt-unprod_binary64_1816
15×pow1_binary64_1844
12×cbrt-undiv_binary64_1817
11×add-sqr-sqrt_binary64_1805 associate-/l*_binary64_1728 add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783 times-frac_binary64_1789
6×unpow-prod-down_binary64_1862 pow-prod-down_binary64_1854
4×add-log-exp_binary64_1822
3×1-exp_binary64_1827 div-inv_binary64_1780 pow-flip_binary64_1857 associate-/r*_binary64_1727 associate-*l*_binary64_1724 frac-2neg_binary64_1794 clear-num_binary64_1782 pow-to-exp_binary64_1852 pow-exp_binary64_1851 rec-exp_binary64_1833
2×sqr-pow_binary64_1755
1×inv-pow_binary64_1868 *-commutative_binary64_1714 associate-*r*_binary64_1723
Counts
4 → 113
Calls

8 calls:

9.0ms
(/.f64 (*.f64 v v) (*.f64 t (*.f64 PI.f64 (sqrt.f64 2))))
9.0ms
(/.f64 (pow.f64 v 4) (*.f64 t (*.f64 PI.f64 (sqrt.f64 2))))
7.0ms
(/.f64 1 (*.f64 t (*.f64 PI.f64 (sqrt.f64 2))))
6.0ms
(*.f64 t (*.f64 PI.f64 (sqrt.f64 2)))
0.0ms
(+.f64 (*.f64 5/2 (/.f64 (*.f64 v v) (*.f64 t (*.f64 PI.f64 (sqrt.f64 2))))) (*.f64 53/8 (/.f64 (pow.f64 v 4) (*.f64 t (*.f64 PI.f64 (sqrt.f64 2))))))

series456.0ms (0.2%)

Counts
4 → 18
Calls

4 calls:

178.0ms
(/.f64 (pow.f64 v 4) (*.f64 t (*.f64 PI.f64 (sqrt.f64 2))))
169.0ms
(/.f64 (*.f64 v v) (*.f64 t (*.f64 PI.f64 (sqrt.f64 2))))
63.0ms
(/.f64 1 (*.f64 t (*.f64 PI.f64 (sqrt.f64 2))))
45.0ms
(*.f64 t (*.f64 PI.f64 (sqrt.f64 2)))
Compiler

Compiled 1224 to 1020 computations (16.7% saved)

simplify127.0ms (0%)

Algorithm
1×egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 0 (95.0ms)

IterNodesCost
049582036
149582036

localize27.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (+.f64 1 (*.f64 (*.f64 v v) 3)))
0.0b
(*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))
0.0b
(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 (*.f64 v v) 3)))) (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 (*.f64 v v) 3)))))
0.0b
(sqrt.f64 (+.f64 2 (*.f64 (*.f64 (pow.f64 v 4) -9) 2)))
0.2b
(*.f64 (*.f64 v v) 5)
0.2b
(*.f64 PI.f64 t)
0.5b
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 (*.f64 (pow.f64 v 4) -9) 2))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
0.6b
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 (*.f64 (pow.f64 v 4) -9) 2))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))

rewrite64.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
34×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
20×pow1_binary64_1844
16×associate-*r/_binary64_1725 cbrt-unprod_binary64_1816 prod-exp_binary64_1832
14×add-sqr-sqrt_binary64_1805
12×associate-*l*_binary64_1724 *-un-lft-identity_binary64_1783 sqrt-div_binary64_1800
11×add-cube-cbrt_binary64_1818
10×pow-prod-down_binary64_1854
8×associate-/r/_binary64_1729 distribute-lft-in_binary64_1732 distribute-rgt-in_binary64_1733 frac-times_binary64_1793
7×flip3--_binary64_1787 flip--_binary64_1758 associate-*r*_binary64_1723
6×flip-+_binary64_1757 flip3-+_binary64_1786
5×sqrt-prod_binary64_1799
4×cancel-sign-sub-inv_binary64_1749 associate-*l/_binary64_1726 cbrt-undiv_binary64_1817 div-exp_binary64_1834 sub-neg_binary64_1776 add-log-exp_binary64_1822
3×associate-/l*_binary64_1728 times-frac_binary64_1789 *-commutative_binary64_1714
2×associate-/l/_binary64_1730 unswap-sqr_binary64_1751
1×div-sub_binary64_1788 distribute-rgt-out_binary64_1736 div-inv_binary64_1780 associate-/r*_binary64_1727 distribute-rgt1-in_binary64_1739 frac-2neg_binary64_1794 clear-num_binary64_1782
Counts
4 → 115
Calls

8 calls:

17.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 (*.f64 (pow.f64 v 4) -9) 2))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
14.0ms
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 (*.f64 (pow.f64 v 4) -9) 2))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
7.0ms
(*.f64 PI.f64 t)
6.0ms
(*.f64 (*.f64 v v) 5)
0.0ms
(sqrt.f64 (+.f64 2 (*.f64 (*.f64 (pow.f64 v 4) -9) 2)))

series627.0ms (0.2%)

Counts
4 → 24
Calls

4 calls:

360.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 (*.f64 (pow.f64 v 4) -9) 2))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
204.0ms
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 (*.f64 (pow.f64 v 4) -9) 2))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
32.0ms
(*.f64 (*.f64 v v) 5)
30.0ms
(*.f64 PI.f64 t)
Compiler

Compiled 1919 to 1533 computations (20.1% saved)

simplify89.0ms (0%)

Algorithm
1×egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
055114012

localize34.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))) (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))))
0.0b
(sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))
0.0b
(sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))
0.0b
(sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))
1.0b
(*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))) (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))))
1.0b
(cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
1.0b
(cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
1.0b
(cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))

rewrite123.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
244×cbrt-prod_binary64_1814
211×add-sqr-sqrt_binary64_1805
186×times-frac_binary64_1789
129×*-un-lft-identity_binary64_1783
103×add-cube-cbrt_binary64_1818
93×sqrt-prod_binary64_1799
36×unswap-sqr_binary64_1751
35×swap-sqr_binary64_1750
27×associate-*l*_binary64_1724 associate-*r*_binary64_1723
14×associate-/r/_binary64_1729 sqrt-div_binary64_1800
11×pow1_binary64_1844
9×div-inv_binary64_1780 pow1/3_binary64_1865
7×flip-+_binary64_1757 cbrt-div_binary64_1815 flip3-+_binary64_1786
6×add-exp-log_binary64_1821
4×add-cbrt-cube_binary64_1819 add-log-exp_binary64_1822
2×pow-prod-up_binary64_1853 pow-sqr_binary64_1756 pow-prod-down_binary64_1854
1×associate-*r/_binary64_1725 cbrt-unprod_binary64_1816 prod-exp_binary64_1832 pow-plus_binary64_1846 associate-*l/_binary64_1726 *-commutative_binary64_1714 frac-times_binary64_1793 pow2_binary64_1864
Counts
4 → 245
Calls

8 calls:

31.0ms
(*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))) (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))))
11.0ms
(cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
7.0ms
(cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
6.0ms
(cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
0.0ms
(sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))

series379.0ms (0.1%)

Counts
4 → 24
Calls

4 calls:

135.0ms
(cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
83.0ms
(*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))) (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))))
83.0ms
(cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
78.0ms
(cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))))
Compiler

Compiled 2416 to 1946 computations (19.5% saved)

simplify181.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
269 → 269
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
0488411274
1488411274

prune1.0min (21.2%)

Pruning

965 alts after pruning (951 fresh and 14 done)

PrunedKeptTotal
New550285835
Fresh60666726
Picked000
Done01414
Total6109651575
Error
0b
Counts
1575 → 965
Compiler

Compiled 28466 to 20055 computations (29.5% saved)

simplify1.9s (0.6%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
06195136834

regimes35.3s (11.9%)

Compiler

Compiled 501003 to 386344 computations (22.9% saved)

bsearch0.0ms (0%)

regimes12.4s (4.2%)

Compiler

Compiled 153384 to 119602 computations (22% saved)

bsearch0.0ms (0%)

regimes5.7s (1.9%)

Compiler

Compiled 78229 to 61862 computations (20.9% saved)

bsearch0.0ms (0%)

regimes5.6s (1.9%)

Compiler

Compiled 78024 to 61702 computations (20.9% saved)

bsearch0.0ms (0%)

regimes5.5s (1.8%)

Compiler

Compiled 70375 to 55808 computations (20.7% saved)

bsearch0.0ms (0%)

regimes4.3s (1.5%)

Compiler

Compiled 58658 to 46604 computations (20.5% saved)

bsearch0.0ms (0%)

regimes1.3s (0.4%)

Compiler

Compiled 16679 to 13755 computations (17.5% saved)

bsearch0.0ms (0%)

regimes634.0ms (0.2%)

Compiler

Compiled 3384 to 3176 computations (6.1% saved)

bsearch0.0ms (0%)

regimes268.0ms (0.1%)

Compiler

Compiled 1834 to 1941 computations (-5.8% saved)

bsearch0.0ms (0%)

regimes84.0ms (0%)

Compiler

Compiled 352 to 427 computations (-21.3% saved)

bsearch0.0ms (0%)

regimes32.0ms (0%)

Compiler

Compiled 55 to 85 computations (-54.5% saved)

bsearch0.0ms (0%)

regimes23.0ms (0%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch43.0ms (0%)

Steps
ItersRangePoint
10
-3.5025895868646655e-307
2.4077529313808427e-297
8.5714315881126e-310
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes16.0ms (0%)

Accuracy

Total 0.1b remaining (99.6%)

Threshold costs 0.1b (99.6%)

Compiler

Compiled 8 to 20 computations (-150% saved)

bsearch15.0ms (0%)

Compiler

Compiled 308 to 256 computations (16.9% saved)

simplify8.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0213480
1213480

end0.0ms (0%)

sample1.3min (26.3%)

Algorithm
1×intervals
Results
514.0ms8000×body128valid
1.0ms13×body128nan
Compiler

Compiled 85772 to 66219 computations (22.8% saved)

Pareto

0.8221615467717656

Profiling

Loading profile data...