Date:Tuesday, January 19th, 2021
Commit:61eecf4b on symmetry
Hostname:warfa with Racket 7.9
Seed:2021019
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: 36.8s)

sample10.7s (29%)

Algorithm
18×intervals
Results
3.1s70271×body128valid
762.0ms4033×body2048valid
116.0ms2015×body128invalid
110.0ms1369×body128nan
Compiler

Compiled 6652 to 4561 computations (31.4% saved)

series9.7s (26.3%)

Counts
75 → 847
Calls

39 calls:

1.4s
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
951.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
678.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
508.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
374.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
Compiler

Compiled 80969 to 54459 computations (32.7% saved)

prune3.9s (10.7%)

Counts
2656 → 136
Compiler

Compiled 86607 to 45855 computations (47.1% saved)

analyze3.8s (10.4%)

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)

rewrite3.2s (8.7%)

Algorithm
27×rewrite-expression-head
Rules
511×*-un-lft-identity_binary64
475×add-sqr-sqrt_binary64
288×times-frac_binary64
216×cbrt-prod_binary64
199×add-cube-cbrt_binary64
117×add-sqr-sqrt_binary64_100
108×*-un-lft-identity_binary64_78
103×difference-of-squares_binary64
90×add-cube-cbrt_binary64_113
81×pow1_binary64_139
77×sqrt-prod_binary64
74×add-exp-log_binary64_116
70×distribute-lft-out--_binary64
68×pow1_binary64
64×cbrt-div_binary64_110
61×add-exp-log_binary64
60×distribute-lft-out_binary64
59×add-cbrt-cube_binary64 add-cbrt-cube_binary64_114
52×unpow-prod-down_binary64 cube-prod_binary64
51×add-log-exp_binary64
49×cbrt-prod_binary64_109
48×times-frac_binary64_84
47×add-log-exp_binary64_117
46×associate-*l*_binary64_19
41×flip3--_binary64_82 flip--_binary64_53
40×associate-*r*_binary64
38×flip--_binary64 flip3--_binary64 sqrt-div_binary64_95
36×associate-*l*_binary64
31×difference-of-sqr-1_binary64
29×swap-sqr_binary64
28×frac-times_binary64_88
26×sqrt-div_binary64 div-inv_binary64
25×associate-/r*_binary64 pow1/3_binary64_160
24×associate-*l/_binary64_21 cbrt-div_binary64 add-log-exp_binary64_458
22×cbrt-unprod_binary64_111 prod-exp_binary64_127
21×sqrt-pow1_binary64_96
20×associate-/l*_binary64 associate-/r/_binary64
19×*-un-lft-identity_binary64_419 sqrt-pow1_binary64 add-sqr-sqrt_binary64_441 sqrt-prod_binary64_94 associate-*r*_binary64_18
18×pow-prod-down_binary64_149
17×rem-sqrt-square_binary64
15×add-cube-cbrt_binary64_454 pow1/2_binary64
13×flip-+_binary64 pow1/3_binary64 flip3-+_binary64
12×cancel-sign-sub-inv_binary64_385 exp-prod_binary64_471
11×unswap-sqr_binary64 cancel-sign-sub-inv_binary64 pow-prod-up_binary64_148
10×associate-/l/_binary64 unswap-sqr_binary64_46
9×distribute-lft-out_binary64_29
8×add-cbrt-cube_binary64_455 difference-of-squares_binary64_388 associate-*r/_binary64_20 pow1_binary64_480 add-exp-log_binary64_457 frac-times_binary64
7×cbrt-undiv_binary64 cbrt-undiv_binary64_112 div-exp_binary64_129 pow1/2_binary64_158 pow-prod-down_binary64 pow-plus_binary64_141 div-exp_binary64
6×rem-sqrt-square_binary64_91 div-inv_binary64_75 swap-sqr_binary64_45 flip3-+_binary64_81 flip-+_binary64_52 associate-*l/_binary64
5×pow-sqr_binary64_51 *-commutative_binary64_9 prod-exp_binary64 frac-2neg_binary64 associate-*r/_binary64 sum-log_binary64_169 sub-neg_binary64 cbrt-unprod_binary64 clear-num_binary64 diff-log_binary64
4×diff-log_binary64_511 exp-sum_binary64_465 associate-/l*_binary64_23 +-commutative_binary64_8 frac-sub_binary64_87 difference-of-sqr-1_binary64_389 diff-log_binary64_170 *-commutative_binary64 sub-neg_binary64_412
3×pow2_binary64_159 associate-/r*_binary64_22 sqrt-prod_binary64_435 flip3--_binary64_423 flip--_binary64_394 flip-+_binary64_393 +-commutative_binary64_349 sum-log_binary64_510 cancel-sign-sub-inv_binary64_44 pow-unpow_binary64 flip3-+_binary64_422 sub-neg_binary64_71 rem-exp-log_binary64_459
2×+-commutative_binary64 distribute-rgt-out--_binary64 cube-div_binary64 rem-cube-cbrt_binary64 pow-prod-up_binary64 pow-exp_binary64 sum-log_binary64 inv-pow_binary64 unpow3_binary64 pow-flip_binary64 sqr-pow_binary64 cube-mult_binary64 pow-sqr_binary64 frac-add_binary64_86 associate-/l/_binary64_25
1×frac-2neg_binary64_89 sub-div_binary64_85 distribute-rgt-out_binary64_31 sqrt-unprod_binary64 exp-diff_binary64_467 pow-pow_binary64 clear-num_binary64_77 distribute-rgt-in_binary64 rem-cbrt-cube_binary64 pow-to-exp_binary64 distribute-lft-in_binary64 associate--l+_binary64_15 pow2_binary64 pow-plus_binary64 pow3_binary64_161
Counts
75 → 1689
Calls

39 calls:

42.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
34.0ms
(*.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1)) (cbrt.f64 (-.f64 (/.f64 1 x) 1)))
32.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
29.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
25.0ms
(cbrt.f64 (-.f64 (/.f64 1 x) 1))
Compiler

Compiled 61531 to 31517 computations (48.8% saved)

simplify2.8s (7.7%)

Algorithm
45×egg-herbie
Counts
2545 → 2545

regimes2.2s (6%)

Compiler

Compiled 22492 to 15512 computations (31% saved)

localize377.0ms (1%)

Compiler

Compiled 6120 to 10200 computations (-66.7% saved)

bsearch14.0ms (0%)

Compiler

Compiled 76 to 52 computations (31.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...