Date:Sunday, October 18th, 2020
Commit:07f66b98 on simplicity-retired
Hostname:warfa with Racket 7.8
Seed:2020292
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

Time bar (total: 26.2s)

sample8.8s (33.6%)

Algorithm
18×intervals
Results
3.5s70204×body128valid
769.0ms4100×body2048valid
114.0ms2035×body128invalid
112.0ms1359×body128nan
Compiler

Compiled 3913 to 2743 computations (29.9% saved)

series6.8s (26.1%)

Calls

67 calls:

221.0ms
(+.f64 b (*.f64 (fabs.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))) (sqrt.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))))
182.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
173.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
168.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
163.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))

simplify3.5s (13.3%)

Algorithm
43×egg-herbie

prune2.6s (10%)

Compiler

Compiled 56589 to 30693 computations (45.8% saved)

analyze1.8s (7%)

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
Compiler

Compiled 144 to 110 computations (23.6% saved)

regimes1.4s (5.4%)

Compiler

Compiled 12716 to 8858 computations (30.3% saved)

rewrite710.0ms (2.7%)

Algorithm
25×rewrite-expression-head
Rules
673×*-un-lft-identity_binary64
512×add-sqr-sqrt_binary64
507×times-frac_binary64
281×add-cube-cbrt_binary64
142×add-sqr-sqrt_binary64_98
130×add-exp-log_binary64_112
124×*-un-lft-identity_binary64_77
101×add-cube-cbrt_binary64_109
96×distribute-lft-out_binary64
90×distribute-lft-out--_binary64
89×difference-of-squares_binary64
85×sqrt-prod_binary64
80×add-exp-log_binary64
78×add-cbrt-cube_binary64_110
77×associate-/r*_binary64 times-frac_binary64_83
75×pow1_binary64
64×add-cbrt-cube_binary64 cbrt-prod_binary64
55×add-log-exp_binary64
52×unpow-prod-down_binary64 prod-exp_binary64_123 cube-prod_binary64 pow1_binary64_135
51×associate-/r/_binary64
45×associate-*r*_binary64_19
41×log-prod_binary64
40×add-log-exp_binary64_113
39×associate-*l*_binary64_20
34×sqrt-prod_binary64_92
31×associate-/l*_binary64 div-inv_binary64
29×flip3--_binary64 flip--_binary64
26×cbrt-unprod_binary64_107 sqrt-div_binary64
25×flip3-+_binary64 div-exp_binary64_125 flip-+_binary64
22×cbrt-prod_binary64_105 sqrt-div_binary64_93
20×flip--_binary64_52 associate-+r+_binary64 associate-*l*_binary64 flip3--_binary64_81
19×pow1/2_binary64 sqrt-pow1_binary64 div-exp_binary64
15×cbrt-undiv_binary64_108 distribute-rgt-out--_binary64
13×log-pow_binary64 add-sqr-sqrt_binary64_435 *-un-lft-identity_binary64_414
12×pow-prod-down_binary64 add-cube-cbrt_binary64_446 associate-*r*_binary64 cbrt-undiv_binary64
11×sqrt-pow1_binary64_94 rem-sqrt-square_binary64_90 associate-*r/_binary64_21 pow1/2_binary64_154
10×difference-of-sqr-1_binary64 log-div_binary64
9×times-frac_binary64_420 unswap-sqr_binary64_45 clear-num_binary64 frac-2neg_binary64 rem-sqrt-square_binary64 distribute-lft-out_binary64_30
8×add-log-exp_binary64_450 pow-flip_binary64 associate-/l*_binary64_24 unswap-sqr_binary64 associate-*l/_binary64
7×sub-neg_binary64_70 exp-prod_binary64 exp-prod_binary64_463 pow-prod-down_binary64_145 div-inv_binary64_74
6×rec-exp_binary64_124 associate-/r*_binary64_23 associate-/l/_binary64 1-exp_binary64_118 sum-log_binary64 associate-*l/_binary64_22
5×frac-add_binary64_85 flip-+_binary64_51 *-commutative_binary64_10 diff-log_binary64 rec-exp_binary64 1-exp_binary64 associate-+l+_binary64 frac-times_binary64_87 cbrt-div_binary64 add-cbrt-cube_binary64_447 +-commutative_binary64 flip3-+_binary64_80
4×sub-neg_binary64 cbrt-div_binary64_106 add-exp-log_binary64_449 inv-pow_binary64 difference-of-squares_binary64_46 pow1/3_binary64_156 associate-/l/_binary64_26
3×+-commutative_binary64_9 pow1_binary64_472 prod-exp_binary64 diff-log_binary64_166 rem-log-exp_binary64 pow1/3_binary64 sum-log_binary64_165 rem-exp-log_binary64_451 pow-unpow_binary64 associate-/r*_binary64_360 associate-/l*_binary64_361
2×sqrt-unprod_binary64 associate-+l-_binary64 associate-+r-_binary64 difference-of-squares_binary64_383 distribute-rgt-in_binary64_29 frac-2neg_binary64_88 distribute-lft-out--_binary64_31 frac-sub_binary64 pow-exp_binary64 sub-div_binary64_84 unpow3_binary64 cube-mult_binary64 cube-div_binary64 exp-diff_binary64 distribute-lft-in_binary64_28 rem-cube-cbrt_binary64 frac-sub_binary64_86 cbrt-unprod_binary64 clear-num_binary64_76 sub-div_binary64 associate-+r+_binary64_11 sqr-pow_binary64 div-exp_binary64_462 *-commutative_binary64
1×clear-num_binary64_413 pow-to-exp_binary64 associate--r+_binary64 exp-sum_binary64 e-exp-1_binary64_456 rem-cbrt-cube_binary64 diff-log_binary64_503 exp-diff_binary64_459 rem-exp-log_binary64 sub-neg_binary64_407 div-sub_binary64 frac-2neg_binary64_425 difference-of-sqr-1_binary64_384 exp-to-pow_binary64_473 exp-sum_binary64_457 div-inv_binary64_411 pow-pow_binary64 cbrt-undiv_binary64_445
Calls

67 calls:

31.0ms
(/.f64 1 (-.f64 (/.f64 n (+.f64 n f)) (/.f64 f (+.f64 n f))))
30.0ms
(-.f64 (/.f64 n (+.f64 n f)) (/.f64 f (+.f64 n f)))
24.0ms
(+.f64 (log.f64 (+.f64 1 (/.f64 1 (sqrt.f64 x)))) (log.f64 (-.f64 (/.f64 1 (sqrt.f64 x)) 1)))
21.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
19.0ms
(-.f64 (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) b)

localize352.0ms (1.3%)

Compiler

Compiled 6120 to 10200 computations (-66.7% saved)

bsearch152.0ms (0.6%)

Compiler

Compiled 13 to 15 computations (-15.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...