Details

Time bar (total: 5.3s)

analyze211.0ms

Algorithm
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%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
18.7%81.1%0.1%7
21.8%78%0.1%8
43.7%56.2%0.1%9
54.6%39.8%5.6%10
58.5%35.5%6%11
67.3%26.5%6.2%12
71.7%19.1%9.2%13
74.1%16.6%9.4%14

sample12.0ms

Algorithm
intervals
Results
5.0ms256×body80valid
0.0ms4×body80invalid

simplify31.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (15.0ms)

IterNodesCost
0857
1857

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b
(-.f64 x (*.f64 y z))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp_binary64_1767
1×add-sqr-sqrt_binary64_1787 add-cbrt-cube_binary64_1774 flip--_binary64_1828 pow1_binary64_1744 add-cube-cbrt_binary64_1773 sub-neg_binary64_1806 add-exp-log_binary64_1766 flip3--_binary64_1801 *-un-lft-identity_binary64_1802 diff-log_binary64_1713
Counts
1 → 11
Calls
1 calls:
4.0ms
(-.f64 x (*.f64 y z))

series202.0ms

Counts
1 → 3
Calls
1 calls:
202.0ms
(-.f64 x (*.f64 y z))
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
049603474
149603474
0149
1149
049603474
149603474
0149
1149
013
113

simplify121.0ms

Counts
14 → 14
Iterations

Useful iterations: 0 (102.0ms)

IterNodesCost
05015148

prune8.0ms

Filtered
11 candidates to 14 candidates (-27.3%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New13114
Fresh000
Picked011
Done000
Total13215

Merged error: 0.0b

Counts
15 → 2

localize8.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt.f64 (-.f64 x (*.f64 y z)))
0.5b
(cbrt.f64 (-.f64 x (*.f64 y z)))
0.5b
(cbrt.f64 (-.f64 x (*.f64 y z)))
0.5b
(*.f64 (cbrt.f64 (-.f64 x (*.f64 y z))) (cbrt.f64 (-.f64 x (*.f64 y z))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
28×cbrt-div_binary64_1770
25×cbrt-prod_binary64_1769
23×add-sqr-sqrt_binary64_1787
15×add-cube-cbrt_binary64_1773 *-un-lft-identity_binary64_1802
14×flip--_binary64_1828 flip3--_binary64_1801
11×pow1_binary64_1744
9×pow1/3_binary64_1736
6×associate-*r*_binary64_1861 associate-*l*_binary64_1862 add-exp-log_binary64_1766 swap-sqr_binary64_1829
4×add-cbrt-cube_binary64_1774 frac-times_binary64_1794 consolidate-mult-two_binary64_1511 unswap-sqr_binary64_1830 add-log-exp_binary64_1767
2×consolidate-mult-outside_binary64_1510 pow-prod-up_binary64_1724 associate-*l/_binary64_1864 pow-sqr_binary64_1835 associate-*r/_binary64_1863 pow-prod-down_binary64_1725
1×prod-exp_binary64_1749 *-commutative_binary64_1870 cbrt-unprod_binary64_1771 pow2_binary64_1735 pow-plus_binary64_1739
Counts
4 → 93
Calls
4 calls:
3.0ms
(cbrt.f64 (-.f64 x (*.f64 y z)))
3.0ms
(cbrt.f64 (-.f64 x (*.f64 y z)))
3.0ms
(cbrt.f64 (-.f64 x (*.f64 y z)))
12.0ms
(*.f64 (cbrt.f64 (-.f64 x (*.f64 y z))) (cbrt.f64 (-.f64 x (*.f64 y z))))

series773.0ms

Counts
4 → 12
Calls
4 calls:
192.0ms
(cbrt.f64 (-.f64 x (*.f64 y z)))
194.0ms
(cbrt.f64 (-.f64 x (*.f64 y z)))
189.0ms
(cbrt.f64 (-.f64 x (*.f64 y z)))
198.0ms
(*.f64 (cbrt.f64 (-.f64 x (*.f64 y z))) (cbrt.f64 (-.f64 x (*.f64 y z))))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
049643609
149643609
0219
1219
049643609
149643609
0219
1219
013
113
049623492
149623492
0169
1169
049623492
149623492
0169
1169
013
113
049623492
149623492
0169
1169
049623492
149623492
0169
1169
013
113
049623492
149623492
0169
1169
049623492
149623492
0169
1169
013
113

simplify108.0ms

Counts
105 → 105
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
056432058

prune71.0ms

Filtered
75 candidates to 105 candidates (-40.0%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1041105
Fresh000
Picked011
Done011
Total1043107

Merged error: 0.0b

Counts
107 → 3

localize30.0ms

Local error

Found 4 expressions with local error:

24.3b
(/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y z) (*.f64 y z)))) (cbrt.f64 (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 y z) 3)))) (*.f64 (cbrt.f64 (+.f64 x (*.f64 y z))) (cbrt.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 y z) (+.f64 x (*.f64 y z)))))))
32.0b
(cbrt.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 y z) (+.f64 x (*.f64 y z)))))
32.0b
(cbrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y z) (*.f64 y z))))
40.3b
(cbrt.f64 (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 y z) 3)))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
94×cbrt-div_binary64_1770
24×flip--_binary64_1828 flip3--_binary64_1801
23×flip3-+_binary64_1800 flip-+_binary64_1827
20×cbrt-prod_binary64_1769
17×add-sqr-sqrt_binary64_1787
16×frac-times_binary64_1794 consolidate-mult-two_binary64_1511 add-exp-log_binary64_1766
14×consolidate-/-/-b_binary64_1506 associate-/l/_binary64_1868 consolidate-/-/-b_binary64_1505 associate-/r/_binary64_1867
9×difference-of-squares_binary64_1831 *-un-lft-identity_binary64_1802
8×consolidate-mult-outside_binary64_1510 add-cbrt-cube_binary64_1774 associate-*l/_binary64_1864 associate-*r/_binary64_1863
7×add-cube-cbrt_binary64_1773
6×sqr-pow_binary64_1834
4×div-exp_binary64_1751 prod-exp_binary64_1749 pow1_binary64_1744 cbrt-undiv_binary64_1772 cbrt-unprod_binary64_1771 add-log-exp_binary64_1767
3×pow1/3_binary64_1736
2×unpow-prod-down_binary64_1733 cube-prod_binary64_1775
1×associate-/r*_binary64_1865 associate-/l*_binary64_1866 difference-cubes_binary64_1799 frac-2neg_binary64_1795 clear-num_binary64_1805 distribute-lft-out--_binary64_1847 div-inv_binary64_1803 times-frac_binary64_1797
Counts
4 → 127
Calls
4 calls:
38.0ms
(/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y z) (*.f64 y z)))) (cbrt.f64 (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 y z) 3)))) (*.f64 (cbrt.f64 (+.f64 x (*.f64 y z))) (cbrt.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 y z) (+.f64 x (*.f64 y z)))))))
6.0ms
(cbrt.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 y z) (+.f64 x (*.f64 y z)))))
6.0ms
(cbrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y z) (*.f64 y z))))
13.0ms
(cbrt.f64 (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 y z) 3)))

