Date:Monday, December 21st, 2020
Commit:171b8bea on symmetry
Hostname:warfa with Racket 7.9
Seed:2020356
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: 24.4s)

sample9.0s (36.9%)

Algorithm
18×intervals
Results
3.2s70259×body128valid
805.0ms4045×body2048valid
116.0ms1975×body128invalid
111.0ms1307×body128nan
Compiler

Compiled 4770 to 3313 computations (30.5% saved)

analyze3.9s (15.9%)

Algorithm
9×search
18×egg-herbie
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)

series3.4s (14%)

Calls

62 calls:

163.0ms
(/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
150.0ms
(*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n)))
126.0ms
(cbrt.f64 (+.f64 f n))
106.0ms
(/.f64 (-.f64 (-.f64 (*.f64 2 (*.f64 (/.f64 c (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (/.f64 a (cbrt.f64 b)))) b) b) (*.f64 2 a))
104.0ms
(cbrt.f64 (+.f64 f n))

prune2.8s (11.6%)

Compiler

Compiled 62799 to 32572 computations (48.1% saved)

simplify2.5s (10.4%)

Algorithm
41×egg-herbie

regimes1.6s (6.7%)

Accuracy

Total 3.3b remaining (19.2%)

Threshold costs 1.8b (10.5%)

1.5b90.6%jeff quadratic root 2
0.8b49.4%fabs fraction 1
0.7b94.6%jeff quadratic root 1
0.3b0%sqrt times
0.0b0%subtraction fraction

Compiler

Compiled 15644 to 10771 computations (31.1% saved)

rewrite651.0ms (2.7%)

Algorithm
23×rewrite-expression-head
Rules
768×times-frac_binary64_84
549×*-un-lft-identity_binary64_78
484×*-un-lft-identity_binary64
440×add-sqr-sqrt_binary64_100
413×add-cube-cbrt_binary64_113
384×add-sqr-sqrt_binary64
357×times-frac_binary64
222×add-cube-cbrt_binary64
117×add-exp-log_binary64_116
105×cbrt-prod_binary64
90×add-exp-log_binary64
75×add-cbrt-cube_binary64_114 add-cbrt-cube_binary64
72×distribute-lft-out_binary64
67×distribute-lft-out_binary64_29
61×difference-of-squares_binary64
59×pow1_binary64_139
55×distribute-lft-out--_binary64
54×cbrt-prod_binary64_109
52×unpow-prod-down_binary64 cube-prod_binary64
49×associate-/r*_binary64
48×pow1_binary64 div-inv_binary64_75
47×associate-/r*_binary64_22
46×div-exp_binary64_129
43×add-log-exp_binary64_117
42×add-log-exp_binary64 associate-/r/_binary64_24
40×associate-*l*_binary64_19
35×associate-*r*_binary64
30×associate-/l*_binary64 sqrt-prod_binary64
26×associate-/l*_binary64_23
25×sqrt-prod_binary64_94 cbrt-div_binary64_110 associate-/r/_binary64 div-exp_binary64
24×associate-*l*_binary64
23×flip-+_binary64_52 flip3-+_binary64_81
21×flip3--_binary64 cbrt-undiv_binary64 flip--_binary64
19×cbrt-div_binary64 div-inv_binary64
18×flip3-+_binary64 *-un-lft-identity_binary64_419 flip-+_binary64
17×flip--_binary64_53 cbrt-undiv_binary64_112 flip3--_binary64_82
16×sqrt-div_binary64_95
15×add-sqr-sqrt_binary64_441
14×cbrt-unprod_binary64_111 prod-exp_binary64_127 unswap-sqr_binary64 exp-prod_binary64_471
13×prod-exp_binary64 cbrt-unprod_binary64
12×associate-*l/_binary64_21 sqrt-div_binary64
11×rec-exp_binary64_128 1-exp_binary64_122 pow-prod-down_binary64_149
10×associate-/l/_binary64 add-cube-cbrt_binary64_454 pow1/3_binary64 cancel-sign-sub-inv_binary64 associate-*r*_binary64_18
9×swap-sqr_binary64 add-log-exp_binary64_458
8×rem-sqrt-square_binary64_91 clear-num_binary64 sqrt-pow1_binary64_96 frac-2neg_binary64 pow1/3_binary64_160 pow1/2_binary64_158
7×pow1/2_binary64 pow-unpow_binary64_496 sqrt-pow1_binary64 associate-*r/_binary64_20
6×pow-prod-down_binary64 sub-neg_binary64 diff-log_binary64 exp-sum_binary64_465 cancel-sign-sub-inv_binary64_385 unswap-sqr_binary64_46 cancel-sign-sub-inv_binary64_44
5×pow-pow_binary64_491 frac-2neg_binary64_89 clear-num_binary64_77 rem-sqrt-square_binary64 frac-times_binary64 associate-*l/_binary64 frac-times_binary64_88
4×*-commutative_binary64_9 unpow-prod-down_binary64_498 difference-of-squares_binary64_388 diff-log_binary64_170 difference-of-sqr-1_binary64 pow1_binary64_480 rem-exp-log_binary64_459 sub-neg_binary64_71 unpow-prod-up_binary64_497
3×add-exp-log_binary64_457 frac-sub_binary64_87 associate-/l/_binary64_25 associate-*r/_binary64 pow-unpow_binary64 div-sub_binary64 add-cbrt-cube_binary64_455 *-commutative_binary64
2×+-commutative_binary64_8 sub-neg_binary64_412 inv-pow_binary64_163 rec-exp_binary64 difference-of-sqr-1_binary64_389 1-exp_binary64 pow-exp_binary64 unpow3_binary64 distribute-lft-out_binary64_370 cube-mult_binary64 cube-div_binary64 rem-cube-cbrt_binary64 difference-of-squares_binary64_47 pow-sqr_binary64 pow-prod-up_binary64 sqr-pow_binary64 pow-flip_binary64_152 sum-log_binary64_169
1×sqrt-unprod_binary64 pow-to-exp_binary64 pow-sub_binary64_495 exp-diff_binary64_467 rem-cbrt-cube_binary64 sum-log_binary64_510 sqr-pow_binary64_391 sum-log_binary64 pow-flip_binary64 pow-to-exp_binary64_488 distribute-lft-out--_binary64_371 pow-plus_binary64 inv-pow_binary64 pow-pow_binary64 +-commutative_binary64 distribute-lft-out--_binary64_30 diff-log_binary64_511 sub-div_binary64_85 pow2_binary64 pow-exp_binary64_487
Calls

62 calls:

68.0ms
(-.f64 (/.f64 (/.f64 1 y) (/.f64 1 (+.f64 x 4))) (*.f64 (/.f64 x y) z))
24.0ms
(-.f64 (/.f64 1 (/.f64 y (+.f64 x 4))) (*.f64 (/.f64 x y) z))
21.0ms
(/.f64 (-.f64 (-.f64 (*.f64 2 (*.f64 (/.f64 c (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (/.f64 a (cbrt.f64 b)))) b) b) (*.f64 2 a))
16.0ms
(*.f64 (/.f64 c (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (/.f64 a (cbrt.f64 b)))
16.0ms
(/.f64 (/.f64 1 y) (/.f64 1 (+.f64 x 4)))

localize332.0ms (1.4%)

Compiler

Compiled 6120 to 10200 computations (-66.7% saved)

bsearch93.0ms (0.4%)

Compiler

Compiled 50 to 38 computations (24% saved)

end0.0ms (0%)

Profiling

Loading profile data...