Date:Friday, January 15th, 2021
Commit:8423aa53 on symmetry
Hostname:warfa with Racket 7.9
Seed:2021015
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.4s)

sample10.8s (31.3%)

Algorithm
18×intervals
Results
3.1s70278×body128valid
749.0ms4026×body2048valid
123.0ms1456×body128nan
117.0ms2057×body128invalid
Compiler

Compiled 6534 to 4579 computations (29.9% saved)

series9.0s (26.1%)

Counts
56 → 726
Calls

33 calls:

1.7s
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
1.5s
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
670.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
447.0ms
(-.f64 (neg.f64 b) (*.f64 (fabs.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
351.0ms
(sqrt.f64 (+.f64 (*.f64 -4 (*.f64 a c)) (*.f64 b b)))
Compiler

Compiled 77765 to 52534 computations (32.4% saved)

analyze4.0s (11.6%)

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)

prune3.1s (9%)

Counts
1995 → 122
Compiler

Compiled 67408 to 37235 computations (44.8% saved)

simplify2.6s (7.6%)

Algorithm
42×egg-herbie
Counts
1897 → 1897

regimes2.3s (6.7%)

Compiler

Compiled 24332 to 17002 computations (30.1% saved)

rewrite2.1s (6.2%)

Algorithm
24×rewrite-expression-head
Rules
192×*-un-lft-identity_binary64_78
188×add-sqr-sqrt_binary64
167×times-frac_binary64_84
163×add-sqr-sqrt_binary64_100
153×*-un-lft-identity_binary64
142×add-cube-cbrt_binary64_113
83×add-cube-cbrt_binary64
64×times-frac_binary64
56×add-exp-log_binary64_116
50×add-cbrt-cube_binary64_114 pow1_binary64
47×add-log-exp_binary64
46×add-log-exp_binary64_117
44×sqrt-prod_binary64 add-exp-log_binary64
42×pow1_binary64_139 add-cbrt-cube_binary64
34×difference-of-squares_binary64
32×associate-*r*_binary64
31×associate-/r*_binary64_22
30×sqrt-prod_binary64_94
29×cbrt-prod_binary64
28×log-prod_binary64
25×distribute-lft-out_binary64_29
20×sqrt-div_binary64_95
19×flip--_binary64 flip3--_binary64 flip3--_binary64_82 flip--_binary64_53
18×sqrt-div_binary64
17×associate-/l*_binary64_23
16×associate-*l*_binary64_19 associate-*l*_binary64 distribute-lft-out--_binary64 associate-*r*_binary64_18
13×div-exp_binary64_129 *-un-lft-identity_binary64_419 difference-of-sqr-1_binary64 cancel-sign-sub-inv_binary64 add-sqr-sqrt_binary64_441
12×add-cube-cbrt_binary64_454
11×div-inv_binary64_75 associate-/r/_binary64_24
10×cbrt-div_binary64 pow1/2_binary64_158 sqrt-pow1_binary64 pow1/2_binary64 rem-sqrt-square_binary64_91 sqrt-pow1_binary64_96
9×cbrt-undiv_binary64_112 times-frac_binary64_425 flip-+_binary64_52 flip3-+_binary64_81
8×unpow-prod-down_binary64 unswap-sqr_binary64 cancel-sign-sub-inv_binary64_44 rem-sqrt-square_binary64 distribute-lft-out_binary64 cube-prod_binary64
7×diff-log_binary64_170 div-inv_binary64
6×log-pow_binary64 diff-log_binary64 exp-prod_binary64_471 sub-neg_binary64_71 pow1/3_binary64 cbrt-prod_binary64_109 associate-/l/_binary64_25
5×frac-2neg_binary64_89 pow-prod-down_binary64 clear-num_binary64_77 flip-+_binary64 associate-/r*_binary64 prod-exp_binary64 flip3-+_binary64 cbrt-unprod_binary64 add-log-exp_binary64_458
4×add-cbrt-cube_binary64_455 exp-sum_binary64_465 cbrt-unprod_binary64_111 sub-neg_binary64 unswap-sqr_binary64_46 cbrt-div_binary64_110 sum-log_binary64 associate-/l*_binary64 log-div_binary64 prod-exp_binary64_127 neg-log_binary64 neg-sub0_binary64
3×cbrt-undiv_binary64 associate-/r*_binary64_363 associate-/l*_binary64_364 associate-*r/_binary64_20 cancel-sign-sub-inv_binary64_385 add-exp-log_binary64_457 pow-unpow_binary64 *-commutative_binary64 sum-log_binary64_169 div-exp_binary64 associate-*l/_binary64_21
2×+-commutative_binary64 *-commutative_binary64_9 div-exp_binary64_470 sub-div_binary64_85 difference-of-squares_binary64_388 1-exp_binary64_122 associate--l-_binary64 distribute-rgt-neg-in_binary64 pow-prod-down_binary64_149 pow1_binary64_480 rec-exp_binary64_128 +-commutative_binary64_8 associate-/l/_binary64 associate-*r/_binary64 unpow3_binary64 pow1/3_binary64_160 associate-+l-_binary64 frac-sub_binary64_87 associate-*l/_binary64 sqr-pow_binary64 associate-/r/_binary64 cube-mult_binary64 rem-log-exp_binary64 rem-exp-log_binary64_459
1×div-sub_binary64_83 difference-of-squares_binary64_47 exp-diff_binary64_467 inv-pow_binary64_163 diff-log_binary64_511 distribute-rgt-out--_binary64 rem-cube-cbrt_binary64 sqrt-unprod_binary64 pow-pow_binary64 pow-exp_binary64 e-exp-1_binary64_464 frac-2neg_binary64 rem-cbrt-cube_binary64 difference-of-sqr-1_binary64_389 associate--l+_binary64_15 pow-flip_binary64_152 div-inv_binary64_416 cbrt-undiv_binary64_453 pow-to-exp_binary64 clear-num_binary64 sub-neg_binary64_412 clear-num_binary64_418 frac-2neg_binary64_430
Counts
56 → 1162
Calls

33 calls:

44.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
29.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
21.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
19.0ms
(-.f64 (/.f64 1 x) 1)
16.0ms
(-.f64 (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) b)
Compiler

Compiled 41786 to 23181 computations (44.5% saved)

localize342.0ms (1%)

Compiler

Compiled 6120 to 10200 computations (-66.7% saved)

bsearch143.0ms (0.4%)

Compiler

Compiled 2 to 6 computations (-200% saved)

end0.0ms (0%)

Profiling

Loading profile data...