series1.3s

Counts
4 → 12
Calls
4 calls:
514.0ms
(/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y z) (*.f64 y z)))) (cbrt.f64 (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 y z) 3)))) (*.f64 (cbrt.f64 (+.f64 x (*.f64 y z))) (cbrt.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 y z) (+.f64 x (*.f64 y z)))))))
217.0ms
(cbrt.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 y z) (+.f64 x (*.f64 y z)))))
309.0ms
(cbrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y z) (*.f64 y z))))
244.0ms
(cbrt.f64 (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 y z) 3)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
049723564
149723564
0269
1269
049723564
149723564
0269
1269
013
113
051253555
0239
1239
051253555
0239
1239
013
113
049423582
149423582
0299
1299
049423582
149423582
0299
1299
013
113
050834110
0669
1669
050834110
0669
1669
013
113

simplify151.0ms

Counts
139 → 139
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
050317292

prune224.0ms

Filtered
103 candidates to 139 candidates (-35.0%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1381139
Fresh000
Picked011
Done022
Total1384142

Merged error: 0b

Counts
142 → 4

localize32.0ms

Local error

Found 4 expressions with local error:

5.4b
(*.f64 y (*.f64 z (+.f64 x (*.f64 y z))))
32.0b
(cbrt.f64 (+.f64 (*.f64 x x) (*.f64 y (*.f64 z (+.f64 x (*.f64 y z))))))
32.0b
(cbrt.f64 (/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 y z) 3)) (-.f64 (*.f64 x x) (*.f64 (*.f64 y z) (*.f64 y z)))) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 x x) (*.f64 y (*.f64 z (+.f64 x (*.f64 y z)))))) (cbrt.f64 (+.f64 x (*.f64 y z)))) 3)))
44.6b
(/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 y z) 3)) (-.f64 (*.f64 x x) (*.f64 (*.f64 y z) (*.f64 y z)))) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 x x) (*.f64 y (*.f64 z (+.f64 x (*.f64 y z)))))) (cbrt.f64 (+.f64 x (*.f64 y z)))) 3))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
69×cbrt-div_binary64_1770
42×cube-div_binary64_1776
38×flip3-+_binary64_1800 flip-+_binary64_1827
29×cbrt-prod_binary64_1769 add-exp-log_binary64_1766
28×associate-/r/_binary64_1867
22×flip--_binary64_1828 flip3--_binary64_1801
20×frac-times_binary64_1794 consolidate-mult-two_binary64_1511
18×consolidate-mult-outside_binary64_1510 associate-*r/_binary64_1863
16×times-frac_binary64_1797
14×add-cbrt-cube_binary64_1774 consolidate-/-/-b_binary64_1506 associate-/l/_binary64_1868 consolidate-/-/-b_binary64_1505
10×add-sqr-sqrt_binary64_1787 associate-*l/_binary64_1864 add-cube-cbrt_binary64_1773 *-un-lft-identity_binary64_1802
9×prod-exp_binary64_1749 pow1_binary64_1744
8×associate-/r*_binary64_1865 div-exp_binary64_1751
4×cbrt-unprod_binary64_1771 distribute-lft-in_binary64_1844 pow-exp_binary64_1722 add-log-exp_binary64_1767 distribute-rgt-in_binary64_1845
3×cube-mult_binary64_1777 unpow-prod-down_binary64_1733 unpow3_binary64_1742 sqr-pow_binary64_1834 cube-prod_binary64_1775 associate-*l*_binary64_1862 pow-prod-down_binary64_1725
2×cbrt-undiv_binary64_1772 pow1/3_binary64_1736 div-inv_binary64_1803 pow-to-exp_binary64_1723
1×associate-/l*_binary64_1866 associate-*r*_binary64_1861 *-commutative_binary64_1870 frac-2neg_binary64_1795 clear-num_binary64_1805
Counts
4 → 171
Calls
4 calls:
10.0ms
(*.f64 y (*.f64 z (+.f64 x (*.f64 y z))))
5.0ms
(cbrt.f64 (+.f64 (*.f64 x x) (*.f64 y (*.f64 z (+.f64 x (*.f64 y z))))))
25.0ms
(cbrt.f64 (/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 y z) 3)) (-.f64 (*.f64 x x) (*.f64 (*.f64 y z) (*.f64 y z)))) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 x x) (*.f64 y (*.f64 z (+.f64 x (*.f64 y z)))))) (cbrt.f64 (+.f64 x (*.f64 y z)))) 3)))
32.0ms
(/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 y z) 3)) (-.f64 (*.f64 x x) (*.f64 (*.f64 y z) (*.f64 y z)))) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 x x) (*.f64 y (*.f64 z (+.f64 x (*.f64 y z)))))) (cbrt.f64 (+.f64 x (*.f64 y z)))) 3))

