Date:Tuesday, August 18th, 2020
Commit:fbcf5934 on scaleup-plugins
Hostname:warfa with Racket 7.5
Seed:2020231
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune2.7min (40.7%)

Filtered
23577 candidates to 18780 candidates (20.3%)

sample1.4min (20.5%)

Algorithm
57×intervals
Results
16.6s27242×body1280valid
12.5s142217×body80valid
8.4s18781×body640valid
6.3s7512×body2560valid
3.6s761×body5120invalid
3.5s38661×body80nan
3.3s1309×body2560invalid
3.0s9058×body320valid
2.5s3717×body1280nan
2.2s3627×body1280invalid
2.1s2603×body5120valid
1.8s8523×body160valid
1.7s18278×body80invalid
1.5s3163×body640nan
1.1s3062×body640invalid
571.0ms1670×body320nan
469.0ms1715×body320invalid
427.0ms655×body5120exit
173.0ms879×body160invalid
139.0ms8256×pre80true
97.0ms468×body160nan
10.0ms72×body80overflowed

series53.2s (13.2%)

Calls

405 calls:

2.4s
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (-.f64 (*.f64 l -2) (*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U U*)))))))
2.4s
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (-.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U U*))))))))
2.1s
(sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (-.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U U*)))))))) (cbrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (-.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U U*))))))))) (cbrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (-.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U U*))))))))))
1.1s
(cbrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (-.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U U*))))))))
1.1s
(cbrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (-.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U U*))))))))

simplify38.0s (9.4%)

Algorithm
165×egg-herbie

analyze34.5s (8.5%)

Algorithm
31×search
Search
TrueOtherFalseIter
0%98.2%1.8%0
3.2%95%1.8%1
5.6%91%3.4%2
8%84.5%7.4%3
9.8%80.7%9.5%4
13.5%76.9%9.7%5
16%72.8%11.2%6
18.1%68.2%13.7%7
21.2%62.6%16.2%8
24.7%57%18.2%9
26.4%53.6%20%10
28.9%49.8%21.3%11
30.2%47.2%22.5%12
31.9%42.5%25.7%13
32.9%40.8%26.3%14

regimes17.6s (4.4%)

Accuracy

Total 30.0b remaining (17%)

Threshold costs 4.0b (2.3%)

6.2b26.8%Toniolo and Linder, Equation (13)
5.5b76.7%Toniolo and Linder, Equation (7)
4.2b44.3%Toniolo and Linder, Equation (10-)
3.7b54.6%Toniolo and Linder, Equation (10+)
3.0b0%Henrywood and Agarwal, Equation (13)

rewrite9.4s (2.3%)

Algorithm
108×rewrite-expression-head
Calls

405 calls:

