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

sample37.1s (32.8%)

Algorithm
73×intervals
Results
11.1s238000×body80valid
6.2s14125×body1280valid
3.1s3763×body2560valid
2.7s16727×body160valid
2.5s9461×body640valid
2.1s99272×pre80true
1.8s14494×body80invalid
1.1s6644×body320valid
872.0ms200×body5120exit
132.0ms271×body640invalid
118.0ms240×body5120valid
101.0ms131×body1280invalid
83.0ms1688×body80nan
55.0ms171×body320invalid
25.0ms12×body2560invalid
17.0ms95×body160invalid
11.0ms155×body80overflowed
4.0ms100×pre80false

analyze21.0s (18.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

series16.9s (14.9%)

Calls

319 calls:

296.0ms
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
276.0ms
(/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n))
230.0ms
(*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
222.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)))
218.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))

simplify15.8s (14.0%)

Algorithm
183×egg-herbie

prune14.4s (12.8%)

Filtered
10983 candidates to 7427 candidates (32.4%)

rewrite3.8s (3.4%)

Algorithm
113×rewrite-expression-head
Calls

319 calls:

90.0ms
(*.f64 (/.f64 v (*.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))) (/.f64 (/.f64 1 (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
55.0ms
(*.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (/.f64 (/.f64 (cbrt.f64 v) (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
52.0ms
(*.f64 (/.f64 (*.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
50.0ms
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
49.0ms
(*.f64 (/.f64 (*.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
Rules
4181×times-frac_binary64
3865×add-sqr-sqrt_binary64
3484×*-un-lft-identity_binary64
2116×add-cube-cbrt_binary64
1469×add-exp-log_binary64
1141×associate-*r*_binary64
1140×add-cbrt-cube_binary64
931×difference-of-squares_binary64
829×*-un-lft-identity_binary64_590
623×add-sqr-sqrt_binary64_575
572×cbrt-prod_binary64
526×prod-exp_binary64
497×pow1_binary64
494×times-frac_binary64_585
465×add-cube-cbrt_binary64_561
413×associate-*l*_binary64
403×div-exp_binary64
397×cbrt-unprod_binary64
374×add-exp-log_binary64_554
373×add-log-exp_binary64
342×add-cbrt-cube_binary64_562
321×unpow-prod-down_binary64
317×cbrt-undiv_binary64
301×distribute-lft-out--_binary64
299×add-log-exp_binary64_555
297×distribute-lft-out_binary64
279×associate-/l*_binary64
256×sqr-pow_binary64
250×associate-/r*_binary64
212×flip3-+_binary64 flip-+_binary64
208×pow1_binary64_532
204×div-inv_binary64
202×associate-*r/_binary64
190×sqrt-prod_binary64
189×frac-times_binary64
183×associate-/r/_binary64
179×distribute-lft-out_binary64_634
176×flip3--_binary64 flip--_binary64
164×unpow-prod-down_binary64_521
162×sqrt-prod_binary64_569
137×pow-prod-down_binary64
118×unswap-sqr_binary64
109×sum-log_binary64_500
108×associate-*l/_binary64
106×cbrt-prod_binary64_557
103×flip-+_binary64_615 flip3-+_binary64_588
101×cube-prod_binary64
95×exp-prod_binary64_540 prod-exp_binary64_537
93×cbrt-unprod_binary64_559
87×difference-of-sqr-1_binary64 associate-/r/_binary64_655
86×associate-*r*_binary64_649
84×frac-sub_binary64
83×div-exp_binary64_539
80×associate-/r*_binary64_653 exp-neg_binary64
72×cbrt-undiv_binary64_560 associate-*l*_binary64_650
71×associate-/l*_binary64_654
68×sub-neg_binary64
67×cbrt-div_binary64 *-commutative_binary64
64×exp-diff_binary64
62×log-pow_binary64_507
61×neg-sub0_binary64
60×associate-/l/_binary64
58×difference-of-squares_binary64_619
56×div-inv_binary64_591
50×1-exp_binary64
46×log-prod_binary64 cbrt-div_binary64_558
45×diff-log_binary64
43×distribute-rgt-in_binary64 distribute-lft-in_binary64
42×clear-num_binary64 frac-2neg_binary64
41×pow-pow_binary64_514 cube-prod_binary64_563
40×sum-log_binary64
37×pow-prod-down_binary64_513
36×swap-sqr_binary64_617
34×sqrt-div_binary64
32×log-prod_binary64_504 distribute-lft-out--_binary64_635
26×frac-add_binary64 distribute-lft-neg-in_binary64 cube-mult_binary64 distribute-rgt-neg-in_binary64
25×+-commutative_binary64_657 flip--_binary64_616 unpow3_binary64 flip3--_binary64_589
23×rec-exp_binary64 +-commutative_binary64 un-div-inv_binary64
21×sqr-pow_binary64_622
20×sqrt-div_binary64_570
18×pow1/3_binary64 pow-unpow_binary64_519 div-sub_binary64 clear-num_binary64_593 frac-2neg_binary64_583
17×*-commutative_binary64_658 associate-+r+_binary64
16×exp-sum_binary64 sub-neg_binary64_594 log-div_binary64 distribute-rgt-out--_binary64 associate-*r/_binary64_651
15×log-pow_binary64
14×unswap-sqr_binary64_618 cube-div_binary64_564 diff-log_binary64_501
13×pow1/3_binary64_524 sqrt-pow1_binary64 associate-*l/_binary64_652 associate-/l/_binary64_656 frac-add_binary64_580 frac-times_binary64_582
12×pow1/2_binary64 associate-+l+_binary64 rem-sqrt-square_binary64 pow-exp_binary64_510
11×difference-of-sqr-1_binary64_620 pow-exp_binary64 pow1/2_binary64_522 sqrt-pow1_binary64_571
10×pow-to-exp_binary64 associate-+r+_binary64_641 exp-prod_binary64
9×pow-to-exp_binary64_511 associate-+l+_binary64_642
8×rem-sqrt-square_binary64_578
7×associate--r+_binary64 swap-sqr_binary64 rem-log-exp_binary64 rec-exp_binary64_538 cube-mult_binary64_565 unpow3_binary64_530 1-exp_binary64_550
6×associate--l-_binary64 pow-unpow_binary64 associate--l+_binary64
5×distribute-rgt-in_binary64_633 distribute-lft-in_binary64_632 pow-sqr_binary64 pow-prod-up_binary64
4×rem-log-exp_binary64_553 pow-flip_binary64 cube-div_binary64 frac-sub_binary64_581 rem-cbrt-cube_binary64_567
3×pow-prod-up_binary64_512 rem-cube-cbrt_binary64_566 pow-flip_binary64_516 sqrt-pow2_binary64_572 inv-pow_binary64_508 pow2_binary64_523 distribute-rgt-out--_binary64_637 pow-plus_binary64_527 pow-plus_binary64 inv-pow_binary64 pow-sqr_binary64_623
2×rem-cbrt-cube_binary64 neg-mul-1_binary64 log-div_binary64_505 distribute-neg-frac_binary64 distribute-rgt-out_binary64 exp-diff_binary64_547 rem-exp-log_binary64 rem-cube-cbrt_binary64 associate--r+_binary64_645 associate--r-_binary64 pow-pow_binary64 pow2_binary64 div-sub_binary64_584
1×sqrt-undiv_binary64 distribute-rgt1-in_binary64 sub-div_binary64_579 rem-exp-log_binary64_552 un-div-inv_binary64_592 exp-sum_binary64_545 exp-to-pow_binary64_526 distribute-frac-neg_binary64 associate--l+_binary64_646

regimes2.1s (1.9%)

Accuracy

Total 21.5b remaining (16.2%)

Threshold costs 4.2b (3.2%)

5.3b74.2%Compound Interest
4.9b75.3%Kahan p9 Example
2.6b11%Complex division, real part
2.3b26.2%Complex division, imag part
1.2b95%The quadratic formula (r2)

localize1.2s (1.1%)

bsearch610.0ms (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...