Date:Saturday, December 19th, 2020
Commit:c590cff1 on try-6-cores
Hostname:warfa with Racket 7.9
Seed:2020354
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:fallback
default

Details

Time bar (total: 34.2s)

sample12.8s (37.3%)

Algorithm
18×intervals
Results
5.3s70178×body128valid
1.2s4126×body2048valid
183.0ms2156×body128invalid
158.0ms1425×body128nan
Compiler

Compiled 3562 to 2521 computations (29.2% saved)

series6.0s (17.5%)

Calls

72 calls:

545.0ms
(-.f64 (*.f64 (fabs.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (*.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 2/3)) (cbrt.f64 (exp.f64 (log.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))))) b)
239.0ms
(/.f64 1 (log.f64 (pow.f64 E.f64 (/.f64 (-.f64 n f) (+.f64 n f)))))
201.0ms
(/.f64 1 (log.f64 (exp.f64 (/.f64 (-.f64 n f) (+.f64 n f)))))
198.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)))))))
169.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

simplify5.2s (15.1%)

Algorithm
44×egg-herbie

prune4.0s (11.8%)

Compiler

Compiled 61405 to 33382 computations (45.6% saved)

analyze2.9s (8.5%)

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.8s (5.1%)

Accuracy

Total 3.2b remaining (16.7%)

Threshold costs 1.9b (10%)

1.3b89.2%jeff quadratic root 2
0.8b93.7%jeff quadratic root 1
0.6b0%fabs fraction 1
0.5b0%sqrt times
0.0b0%subtraction fraction

Compiler

Compiled 10861 to 7721 computations (28.9% saved)

rewrite909.0ms (2.7%)

Algorithm
26×rewrite-expression-head
Rules
687×*-un-lft-identity_binary64
608×add-sqr-sqrt_binary64
516×times-frac_binary64
333×add-cube-cbrt_binary64
156×exp-prod_binary64
143×sqrt-prod_binary64
141×log-pow_binary64 *-un-lft-identity_binary64_78
139×add-sqr-sqrt_binary64_100
108×difference-of-squares_binary64
105×add-cube-cbrt_binary64_113
101×pow1_binary64
94×add-exp-log_binary64
81×distribute-lft-out_binary64
80×distribute-lft-out--_binary64 add-cbrt-cube_binary64
79×add-log-exp_binary64
77×associate-/r*_binary64
73×times-frac_binary64_84
50×cbrt-prod_binary64_109
49×associate-*l*_binary64_19
45×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
41×flip3--_binary64 flip--_binary64
40×sqrt-div_binary64
34×pow1_binary64_139
32×sqrt-pow1_binary64 add-log-exp_binary64_117 cancel-sign-sub-inv_binary64_44 associate-*r*_binary64_18
31×associate-/r/_binary64
28×pow1/2_binary64 associate-/l*_binary64
26×pow-unpow_binary64
24×associate-*r*_binary64 log-prod_binary64 exp-sum_binary64_124 cancel-sign-sub-inv_binary64 div-inv_binary64 cbrt-prod_binary64
21×associate-*l*_binary64 rem-sqrt-square_binary64
20×difference-of-sqr-1_binary64
19×flip3-+_binary64 exp-prod_binary64_130 flip-+_binary64
16×cbrt-div_binary64
15×div-exp_binary64
14×unpow-prod-down_binary64_157 cube-prod_binary64_106 distribute-lft-out_binary64_29
13×pow-prod-down_binary64 cbrt-div_binary64_110
12×unswap-sqr_binary64_46 sub-neg_binary64_71
11×associate-/l*_binary64_23
10×unswap-sqr_binary64
9×cbrt-unprod_binary64_111 prod-exp_binary64_127 flip-+_binary64_52 swap-sqr_binary64_45 cbrt-undiv_binary64 associate-/r*_binary64_22 associate-*r/_binary64_20 pow1/3_binary64_160 flip3-+_binary64_81
8×associate-/l/_binary64 sub-neg_binary64 associate-*l/_binary64_21 diff-log_binary64 div-exp_binary64_129 distribute-rgt-in_binary64_28 pow1/3_binary64 distribute-lft-in_binary64_27 difference-of-squares_binary64_47 associate-+r+_binary64_10 associate-*l/_binary64 frac-times_binary64_88
7×clear-num_binary64 pow-pow_binary64_150 div-sub_binary64 cbrt-undiv_binary64_112 frac-2neg_binary64 div-inv_binary64_75
6×flip--_binary64_53 unpow-prod-down_binary64 rem-log-exp_binary64 pow-prod-down_binary64_149 flip3--_binary64_82
5×*-commutative_binary64_9 prod-exp_binary64 frac-add_binary64_86 rem-exp-log_binary64_118 cbrt-unprod_binary64
4×sqrt-unprod_binary64 rec-exp_binary64 diff-log_binary64_170 1-exp_binary64 associate-/l/_binary64_25 pow-exp_binary64 sum-log_binary64 exp-diff_binary64_126 log-div_binary64 +-commutative_binary64
3×frac-2neg_binary64_89 clear-num_binary64_77 pow-flip_binary64 inv-pow_binary64 pow-unpow_binary64_155 difference-of-sqr-1_binary64_48 *-commutative_binary64
2×pow-to-exp_binary64 pow-prod-up_binary64_148 cube-div_binary64_107 frac-sub_binary64_87 pow-sqr_binary64_51 e-exp-1_binary64 sqr-pow_binary64_50 unpow3_binary64_144 exp-diff_binary64 cube-mult_binary64_108 pow-sub_binary64 sub-div_binary64_85 sqr-pow_binary64
1×+-commutative_binary64_8 rem-cbrt-cube_binary64_102 pow-to-exp_binary64_147 rem-cube-cbrt_binary64_101 pow-plus_binary64_141 pow2_binary64_159 rem-exp-log_binary64 pow-exp_binary64_146 pow-pow_binary64 distribute-lft-out--_binary64_30 exp-to-pow_binary64_140 sum-log_binary64_169 e-exp-1_binary64_123
Calls

72 calls:

33.0ms
(/.f64 1 (log.f64 (exp.f64 (/.f64 (-.f64 n f) (+.f64 n f)))))
29.0ms
(*.f64 (*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)))
24.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 (sqrt.f64 x)))
19.0ms
(-.f64 (*.f64 (fabs.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (*.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 2/3)) (cbrt.f64 (exp.f64 (log.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))))) b)
19.0ms
(log.f64 (exp.f64 (/.f64 (-.f64 n f) (+.f64 n f))))

localize563.0ms (1.6%)

Compiler

Compiled 6120 to 10200 computations (-66.7% saved)

bsearch107.0ms (0.3%)

Compiler

Compiled 39 to 29 computations (25.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...