521.0ms
(/.f64 (+.f64 (*.f64 (-.f64 (pow.f64 b 8) (*.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 b (*.f64 b (*.f64 a a))) 2)) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 b (*.f64 b (*.f64 a a))) 2)))) (*.f64 (+.f64 a 1) (-.f64 3 a))) (*.f64 (-.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 b (*.f64 b (*.f64 a a))) 2))) (*.f64 4 (+.f64 (*.f64 a (*.f64 (+.f64 a (neg.f64 (pow.f64 a 3))) (-.f64 3 a))) (*.f64 (*.f64 (*.f64 b b) (-.f64 9 (*.f64 a a))) (+.f64 a 1)))))) (*.f64 (-.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 b (*.f64 b (*.f64 a a))) 2))) (*.f64 (+.f64 a 1) (-.f64 3 a))))
164.0ms
(-.f64 (/.f64 1/2 (sqrt.f64 (+.f64 1 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x))))))) (/.f64 (/.f64 1/2 (hypot.f64 1 x)) (sqrt.f64 (+.f64 1 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x))))))))
154.0ms
(+.f64 (*.f64 (-.f64 (pow.f64 b 8) (*.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 b (*.f64 b (*.f64 a a))) 2)) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 b (*.f64 b (*.f64 a a))) 2)))) (*.f64 (+.f64 a 1) (-.f64 3 a))) (*.f64 (-.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 b (*.f64 b (*.f64 a a))) 2))) (*.f64 4 (+.f64 (*.f64 a (*.f64 (+.f64 a (neg.f64 (pow.f64 a 3))) (-.f64 3 a))) (*.f64 (*.f64 (*.f64 b b) (-.f64 9 (*.f64 a a))) (+.f64 a 1))))))
97.0ms
(-.f64 (/.f64 1/2 (+.f64 1 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x)))))) (/.f64 (/.f64 1/2 (hypot.f64 1 x)) (+.f64 1 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x)))))))
65.0ms
(+.f64 (/.f64 1 (/.f64 (*.f64 D D) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 w h)))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))
Rules
42037×associate-*r/_binary64_635
28260×frac-times_binary64_566
20404×frac-add_binary64_564
18203×flip3--_binary64_573 flip--_binary64_600
11351×flip-+_binary64_599 flip3-+_binary64_572
8501×associate-*l/_binary64_636
5206×associate-/l/_binary64_640
2883×add-sqr-sqrt_binary64
2777×*-un-lft-identity_binary64
2576×add-exp-log_binary64
2512×times-frac_binary64
1874×add-cube-cbrt_binary64
1533×add-cbrt-cube_binary64
1334×sqrt-prod_binary64
1131×prod-exp_binary64
905×*-un-lft-identity_binary64_574
894×add-sqr-sqrt_binary64_559
892×add-exp-log_binary64_538
828×times-frac_binary64_569
767×pow1_binary64
754×add-cbrt-cube_binary64_546
587×div-exp_binary64
559×cbrt-unprod_binary64
557×associate-*r*_binary64
505×add-exp-log_binary64_1822
504×add-cube-cbrt_binary64_545
498×add-cbrt-cube_binary64_1830
462×prod-exp_binary64_525
440×unpow-prod-down_binary64
405×sqrt-prod_binary64_553
401×associate-*l*_binary64
392×cbrt-unprod_binary64_543
368×difference-of-squares_binary64
327×distribute-lft-out--_binary64
326×associate-*r/_binary64
323×add-log-exp_binary64
311×cbrt-undiv_binary64
305×pow1_binary64_520
293×associate-/l*_binary64
291×associate-/r*_binary64
268×cbrt-prod_binary64
249×prod-exp_binary64_1809
248×cbrt-unprod_binary64_1827
234×pow-prod-down_binary64 distribute-lft-out_binary64_618
223×sqrt-div_binary64
200×unswap-sqr_binary64
181×pow-exp_binary64
178×div-inv_binary64
169×associate-*r*_binary64_633
167×add-sqr-sqrt_binary64_1843
164×pow-unpow_binary64
157×div-exp_binary64_527
155×flip3--_binary64 flip--_binary64
150×frac-times_binary64
142×pow-prod-down_binary64_501
135×distribute-lft-out_binary64
133×sqr-pow_binary64
132×associate-*l*_binary64_634
131×*-un-lft-identity_binary64_1858
126×flip3-+_binary64 flip-+_binary64
125×cbrt-undiv_binary64_544
121×pow-to-exp_binary64
120×associate-/r/_binary64
117×sqrt-prod_binary64_1837
116×add-cube-cbrt_binary64_1829
107×pow1_binary64_1804
106×cbrt-undiv_binary64_1828 add-log-exp_binary64_539 div-exp_binary64_1811
103×associate-*l/_binary64
102×associate-/r/_binary64_639
98×unpow-prod-down_binary64_509
91×*-commutative_binary64
89×log-prod_binary64
83×cbrt-div_binary64
82×tan-quot_binary64_449
76×unpow2_binary64
74×associate-/l*_binary64_638
73×times-frac_binary64_1853
71×*-un-lft-identity_binary64_1216
69×clear-num_binary64 frac-2neg_binary64
67×associate-/r*_binary64_637
66×sqrt-pow1_binary64
65×add-sqr-sqrt_binary64_1201
62×add-log-exp_binary64_1823
60×exp-prod_binary64
55×difference-of-squares_binary64_603
54×unswap-sqr_binary64_602
48×associate-/l/_binary64
46×sqrt-div_binary64_1838 div-inv_binary64_575
45×pow1/2_binary64
43×sqr-pow_binary64_606 pow1/3_binary64 distribute-lft-out--_binary64_619
42×rem-sqrt-square_binary64
40×sub-neg_binary64 sqrt-pow1_binary64_1839 pow-unpow_binary64_507
39×add-cube-cbrt_binary64_1187 associate-*r*_binary64_1917
34×rec-exp_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64 pow-exp_binary64_498
33×add-log-exp_binary64_1181
32×frac-add_binary64 pow-pow_binary64
30×add-exp-log_binary64_1180 sqrt-div_binary64_554 distribute-lft-in_binary64_616 distribute-rgt-in_binary64_617
29×pow-prod-down_binary64_1785
28×flip-+_binary64_1883 *-commutative_binary64_642 flip3-+_binary64_1856 cube-prod_binary64 add-cbrt-cube_binary64_1188
26×pow1_binary64_1162 associate-*l*_binary64_1918
24×cbrt-prod_binary64_1183 pow-to-exp_binary64_499
23×pow1/2_binary64_1794
22×associate-/r*_binary64_1921 div-sub_binary64 pow-prod-up_binary64
20×tan-quot_binary64
17×unswap-sqr_binary64_1886
16×log-prod_binary64_1776 sum-log_binary64 cube-prod_binary64_547 sum-log_binary64_489
15×sqrt-prod_binary64_1195 swap-sqr_binary64_1885 sub-neg_binary64_578
14×swap-sqr_binary64 clear-num_binary64_577 associate-*r*_binary64_1275 frac-2neg_binary64_567
13×sum-log_binary64_1773 div-inv_binary64_1859
12×cbrt-prod_binary64_541 frac-sub_binary64 times-frac_binary64_1211 unpow-prod-down_binary64_1793 pow-plus_binary64 unpow-prod-down_binary64_1151 associate-/l*_binary64_1922 cbrt-div_binary64_1184
11×rem-log-exp_binary64 pow-flip_binary64 +-commutative_binary64_1925 +-commutative_binary64
10×associate-+r+_binary64 pow-sqr_binary64 distribute-lft-out_binary64_1260
9×pow-pow_binary64_502 inv-pow_binary64 pow1/2_binary64_510 pow-prod-up_binary64_1784 sqrt-pow1_binary64_555
8×clear-num_binary64_1861 sinh-def_binary64 exp-sum_binary64 associate-+r+_binary64_625 frac-2neg_binary64_1851 flip3-+_binary64_1214 exp-sum_binary64_1817 flip-+_binary64_1241 difference-of-squares_binary64_1245
7×rem-sqrt-square_binary64_562 associate-+l+_binary64_626 +-commutative_binary64_641 rec-exp_binary64_526 distribute-lft-out--_binary64_1261 associate-/r/_binary64_1923 distribute-lft-out_binary64_1902 unpow2_binary64_517 pow2_binary64
6×diff-log_binary64 pow-unpow_binary64_1791 distribute-rgt-out--_binary64_621 cbrt-prod_binary64_1825 associate-*l*_binary64_1276 *-commutative_binary64_1926 pow-unpow_binary64_1149 log-pow_binary64 sub-neg_binary64_1220 pow-flip_binary64_504 pow1/3_binary64_1154
5×diff-log_binary64_490 associate-*r/_binary64_1919 pow-sqr_binary64_1891 rem-sqrt-square_binary64_1846 unpow3_binary64_518 un-div-inv_binary64 cube-mult_binary64_549 diff-log_binary64_1132
4×pow-plus_binary64_515 acos-asin_binary64 cbrt-div_binary64_1826 frac-times_binary64_1850 difference-of-sqr-1_binary64 unpow3_binary64 sqr-pow_binary64_1890 cube-mult_binary64 cube-div_binary64_548 pow-prod-up_binary64_500 exp-prod_binary64_1812 frac-add_binary64_1848 log-div_binary64 unpow2_binary64_1801 div-sub_binary64_568
3×flip3--_binary64_1215 sum-log_binary64_1131 unswap-sqr_binary64_1244 associate-*r/_binary64_1277 pow-to-exp_binary64_1783 pow-flip_binary64_1788 associate-*l/_binary64_1920 rem-exp-log_binary64 prod-exp_binary64_1167 cbrt-unprod_binary64_1185 pow-exp_binary64_1782 cos-sum_binary64_1066 associate-/l*_binary64_1280 div-inv_binary64_1217 cos-diff_binary64_1069 flip--_binary64_1242 pow-sub_binary64_506 rem-log-exp_binary64_1821
2×pow1/3_binary64_1796 div-exp_binary64_1169 inv-pow_binary64_496 pow-prod-down_binary64_1143 unpow2_binary64_1159 log-pow_binary64_1779 pow-to-exp_binary64_1141 sub-div_binary64_563 pow2_binary64_511 pow-sqr_binary64_607 exp-diff_binary64 pow-exp_binary64_1140 cbrt-div_binary64_542 frac-sub_binary64_565 sqrt-div_binary64_1196 cbrt-undiv_binary64_1186 pow-pow_binary64_1144 associate--r+_binary64_629 sinh-undef_binary64 *-commutative_binary64_1284 pow-sub_binary64 asin-acos_binary64 associate--r+_binary64_1271 flip--_binary64_1884 sqr-pow_binary64_1248 rec-exp_binary64_1810 flip3--_binary64_1857 associate--l+_binary64 pow-pow_binary64_1786
1×inv-pow_binary64_1780 sqrt-unprod_binary64 pow1/3_binary64_512 sqrt-undiv_binary64 rem-exp-log_binary64_1820 pow1/2_binary64_1152 pow3_binary64 clear-num_binary64_1219 +-commutative_binary64_1283 sqrt-unprod_binary64_1841 distribute-rgt-in_binary64_1259 associate-+l+_binary64 mul0-rgt_binary64_1879 pow2_binary64_1795 rem-square-sqrt_binary64_1845 associate-/r*_binary64_1279 frac-2neg_binary64_1209 distribute-lft-in_binary64_1258 rem-sqrt-square_binary64_1204 rem-cube-cbrt_binary64_550 rem-square-sqrt_binary64 associate-+r+_binary64_1909 sqrt-pow1_binary64_1197 un-div-inv_binary64_1860 pow-plus_binary64_1799 rem-cbrt-cube_binary64_551

localize3.1s (0.8%)

bsearch775.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...