series1.1s

Counts
4 → 12
Calls
4 calls:
241.0ms
(*.f64 y (*.f64 z (+.f64 x (*.f64 y z))))
291.0ms
(cbrt.f64 (+.f64 (*.f64 x x) (*.f64 y (*.f64 z (+.f64 x (*.f64 y z))))))
275.0ms
(cbrt.f64 (/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 y z) 3)) (-.f64 (*.f64 x x) (*.f64 (*.f64 y z) (*.f64 y z)))) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 x x) (*.f64 y (*.f64 z (+.f64 x (*.f64 y z)))))) (cbrt.f64 (+.f64 x (*.f64 y z)))) 3)))
267.0ms
(/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 y z) 3)) (-.f64 (*.f64 x x) (*.f64 (*.f64 y z) (*.f64 y z)))) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 x x) (*.f64 y (*.f64 z (+.f64 x (*.f64 y z)))))) (cbrt.f64 (+.f64 x (*.f64 y z)))) 3))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
050004152
0909
1909
050004152
0909
1909
013
113
050034170
0939
1939
050034170
0939
1939
013
113
051193624
0319
1319
051193624
0319
1319
013
113
050143534
0189
1189
050143534
0189
1189
013
113

simplify129.0ms

Counts
183 → 183
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
0511411783

prune271.0ms

Filtered
120 candidates to 183 candidates (-52.5%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1830183
Fresh000
Picked011
Done033
Total1834187

Merged error: 0b

Counts
187 → 4

regimes70.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify9.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0337
1337

end0.0ms

sample318.0ms

Algorithm
intervals
Results
152.0ms8000×body80valid
9.0ms277×body80invalid

Profiling

Loading profile data...