Date:Wednesday, August 19th, 2020
Commit:9dfd47eb on scaleup-plugins
Hostname:warfa with Racket 7.5
Seed:2020232
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

sample36.6s (33.6%)

Algorithm
73×intervals
Results
10.9s238075×body80valid
6.0s14119×body1280valid
2.9s3825×body2560valid
2.6s16783×body160valid
2.4s9165×body640valid
2.2s99272×pre80true
1.8s14528×body80invalid
1.1s6777×body320valid
902.0ms200×body5120exit
128.0ms255×body640invalid
108.0ms216×body5120valid
101.0ms130×body1280invalid
83.0ms1584×body80nan
53.0ms157×body320invalid
32.0ms16×body2560invalid
23.0ms112×body160invalid
14.0ms182×body80overflowed
4.0ms100×pre80false

analyze21.7s (19.9%)

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

series16.6s (15.2%)

Calls

312 calls:

296.0ms
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
274.0ms
(/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n))
238.0ms
(+.f64 (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (/.f64 (*.f64 x1 (+.f64 (*.f64 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3) 2) (*.f64 x1 4))) (+.f64 (*.f64 x1 x1) 1))) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x1 x1) -6)) (cbrt.f64 (*.f64 (*.f64 x1 x1) -6))) (cbrt.f64 (*.f64 (*.f64 x1 x1) -6))))
234.0ms
(+.f64 (*.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))) (*.f64 (*.f64 x1 x1) -6))
218.0ms
(+.f64 (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (/.f64 (*.f64 x1 (+.f64 (*.f64 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3) 2) (*.f64 x1 4))) (+.f64 (*.f64 x1 x1) 1))) (*.f64 (*.f64 x1 x1) -6))

simplify15.8s (14.5%)

Algorithm
180×egg-herbie

prune11.3s (10.4%)

Filtered
10478 candidates to 6980 candidates (33.4%)

rewrite3.7s (3.3%)

Algorithm
110×rewrite-expression-head
Calls

312 calls:

