Date:Tuesday, September 29th, 2020
Commit:82e0e985 on egg-taylor
Hostname:warfa with Racket 7.8
Seed:2020273
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

series7.3s (47.0%)

Calls

15 calls:

666.0ms
(-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))
663.0ms
(-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))
653.0ms
(/.f64 (-.f64 (+.f64 x 4) (*.f64 x z)) y)
553.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
542.0ms
(-.f64 (+.f64 x 4) (*.f64 x z))

simplify3.5s (22.8%)

rewrite1.5s (10.0%)

Algorithm
9×rewrite-expression-head
Calls

15 calls:

225.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
210.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
210.0ms
(/.f64 (-.f64 (+.f64 x 4) (*.f64 x z)) y)
208.0ms
(exp.f64 (-.f64 (*.f64 x x) 1))
206.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
Rules
80×add-sqr-sqrt_binary64
69×*-un-lft-identity_binary64
32×times-frac_binary64
26×add-cube-cbrt_binary64
22×add-sqr-sqrt_binary64_685
20×*-un-lft-identity_binary64_700 sqrt-prod_binary64
19×difference-of-squares_binary64
17×add-log-exp_binary64_665
16×add-cube-cbrt_binary64_671
15×pow1_binary64
14×add-log-exp_binary64 log-prod_binary64
13×add-exp-log_binary64
12×add-cbrt-cube_binary64
10×distribute-lft-out--_binary64 associate-*l*_binary64
9×times-frac_binary64_695
8×add-cbrt-cube_binary64_672 flip3--_binary64 flip--_binary64 pow1_binary64_642 insert-posit16 add-exp-log_binary64_664
7×difference-of-sqr-1_binary64 sqrt-prod_binary64_679
6×distribute-lft-out_binary64 associate-*r*_binary64 flip3--_binary64_699 flip--_binary64_726 sqrt-div_binary64 exp-prod_binary64_2445
5×associate-/r*_binary64 diff-log_binary64_611
4×pow1/2_binary64 add-log-exp_binary64_2460 sqrt-div_binary64_680 associate-/l*_binary64 sqrt-pow1_binary64 unswap-sqr_binary64
3×pow-prod-down_binary64 *-un-lft-identity_binary64_2495 sub-neg_binary64 associate-/r*_binary64_763 diff-log_binary64 sub-neg_binary64_704 associate-/l*_binary64_764 add-sqr-sqrt_binary64_2480 div-inv_binary64
2×associate-/l/_binary64 rem-sqrt-square_binary64_688 associate-/r/_binary64 distribute-lft-out--_binary64_745 difference-of-squares_binary64_2524 difference-of-squares_binary64_729 associate-/l/_binary64_766 sqrt-pow1_binary64_681 add-cube-cbrt_binary64_2466 rem-exp-log_binary64_2457 rem-sqrt-square_binary64 log-div_binary64 pow1/2_binary64_632 associate-*l/_binary64
1×sqrt-unprod_binary64 flip3-+_binary64 sub-neg_binary64_2499 prod-exp_binary64 pow1_binary64_2437 diff-log_binary64_2406 clear-num_binary64 exp-sum_binary64_2450 cbrt-undiv_binary64 rem-log-exp_binary64 clear-num_binary64_703 cbrt-undiv_binary64_670 difference-of-sqr-1_binary64_2525 neg-sub0_binary64_706 log-pow_binary64 add-exp-log_binary64_2459 exp-diff_binary64_2452 add-cbrt-cube_binary64_2467 neg-log_binary64_612 cbrt-unprod_binary64 frac-2neg_binary64 distribute-rgt-neg-in_binary64_735 sum-log_binary64_610 frac-2neg_binary64_693 div-exp_binary64 div-sub_binary64_694 div-exp_binary64_649 associate--l-_binary64_757 associate--l+_binary64_756 *-commutative_binary64 div-inv_binary64_701 flip-+_binary64

analyze1.5s (9.4%)

Algorithm
9×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
11.1%88.8%0.1%1
11.1%83.3%5.6%2
19.4%69.4%11.2%3
31.9%51.3%16.8%4
35.4%45.1%19.5%5
45.1%34%20.9%6
50.7%26.4%23%7
53.3%23.4%23.3%8
57.6%18.3%24.1%9
59.6%15.1%25.4%10
61.3%12.9%25.8%11
63.2%10%26.8%12
64.2%8.2%27.6%13
64.9%6.9%28.2%14

sample1.4s (8.9%)

Algorithm
11×intervals
Results
694.0ms4136×body1280valid
405.0ms14168×body80valid
3.0ms57×body80invalid
3.0ms35×body80nan

prune156.0ms (1.0%)

Filtered
360 candidates to 276 candidates (23.3%)

localize117.0ms (0.8%)

end0.0ms (0.0%)

Profiling

Loading profile data...