Details

Time bar (total: 6.6s)

analyze10.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 20 to 16 computations (20% saved)

sample42.0ms (0.6%)

Algorithm
1×intervals
Results
31.0ms256×body128valid
Compiler

Compiled 39 to 32 computations (17.9% saved)

simplify437.0ms (6.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (131.0ms)

IterNodesCost
0491029
1491029

prune5.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1
Compiler

Compiled 38 to 30 computations (21.1% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite79.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
39×add-sqr-sqrt_binary64_1805
25×associate-*l*_binary64_1724
22×times-frac_binary64_1789
21×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
20×sqrt-prod_binary64_1799
14×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
12×pow1_binary64_1844
7×unswap-sqr_binary64_1751 associate-*r*_binary64_1723
6×sqrt-div_binary64_1800 add-log-exp_binary64_1822
5×cbrt-unprod_binary64_1816 prod-exp_binary64_1832
4×flip3--_binary64_1787 pow-prod-down_binary64_1854 flip--_binary64_1758
2×associate-*r/_binary64_1725 *-commutative_binary64_1714 frac-times_binary64_1793
1×div-inv_binary64_1780 cancel-sign-sub-inv_binary64_1749 pow1/2_binary64_1863 associate-*l/_binary64_1726 diff-log_binary64_1875 cbrt-undiv_binary64_1817 div-exp_binary64_1834 sqrt-pow1_binary64_1801 rem-sqrt-square_binary64_1796 sub-neg_binary64_1776
Counts
4 → 98
Calls

4 calls:

32.0ms
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
13.0ms
(*.f64 3 (*.f64 v v))
7.0ms
(-.f64 1 (*.f64 3 (*.f64 v v)))
7.0ms
(sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))

series500.0ms (7.6%)

Counts
4 → 12
Calls

4 calls:

203.0ms
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
130.0ms
(-.f64 1 (*.f64 3 (*.f64 v v)))
103.0ms
(sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))
64.0ms
(*.f64 3 (*.f64 v v))

simplify133.0ms (2%)

Algorithm
1×egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 0 (91.0ms)

IterNodesCost
049252127
149252127

prune294.0ms (4.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1082110
Fresh000
Picked101
Done000
Total1092111

Merged error: 0b

Counts
111 → 2
Compiler

Compiled 2926 to 2174 computations (25.7% saved)

localize31.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite84.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Rules
37×add-sqr-sqrt_binary64_1805
27×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
25×associate-*l*_binary64_1724
20×times-frac_binary64_1789
19×sqrt-prod_binary64_1799
14×add-cbrt-cube_binary64_1819 log-pow_binary64_1872 add-exp-log_binary64_1821 pow1_binary64_1844
12×exp-prod_binary64_1835
11×associate-*r*_binary64_1723
9×log-prod_binary64_1869
5×cbrt-unprod_binary64_1816 prod-exp_binary64_1832
4×pow-prod-down_binary64_1854 unswap-sqr_binary64_1751 add-log-exp_binary64_1822
3×distribute-lft-in_binary64_1732 distribute-rgt-in_binary64_1733
2×sqrt-div_binary64_1800 *-commutative_binary64_1714
1×flip3--_binary64_1787 div-inv_binary64_1780 pow1/2_binary64_1863 associate-*l/_binary64_1726 cbrt-undiv_binary64_1817 div-exp_binary64_1834 sqrt-pow1_binary64_1801 rem-sqrt-square_binary64_1796 flip--_binary64_1758 rem-log-exp_binary64_1824
Counts
4 → 107
Calls

4 calls:

32.0ms
(*.f64 (/.f64 (sqrt.f64 2) 4) (log.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
13.0ms
(*.f64 3 (*.f64 v v))
10.0ms
(log.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
6.0ms
(sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))

series833.0ms (12.6%)

Counts
4 → 12
Calls

4 calls:

424.0ms
(*.f64 (/.f64 (sqrt.f64 2) 4) (log.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
251.0ms
(log.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
91.0ms
(sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))
67.0ms
(*.f64 3 (*.f64 v v))

simplify107.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
119 → 119
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049132296
149132296

prune283.0ms (4.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1190119
Fresh011
Picked011
Done000
Total1192121

Merged error: 0b

Counts
121 → 2
Compiler

Compiled 3259 to 2430 computations (25.4% saved)

localize21.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite95.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Rules
60×cbrt-div_binary64_1815
49×frac-times_binary64_1793
48×sqrt-div_binary64_1800
29×associate-*r/_binary64_1725
26×pow1_binary64_1844
24×flip3--_binary64_1787 flip--_binary64_1758
21×add-exp-log_binary64_1821
19×add-cbrt-cube_binary64_1819
17×associate-*l/_binary64_1726
16×add-sqr-sqrt_binary64_1805
13×associate-*l*_binary64_1724
11×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783 pow-prod-down_binary64_1854
10×cbrt-unprod_binary64_1816 prod-exp_binary64_1832
7×associate-*r*_binary64_1723
6×pow1/3_binary64_1865
4×swap-sqr_binary64_1750 cbrt-prod_binary64_1814 *-commutative_binary64_1714 unswap-sqr_binary64_1751 add-log-exp_binary64_1822
2×pow-prod-up_binary64_1853 pow-sqr_binary64_1756
1×pow-plus_binary64_1846 pow2_binary64_1864
Counts
4 → 123
Calls

4 calls:

13.0ms
(*.f64 3 (*.f64 v v))
12.0ms
(*.f64 3 (*.f64 v v))
12.0ms
(*.f64 3 (*.f64 v v))
11.0ms
(*.f64 (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))

series738.0ms (11.2%)

Counts
4 → 12
Calls

4 calls:

530.0ms
(*.f64 (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))))
74.0ms
(*.f64 3 (*.f64 v v))
68.0ms
(*.f64 3 (*.f64 v v))
66.0ms
(*.f64 3 (*.f64 v v))

simplify142.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
050223826

prune832.0ms (12.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1350135
Fresh000
Picked011
Done011
Total1352137

Merged error: 0b

Counts
137 → 2
Compiler

Compiled 7501 to 5821 computations (22.4% saved)

regimes174.0ms (2.6%)

Compiler

Compiled 1180 to 972 computations (17.6% saved)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05633
15633

end0.0ms (0%)

sample1.7s (26.2%)

Algorithm
1×intervals
Results
794.0ms8000×body128valid
0.0ms5×body128nan
Compiler

Compiled 419 to 346 computations (17.4% saved)

Profiling

Loading profile data...