54.0ms
(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
48.0ms
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
46.0ms
(+.f64 (*.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))) (*.f64 (*.f64 x1 x1) -6))
44.0ms
(*.f64 (/.f64 (/.f64 PI.f64 2) (-.f64 (*.f64 b b) (*.f64 a a))) (-.f64 (/.f64 1 a) (/.f64 1 b)))
43.0ms
(+.f64 (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (/.f64 (*.f64 x1 (+.f64 (*.f64 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3) 2) (*.f64 x1 4))) (+.f64 (*.f64 x1 x1) 1))) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x1 x1) -6)) (cbrt.f64 (*.f64 (*.f64 x1 x1) -6))) (cbrt.f64 (*.f64 (*.f64 x1 x1) -6))))
Rules
2871×*-un-lft-identity_binary64
2737×add-sqr-sqrt_binary64
2712×times-frac_binary64
1633×add-cube-cbrt_binary64
1298×*-un-lft-identity_binary64_590
1220×times-frac_binary64_585
1179×add-sqr-sqrt_binary64_575
916×add-exp-log_binary64
818×add-cbrt-cube_binary64
738×pow1_binary64
719×add-cube-cbrt_binary64_561
454×difference-of-squares_binary64
436×associate-*r*_binary64
423×distribute-lft-out_binary64
388×associate-*r*_binary64_649
384×associate-*l*_binary64
378×add-log-exp_binary64
334×sqrt-prod_binary64
327×sqrt-pow1_binary64
297×associate-/r*_binary64
296×associate-/l*_binary64
290×add-exp-log_binary64_554
284×add-cbrt-cube_binary64_562
263×add-log-exp_binary64_555
259×prod-exp_binary64
245×frac-times_binary64 cbrt-prod_binary64
232×flip3-+_binary64 flip-+_binary64
230×associate-*r/_binary64 difference-of-squares_binary64_619
228×cbrt-unprod_binary64
225×pow-prod-down_binary64
224×sqrt-div_binary64
206×distribute-lft-out_binary64_634
205×distribute-lft-out--_binary64
195×unpow-prod-down_binary64
194×div-exp_binary64
189×flip3--_binary64 flip--_binary64
188×associate-/r/_binary64
186×pow1_binary64_532 div-inv_binary64
167×unpow-prod-down_binary64_521
164×cbrt-undiv_binary64
155×associate-*l*_binary64_650
120×associate-*l/_binary64
114×flip-+_binary64_615 flip3-+_binary64_588
107×cbrt-prod_binary64_557
106×pow1/2_binary64
105×pow-prod-up_binary64
95×unswap-sqr_binary64 sqr-pow_binary64
92×frac-sub_binary64
90×sqrt-prod_binary64_569
89×sum-log_binary64_500
88×sqr-pow_binary64_622 difference-of-sqr--1_binary64
84×difference-of-sqr-1_binary64_620
80×associate-/r*_binary64_653 exp-neg_binary64
79×cube-prod_binary64_563
70×distribute-lft-out--_binary64_635
69×div-inv_binary64_591
68×associate-/l/_binary64
67×associate-/l*_binary64_654
63×cbrt-unprod_binary64_559 prod-exp_binary64_537
60×neg-sub0_binary64 exp-diff_binary64
59×associate-/r/_binary64_655
57×cube-prod_binary64 *-commutative_binary64
54×cbrt-undiv_binary64_560 associate-*r/_binary64_651 div-exp_binary64_539
52×clear-num_binary64 frac-2neg_binary64
49×sum-log_binary64
48×sub-neg_binary64 cbrt-div_binary64
44×unswap-sqr_binary64_618
39×diff-log_binary64
36×pow-prod-down_binary64_513
34×pow-pow_binary64
33×pow-sqr_binary64 associate-/l/_binary64_656
32×exp-prod_binary64
30×swap-sqr_binary64
29×flip--_binary64_616 distribute-rgt-in_binary64_633 flip3--_binary64_589 distribute-lft-in_binary64_632 frac-times_binary64_582
27×*-commutative_binary64_658 cbrt-div_binary64_558
26×sqrt-div_binary64_570 log-prod_binary64_504
25×unpow2_binary64
23×rem-sqrt-square_binary64 un-div-inv_binary64
22×+-commutative_binary64
21×cube-mult_binary64_565
19×+-commutative_binary64_657 associate-*l/_binary64_652
18×1-exp_binary64
17×swap-sqr_binary64_617 sub-neg_binary64_594 rec-exp_binary64 pow1/3_binary64 distribute-rgt-in_binary64 diff-log_binary64_501 distribute-lft-in_binary64
14×pow1/3_binary64_524 pow-exp_binary64 clear-num_binary64_593 frac-2neg_binary64_583
13×distribute-rgt-out_binary64_636 unpow3_binary64_530
12×pow-to-exp_binary64 pow-unpow_binary64
11×distribute-rgt1-in_binary64_639
10×log-prod_binary64 cube-div_binary64 div-sub_binary64 sum-cubes_binary64_586 pow1/2_binary64_522 sqrt-pow1_binary64_571
8×difference-of-sqr-1_binary64 unpow3_binary64 cube-mult_binary64 pow-flip_binary64 rem-sqrt-square_binary64_578 exp-sum_binary64_545 frac-add_binary64_580
7×sqrt-unprod_binary64 log-pow_binary64_507
6×associate-+r+_binary64_641 frac-add_binary64 pow-unpow_binary64_519 log-div_binary64_505 associate-+l+_binary64 inv-pow_binary64 associate-+l+_binary64_642
5×cosh-undef_binary64 div-sub_binary64_584
4×rem-log-exp_binary64 cube-div_binary64_564 log-pow_binary64 associate-+r+_binary64 pow-plus_binary64 associate--r+_binary64_645 pow2_binary64
3×pow-prod-up_binary64_512 associate--l-_binary64 rem-log-exp_binary64_553 rem-cbrt-cube_binary64 sum-cubes_binary64 pow-sqr_binary64_623 associate--l+_binary64 pow-exp_binary64_510
2×rem-cube-cbrt_binary64_566 pow-to-exp_binary64_511 pow2_binary64_523 exp-to-pow_binary64 pow-pow_binary64_514 pow-plus_binary64_527 rem-square-sqrt_binary64 rem-cbrt-cube_binary64_567
1×exp-prod_binary64_540 sqrt-undiv_binary64 rem-exp-log_binary64_552 distribute-rgt-out--_binary64_637 rem-exp-log_binary64 rem-cube-cbrt_binary64 exp-to-pow_binary64_526 distribute-rgt-out--_binary64

regimes1.7s (1.6%)

Accuracy

Total 23.2b remaining (25.5%)

Threshold costs 3.0b (3.3%)

6.0b69.8%Compound Interest
4.6b75.8%Kahan p9 Example
3.1b0%Complex division, real part
2.5b17.1%Complex division, imag part
1.4b94%The quadratic formula (r2)

localize1.2s (1.1%)

bsearch515.0ms (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...