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

prune45.1s (31.3%)

Filtered
13576 candidates to 8597 candidates (36.7%)

sample33.8s (23.4%)

Algorithm
69×intervals
Results
10.7s216936×body80valid
4.6s10147×body1280valid
2.6s16027×body160valid
2.2s1695×body2560valid
1.8s6669×body640valid
1.8s91273×pre80true
1.8s13437×body80invalid
921.0ms5472×body320valid
854.0ms200×body5120exit
134.0ms274×body640invalid
105.0ms138×body1280invalid
63.0ms202×body320invalid
40.0ms14×body5120valid
34.0ms18×body2560invalid
21.0ms112×body160invalid
16.0ms358×body80nan
14.0ms180×body80overflowed
4.0ms100×pre80false

analyze21.0s (14.6%)

Algorithm
36×search
2×random
Search
TrueOtherFalseIter
0%60.5%39.5%0
1.4%59.2%39.5%1
5.6%55%39.5%2
11.1%47.4%41.5%3
13.9%43.5%42.6%4
19%38.1%42.8%5
20.7%35.1%44.2%6
24%30.1%45.9%7
26.5%26.9%46.6%8
29.4%22.8%47.8%9
31.8%19.6%48.6%10
33.4%17.3%49.2%11
35.7%14.6%49.7%12
40.6%9%50.4%13
41.2%8.2%50.6%14

simplify16.0s (11.1%)

Algorithm
163×egg-herbie

series13.7s (9.5%)

Calls

265 calls:

305.0ms
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
289.0ms
(/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n))
234.0ms
(+.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x1 x1) -6)) (cbrt.f64 (*.f64 (*.f64 x1 x1) -6))) (cbrt.f64 (*.f64 (*.f64 x1 x1) -6))) (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4))))
226.0ms
(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))
223.0ms
(log.f64 (sqrt.f64 (+.f64 1 x)))

regimes8.5s (5.9%)

Accuracy

Total 22.7b remaining (17.7%)

Threshold costs 3.3b (2.6%)

6.2b65.6%Compound Interest
4.1b78.8%Kahan p9 Example
2.9b0%Rosa's TurbineBenchmark
2.2b23.6%Complex division, real part
2.2b30%Complex division, imag part

rewrite4.0s (2.8%)

Algorithm
97×rewrite-expression-head
Calls

265 calls:

