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.9s (32.7%)

Algorithm
73×intervals
Results
11.2s238000×body80valid
6.3s14125×body1280valid
3.0s3763×body2560valid
2.9s16727×body160valid
2.6s9461×body640valid
2.2s99272×pre80true
1.9s14494×body80invalid
1.1s6644×body320valid
922.0ms200×body5120exit
134.0ms271×body640invalid
125.0ms240×body5120valid
101.0ms131×body1280invalid
89.0ms1688×body80nan
55.0ms171×body320invalid
26.0ms12×body2560invalid
20.0ms95×body160invalid
12.0ms155×body80overflowed
4.0ms100×pre80false

analyze22.3s (19.3%)

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

series17.3s (14.9%)

Calls

319 calls:

301.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))
230.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 x1 (*.f64 x1 (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))))
228.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)))
225.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.9s (13.7%)

Algorithm
183×egg-herbie

prune14.6s (12.6%)

Filtered
10983 candidates to 7427 candidates (32.4%)

rewrite3.8s (3.3%)

Algorithm
113×rewrite-expression-head
Calls

319 calls:

88.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)))))
51.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 (/.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 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (/.f64 (/.f64 (cbrt.f64 v) (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
50.0ms
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
Rules
4311×times-frac_binary64
4024×add-sqr-sqrt_binary64
3779×*-un-lft-identity_binary64
2207×add-cube-cbrt_binary64
1647×add-exp-log_binary64
1315×add-cbrt-cube_binary64
1198×associate-*r*_binary64
958×difference-of-squares_binary64
600×prod-exp_binary64
586×pow1_binary64
574×cbrt-prod_binary64
534×*-un-lft-identity_binary64_590
475×add-log-exp_binary64
471×cbrt-unprod_binary64
464×add-sqr-sqrt_binary64_575 associate-*l*_binary64
442×div-exp_binary64
441×unpow-prod-down_binary64
394×distribute-lft-out_binary64
374×add-cube-cbrt_binary64_561
364×times-frac_binary64_585
356×cbrt-undiv_binary64
315×distribute-lft-out--_binary64
290×associate-/l*_binary64
268×sqr-pow_binary64
246×associate-/r*_binary64
244×sqrt-prod_binary64
230×flip3-+_binary64 flip-+_binary64
228×div-inv_binary64
215×associate-/r/_binary64
207×associate-*r/_binary64
197×add-log-exp_binary64_555
196×add-exp-log_binary64_554
192×frac-times_binary64
169×flip3--_binary64 flip--_binary64
167×pow-prod-down_binary64 add-cbrt-cube_binary64_562
125×unswap-sqr_binary64
119×pow1_binary64_532
111×associate-*l/_binary64
110×cube-prod_binary64
108×sqrt-prod_binary64_569
107×sum-log_binary64
104×cbrt-prod_binary64_557
101×exp-prod_binary64
98×difference-of-sqr-1_binary64
85×flip-+_binary64_615 frac-sub_binary64 flip3-+_binary64_588
84×associate-/r*_binary64_653
82×distribute-lft-out_binary64_634
80×exp-neg_binary64
79×*-commutative_binary64
75×log-pow_binary64
65×sub-neg_binary64
64×cbrt-div_binary64_558
62×exp-diff_binary64
61×neg-sub0_binary64
60×log-prod_binary64 associate-/l*_binary64_654
55×associate-/r/_binary64_655
54×associate-/l/_binary64
50×1-exp_binary64
49×cbrt-div_binary64
44×unpow-prod-down_binary64_521 distribute-rgt-in_binary64 distribute-lft-in_binary64 div-exp_binary64_539
43×swap-sqr_binary64 clear-num_binary64 frac-2neg_binary64
42×sum-log_binary64_500
40×pow-pow_binary64
39×diff-log_binary64
34×frac-add_binary64
33×cbrt-undiv_binary64_560
32×div-inv_binary64_591 flip--_binary64_616 flip3--_binary64_589 cube-prod_binary64_563 sqrt-div_binary64_570
31×difference-of-squares_binary64_619 +-commutative_binary64
29×cube-mult_binary64 associate-*r*_binary64_649
28×unpow3_binary64
26×distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64
23×rec-exp_binary64 un-div-inv_binary64
22×associate-+r+_binary64 sqrt-div_binary64
21×prod-exp_binary64_537 pow-unpow_binary64 associate-*l*_binary64_650
20×diff-log_binary64_501
19×cbrt-unprod_binary64_559 sub-neg_binary64_594 associate-/l/_binary64_656 distribute-rgt-out--_binary64
18×pow1/3_binary64_524 associate-+l+_binary64 log-prod_binary64_504 distribute-lft-out--_binary64_635
17×+-commutative_binary64_657 clear-num_binary64_593 frac-2neg_binary64_583
16×pow-exp_binary64 div-sub_binary64
15×pow-to-exp_binary64 exp-sum_binary64_545
14×cube-div_binary64_564
13×pow1/3_binary64
12×sqrt-pow1_binary64 rem-sqrt-square_binary64_578 pow1/2_binary64_522 sqrt-pow1_binary64_571 log-div_binary64
11×pow1/2_binary64 associate-*r/_binary64_651
10×rem-log-exp_binary64 associate-*l/_binary64_652 frac-times_binary64_582
9×sqr-pow_binary64_622
8×rem-sqrt-square_binary64 pow-sqr_binary64 pow-prod-up_binary64
7×unswap-sqr_binary64_618 rec-exp_binary64_538 pow-prod-down_binary64_513 1-exp_binary64_550 pow-exp_binary64_510
6×associate--r+_binary64 associate--l-_binary64 log-div_binary64_505 pow-plus_binary64 associate--l+_binary64
5×associate-+r+_binary64_641 *-commutative_binary64_658 pow2_binary64 frac-add_binary64_580
4×exp-prod_binary64_540 pow-to-exp_binary64_511 cube-mult_binary64_565 distribute-rgt-in_binary64_633 pow-flip_binary64 exp-diff_binary64_547 cube-div_binary64 distribute-lft-in_binary64_632 unpow3_binary64_530 div-sub_binary64_584
3×sqrt-pow2_binary64 rem-cbrt-cube_binary64 pow-flip_binary64_516 pow-unpow_binary64_519 inv-pow_binary64_508 pow-pow_binary64_514 inv-pow_binary64 rem-cube-cbrt_binary64 associate--r+_binary64_645 frac-sub_binary64_581 associate-+l+_binary64_642 rem-cbrt-cube_binary64_567
2×log-pow_binary64_507 exp-sum_binary64 rem-cube-cbrt_binary64_566 neg-mul-1_binary64 distribute-neg-frac_binary64 distribute-rgt-out_binary64 rem-exp-log_binary64 associate--r-_binary64
1×sqrt-undiv_binary64 distribute-rgt1-in_binary64 rem-log-exp_binary64_553 rem-exp-log_binary64_552 un-div-inv_binary64_592 exp-to-pow_binary64 sub-div_binary64 distribute-frac-neg_binary64 associate--l+_binary64_646

regimes2.2s (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%)

bsearch618.0ms (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...