Date:Sunday, February 14th, 2021
Commit:f81940a2 on master
Hostname:warfa with Racket 7.9
Seed:2021045
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: 47.4s)

sample19.1s (40.4%)

Algorithm
18×intervals
Results
3.3s70237×body128valid
933.0ms4067×body2048valid
146.0ms2065×body128invalid
125.0ms1407×body128nan
Compiler

Compiled 7646 to 5445 computations (28.8% saved)

series10.9s (23%)

Counts
68 → 818
Calls

42 calls:

2.3s
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
516.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
514.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
513.0ms
(-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))
477.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
Compiler

Compiled 60259 to 41627 computations (30.9% saved)

prune4.6s (9.8%)

Counts
2450 → 143
Compiler

Compiled 67572 to 35842 computations (47% saved)

analyze3.9s (8.3%)

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)

regimes2.9s (6.2%)

Compiler

Compiled 26881 to 19229 computations (28.5% saved)

simplify2.8s (6%)

Algorithm
44×egg-herbie
Counts
2337 → 2337

rewrite2.7s (5.6%)

Algorithm
26×rewrite-expression-head
Rules
287×*-un-lft-identity_binary64
253×add-sqr-sqrt_binary64
210×*-un-lft-identity_binary64_78
188×add-sqr-sqrt_binary64_100
185×times-frac_binary64_84
161×times-frac_binary64
154×add-cube-cbrt_binary64_113
151×add-cube-cbrt_binary64
143×add-exp-log_binary64_116
85×add-cbrt-cube_binary64_114
79×add-exp-log_binary64
78×cbrt-prod_binary64
69×pow1_binary64
59×add-cbrt-cube_binary64
53×add-log-exp_binary64_117 add-log-exp_binary64
52×prod-exp_binary64_127
51×pow1_binary64_139
49×associate-*l*_binary64_19
47×associate-*r*_binary64
40×distribute-lft-out_binary64
33×difference-of-squares_binary64
32×div-exp_binary64_129 associate-*r*_binary64_18
30×sqrt-prod_binary64
29×log-prod_binary64
27×distribute-lft-out_binary64_29
26×cbrt-unprod_binary64_111 cbrt-div_binary64 associate-/r*_binary64 associate-*l*_binary64
25×cbrt-prod_binary64_109
24×associate-/r*_binary64_22 flip--_binary64 add-sqr-sqrt_binary64_441 *-un-lft-identity_binary64_419 flip3--_binary64
23×distribute-lft-out--_binary64
22×sqrt-prod_binary64_94
20×add-cube-cbrt_binary64_454
18×cbrt-undiv_binary64_112
16×div-exp_binary64
15×div-inv_binary64
14×div-inv_binary64_75 flip-+_binary64 sqrt-div_binary64_95 flip3-+_binary64 swap-sqr_binary64
13×unswap-sqr_binary64 difference-of-sqr-1_binary64 pow1/3_binary64 associate-/l*_binary64
12×sqrt-div_binary64 flip-+_binary64_52 cancel-sign-sub-inv_binary64_385 flip3--_binary64_82 flip--_binary64_53 flip3-+_binary64_81 add-log-exp_binary64_458
11×cancel-sign-sub-inv_binary64 prod-exp_binary64 associate-/l*_binary64_23
9×cbrt-undiv_binary64 unswap-sqr_binary64_46 times-frac_binary64_425 associate-*l/_binary64_21 associate-/r/_binary64_24
8×difference-of-squares_binary64_388 1-exp_binary64_122 rec-exp_binary64_128 pow-prod-down_binary64 log-div_binary64
7×add-cbrt-cube_binary64_455 log-pow_binary64 pow1/2_binary64_158 sqrt-pow1_binary64 pow-prod-down_binary64_149 add-exp-log_binary64_457 cancel-sign-sub-inv_binary64_44 pow1/2_binary64 pow-flip_binary64 rem-sqrt-square_binary64_91 associate-/r/_binary64 cbrt-unprod_binary64 sqrt-pow1_binary64_96
6×sub-neg_binary64 pow1_binary64_480 diff-log_binary64 pow-unpow_binary64_496 diff-log_binary64_170 exp-prod_binary64_471 sum-log_binary64_169
5×rem-sqrt-square_binary64 +-commutative_binary64 *-commutative_binary64_9 associate--l+_binary64 sum-log_binary64 +-commutative_binary64_8 associate--r+_binary64 pow1/3_binary64_160 rec-exp_binary64 sub-neg_binary64_71 1-exp_binary64
4×exp-sum_binary64_465 associate-*r/_binary64_20 frac-2neg_binary64 unpow-prod-up_binary64_497 frac-times_binary64 associate-*r/_binary64 frac-sub_binary64_87 difference-of-sqr-1_binary64_389 *-commutative_binary64 associate-*l/_binary64 clear-num_binary64 sub-neg_binary64_412 associate-/l/_binary64_25
3×diff-log_binary64_511 associate-/r*_binary64_363 frac-2neg_binary64_89 clear-num_binary64_77 pow-prod-up_binary64 associate-/l*_binary64_364 unpow-prod-down_binary64_498 pow-sqr_binary64
2×difference-of-squares_binary64_47 associate--r-_binary64 div-exp_binary64_470 associate--l-_binary64 flip3--_binary64_423 pow-exp_binary64_487 e-exp-1_binary64_464 associate-/l/_binary64 inv-pow_binary64 flip--_binary64_394 rem-log-exp_binary64 frac-add_binary64_86 pow-plus_binary64 rem-exp-log_binary64_459 pow2_binary64
1×inv-pow_binary64_163 sub-div_binary64_85 distribute-rgt-out_binary64_31 pow-to-exp_binary64_488 sqr-pow_binary64_391 pow-sub_binary64_495 sqrt-unprod_binary64 un-div-inv_binary64 frac-times_binary64_88 pow-pow_binary64_491 associate--l+_binary64_15 pow-flip_binary64_152 div-inv_binary64_416 cbrt-undiv_binary64_453 exp-diff_binary64_467 distribute-lft-out--_binary64_30 clear-num_binary64_418 frac-2neg_binary64_430
Counts
68 → 1510
Calls

42 calls:

24.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
20.0ms
(*.f64 (/.f64 x y) z)
19.0ms
(-.f64 (+.f64 (/.f64 4 y) (/.f64 x y)) (*.f64 (/.f64 x y) z))
18.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
17.0ms
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 z (/.f64 x (cbrt.f64 y))))
Compiler

Compiled 49427 to 26527 computations (46.3% saved)

localize324.0ms (0.7%)

Compiler

Compiled 6120 to 10200 computations (-66.7% saved)

bsearch51.0ms (0.1%)

Compiler

Compiled 77 to 55 computations (28.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...