139.0ms
(*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (/.f64 r (-.f64 1 v)) (/.f64 (/.f64 1 (*.f64 r w)) w)))
93.0ms
(/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))) (/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (cbrt.f64 (+.f64 u t1)))))
50.0ms
(*.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (/.f64 (/.f64 PI.f64 2) (-.f64 b a)))
50.0ms
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
49.0ms
(*.f64 (/.f64 (/.f64 PI.f64 2) (-.f64 b a)) (-.f64 (/.f64 1 a) (/.f64 1 b)))
Rules
16127×times-frac_binary64
9455×add-sqr-sqrt_binary64
8504×*-un-lft-identity_binary64
5348×add-cube-cbrt_binary64
2244×cbrt-div_binary64
1892×associate-/r/_binary64
1836×difference-of-squares_binary64
1291×cbrt-prod_binary64
1285×flip3-+_binary64 flip-+_binary64
1106×associate-*r*_binary64
950×add-exp-log_binary64
926×distribute-lft-out--_binary64
814×add-cbrt-cube_binary64
811×frac-times_binary64
772×div-inv_binary64
740×times-frac_binary64_2495
639×add-sqr-sqrt_binary64_2485
555×associate-/r*_binary64
548×*-un-lft-identity_binary64_574
535×distribute-lft-out_binary64
525×*-un-lft-identity_binary64_2500
450×associate-*r/_binary64
442×add-sqr-sqrt_binary64_559
417×associate-*l/_binary64
353×add-cube-cbrt_binary64_2471
332×pow1_binary64
326×associate-*l*_binary64
305×div-exp_binary64
296×add-log-exp_binary64_539
273×times-frac_binary64_569
263×associate-/l*_binary64
262×cbrt-undiv_binary64
257×associate-*r*_binary64_2559
255×sqrt-prod_binary64
252×add-log-exp_binary64
234×prod-exp_binary64
230×add-cube-cbrt_binary64_545
200×cbrt-unprod_binary64
176×distribute-lft-out_binary64_618
171×difference-of-squares_binary64_603
170×flip3--_binary64 flip--_binary64
168×difference-of-squares_binary64_2529
153×cbrt-prod_binary64_541
143×pow1_binary64_520
133×add-exp-log_binary64_538
130×add-cbrt-cube_binary64_546
129×unpow-prod-down_binary64_509
123×sum-log_binary64_489
109×unpow-prod-down_binary64
101×frac-sub_binary64
92×pow1_binary64_1804 unpow-prod-down_binary64_2435
91×add-sqr-sqrt_binary64_1843 add-exp-log_binary64_2464
90×add-cbrt-cube_binary64_2472
87×sqr-pow_binary64_606
85×sqr-pow_binary64_2532
84×difference-of-sqr-1_binary64_2530
78×*-un-lft-identity_binary64_1858
76×pow-prod-down_binary64
74×exp-neg_binary64
70×unswap-sqr_binary64
66×flip-+_binary64_599 flip3-+_binary64_572
65×pow1_binary64_2446
63×cube-prod_binary64_547
58×associate-/l/_binary64
56×neg-sub0_binary64 exp-diff_binary64
55×sqr-pow_binary64
53×add-cube-cbrt_binary64_1829
49×sqrt-div_binary64
45×associate-/r*_binary64_637
44×clear-num_binary64 frac-2neg_binary64
42×rec-exp_binary64
41×add-log-exp_binary64_2465
40×associate-/l*_binary64_638 div-inv_binary64_2501
39×distribute-lft-out--_binary64_619 sqrt-prod_binary64_553
38×sub-neg_binary64 add-exp-log_binary64_1822 sqrt-pow1_binary64_1839 *-commutative_binary64
36×add-cbrt-cube_binary64_1830
34×flip3-+_binary64_2498 flip-+_binary64_2525
33×swap-sqr_binary64 pow-prod-down_binary64_501
32×associate-*l*_binary64_2560 associate-*r*_binary64_1917 associate-/r*_binary64_2563
30×pow-prod-down_binary64_1785
29×associate-*r/_binary64_2561
28×distribute-lft-out--_binary64_2545 associate-*l*_binary64_1918
27×sum-log_binary64
26×diff-log_binary64 associate-*r/_binary64_1919
25×prod-exp_binary64_525 cbrt-unprod_binary64_543
24×+-commutative_binary64_641 cbrt-div_binary64_542 un-div-inv_binary64
23×prod-exp_binary64_2451 cbrt-unprod_binary64_2469 cube-mult_binary64_549
22×diff-log_binary64_490 unpow3_binary64_518
21×log-prod_binary64_1776 times-frac_binary64_1853 associate-/r/_binary64_639 add-log-exp_binary64_1823
20×associate-/l*_binary64_2564 add-sqr-sqrt_binary64_1201
19×flip3--_binary64_573 flip--_binary64_600
18×log-prod_binary64 pow-prod-down_binary64_2427
17×pow1/3_binary64 associate-*r*_binary64_633 +-commutative_binary64
16×sqrt-div_binary64_1838 sqrt-div_binary64_554 sqrt-prod_binary64_1837 sub-neg_binary64_578
15×distribute-rgt-out--_binary64_621 div-exp_binary64_2453 unswap-sqr_binary64_2528 cbrt-undiv_binary64_2470 distribute-rgt-in_binary64 distribute-lft-out_binary64_2544 distribute-lft-in_binary64
14×associate-/l/_binary64_640 associate-/l/_binary64_2566 pow1/2_binary64_1794
13×*-un-lft-identity_binary64_1216 log-pow_binary64_1779 pow1/2_binary64 sqrt-pow1_binary64
12×frac-add_binary64 div-inv_binary64_575 exp-prod_binary64 flip-+_binary64_1883 div-sub_binary64 rem-sqrt-square_binary64 frac-times_binary64_2492 *-commutative_binary64_2568 flip3-+_binary64_1856 div-exp_binary64_527 frac-add_binary64_564
11×pow1/3_binary64_512 distribute-rgt-in_binary64_2543 associate-+r+_binary64_625 distribute-lft-in_binary64_2542 pow-flip_binary64 cube-prod_binary64 cbrt-undiv_binary64_544
10×associate-*l*_binary64_634 cube-div_binary64_548 difference-of-squares_binary64_1887 pow-prod-up_binary64_1784 pow-prod-up_binary64
9×cbrt-unprod_binary64_1827 prod-exp_binary64_1809 *-commutative_binary64_1926 add-exp-log_binary64_1180 unswap-sqr_binary64_1886 pow-plus_binary64 inv-pow_binary64 add-cbrt-cube_binary64_1188
8×add-log-exp_binary64_1181 associate-+r+_binary64 clear-num_binary64_577 associate--r+_binary64_629 frac-2neg_binary64_567
7×rem-sqrt-square_binary64_562 associate-+l+_binary64_626 associate-+r+_binary64_2551 distribute-rgt-in_binary64_1901 log-pow_binary64 add-cube-cbrt_binary64_1187 distribute-lft-in_binary64_1900 pow1/2_binary64_510 associate-/l*_binary64_1922 sqrt-pow1_binary64_555
6×times-frac_binary64_1211 sqrt-prod_binary64_1195 *-commutative_binary64_642 associate-/r/_binary64_2565 pow-sqr_binary64_1891 associate-*l/_binary64_2562 swap-sqr_binary64_2527 exp-sum_binary64_1817 pow-sqr_binary64 log-div_binary64 distribute-lft-out_binary64_1902 associate-/l*_binary64_1280 difference-of-squares_binary64_1245
5×sum-log_binary64_2415 pow1_binary64_1162 associate-+l+_binary64 difference-of-sqr-1_binary64_1888 distribute-lft-out--_binary64_1903 pow2_binary64
4×flip3--_binary64_1215 +-commutative_binary64_2567 frac-times_binary64_1850 frac-add_binary64_2490 pow-sqr_binary64_607 swap-sqr_binary64_1885 rem-exp-log_binary64 cube-prod_binary64_2473 pow-prod-up_binary64_500 clear-num_binary64_2503 frac-2neg_binary64_2493 flip--_binary64_1242 rem-cbrt-cube_binary64_551
3×cbrt-prod_binary64_2467 pow-to-exp_binary64 associate--l-_binary64 diff-log_binary64_2416 pow-unpow_binary64_2433 associate-/r*_binary64_1921 rem-log-exp_binary64 unswap-sqr_binary64_602 sub-neg_binary64_2504 pow-exp_binary64 distribute-lft-neg-in_binary64 flip3--_binary64_2499 neg-mul-1_binary64 unpow3_binary64 cube-mult_binary64 distribute-lft-out--_binary64_1261 exp-prod_binary64_1812 distribute-rgt-neg-in_binary64 exp-to-pow_binary64_1798 pow1/3_binary64_2438 flip--_binary64_2526 cbrt-div_binary64_2468 distribute-rgt-neg-in_binary64_609 rem-log-exp_binary64_1821
2×pow-plus_binary64_515 div-exp_binary64_1169 associate-/l/_binary64_1924 associate-+l+_binary64_2552 rec-exp_binary64_526 cube-div_binary64 associate-*l/_binary64_1920 sub-neg_binary64_1220 sqrt-div_binary64_1196 cbrt-undiv_binary64_1186 neg-log_binary64 flip--_binary64_1884 associate-/l/_binary64_1282 div-sub_binary64_568 flip3--_binary64_1857 associate--l+_binary64 diff-log_binary64_1132
1×div-sub_binary64_1852 swap-sqr_binary64_601 cbrt-undiv_binary64_1828 associate-+l-_binary64 clear-num_binary64_1861 neg-sub0_binary64_580 inv-pow_binary64_496 pow-plus_binary64_2441 distribute-rgt-neg-out_binary64 pow-pow_binary64_2428 pow1/2_binary64_1152 associate--l-_binary64_631 pow3_binary64 rem-cbrt-cube_binary64 frac-2neg_binary64_1851 clear-num_binary64_1219 distribute-rgt-out_binary64_2546 div-sub_binary64_1210 neg-log_binary64_491 sqrt-unprod_binary64_1841 pow-to-exp_binary64_2425 div-inv_binary64_1859 pow2_binary64_511 sum-cubes_binary64_2496 pow2_binary64_2437 div-sub_binary64_2494 prod-exp_binary64_1167 pow2_binary64_1795 div-exp_binary64_1811 pow-prod-up_binary64_2426 diff-log_binary64_1774 rem-square-sqrt_binary64_1845 cbrt-unprod_binary64_1185 distribute-lft-in_binary64_616 associate-/r*_binary64_1279 distribute-rgt-out_binary64_620 frac-2neg_binary64_1209 sub-neg_binary64_1862 pow-exp_binary64_2424 rem-sqrt-square_binary64_1204 pow-flip_binary64_504 div-inv_binary64_1217 distribute-rgt-in_binary64_617 distribute-rgt-out--_binary64_2547 sqrt-pow1_binary64_1197 pow-sqr_binary64_2533 associate-+r-_binary64_2553 pow-plus_binary64_1799 distribute-rgt1-in_binary64_623

localize1.8s (1.2%)

bsearch453.0ms (0.3%)

end3.0ms (0.0%)

Profiling

Loading profile data...