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: 1.4min)

sample35.2s (41.7%)

Algorithm
26×intervals
Results
11.4s6633×body8192exit
5.5s17128×body1024valid
2.9s79414×body128valid
1.5s6946×body512valid
1.5s4945×body1024nan
1.1s24768×pre128true
499.0ms792×body2048valid
449.0ms3048×body256valid
441.0ms2478×body512nan
167.0ms2094×body128invalid
141.0ms1301×body256nan
69.0ms220×body1024invalid
59.0ms254×body512invalid
44.0ms748×body128nan
31.0ms167×body256invalid
9.0ms136×body128overflowed
5.0ms2×body8192nan
3.0ms2×body4096nan
2.0ms3×body2048nan
Compiler

Compiled 7487 to 5049 computations (32.6% saved)

analyze23.5s (27.9%)

Algorithm
13×search
26×egg-herbie
Search
TrueOtherFalseIter
0%76.9%23.1%0
0%76.9%23.1%1
0%76.9%23.1%2
25%51.9%23.1%3
34.6%42.3%23.1%4
39.9%37%23.1%5
42.3%33.9%23.8%6
45.6%30.4%24%7
47.2%28.4%24.4%8
49%26.5%24.5%9
50.8%24.3%24.9%10
51.4%23.5%25.1%11
52.1%22.5%25.4%12
52.8%21.6%25.6%13
53%21%25.9%14
Compiler

Compiled 163 to 136 computations (16.6% saved)

series12.5s (14.8%)

Calls

124 calls:

614.0ms
(-.f64 (/.f64 (/.f64 (+.f64 (*.f64 (sin.f64 y) (cos.f64 z)) (*.f64 (sin.f64 z) (cos.f64 y))) (*.f64 (cos.f64 y) (cos.f64 z))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
597.0ms
(/.f64 (pow.f64 (pow.f64 (pow.f64 l (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (*.f64 (fabs.f64 (cbrt.f64 (exp.f64 w))) (sqrt.f64 (cbrt.f64 (exp.f64 w))))) (exp.f64 w))
594.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (*.f64 (tan.f64 z) (sin.f64 y)) (cos.f64 y)))) (tan.f64 a))
587.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
494.0ms
(pow.f64 (pow.f64 (pow.f64 l (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (*.f64 (fabs.f64 (cbrt.f64 (exp.f64 w))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))))

simplify4.6s (5.5%)

Algorithm
72×egg-herbie
Compiler

Compiled 84 to 62 computations (26.2% saved)

regimes3.5s (4.1%)

Accuracy

Total 3.7b remaining (2.9%)

Threshold costs 2.5b (2%)

1.2b0%mixedcos
0.3b0%sqrt C
0.3b0%sqrt D
0.3b0%sqrt E
0.3b0%rsin B

Compiler

Compiled 36921 to 24440 computations (33.8% saved)

prune3.4s (4.1%)

Compiler

Compiled 75882 to 26888 computations (64.6% saved)

rewrite1.1s (1.3%)

Algorithm
46×rewrite-expression-head
Rules
314×add-sqr-sqrt_binary64_441
303×add-exp-log_binary64_457
276×times-frac_binary64_425
271×*-un-lft-identity_binary64_419 add-cube-cbrt_binary64_454
240×add-sqr-sqrt_binary64_782
239×unpow-prod-down_binary64_839
229×*-un-lft-identity_binary64_760
205×add-cube-cbrt_binary64_795
201×add-cbrt-cube_binary64_455
187×times-frac_binary64_766
173×add-exp-log_binary64
168×pow1_binary64
133×prod-exp_binary64_468
129×add-exp-log_binary64_116
126×add-sqr-sqrt_binary64
125×associate-*r*_binary64_18
124×sqrt-prod_binary64_94
118×add-sqr-sqrt_binary64_100 pow1_binary64_480 pow1_binary64_139
115×associate-*r*_binary64_359
109×add-cbrt-cube_binary64
104×*-un-lft-identity_binary64
93×pow-prod-down_binary64
92×prod-exp_binary64 cbrt-unprod_binary64
81×add-cbrt-cube_binary64_114
79×add-cube-cbrt_binary64
73×prod-exp_binary64_127 associate-*l*_binary64_360
69×add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
66×associate-*r*_binary64
62×pow-prod-down_binary64_149
61×cbrt-unprod_binary64_111 add-exp-log_binary64_798 cbrt-unprod_binary64_452
59×associate-/l*_binary64_705
56×sqrt-prod_binary64_776 add-log-exp_binary64_458
51×associate-/r*_binary64_363
49×associate-/l*_binary64_364
47×div-exp_binary64_470 pow1_binary64_821
46×add-log-exp_binary64 cbrt-prod_binary64 add-cbrt-cube_binary64_796
45×sqr-pow_binary64_732
43×pow-exp_binary64_828
42×associate-*l*_binary64
41×pow-unpow_binary64_837
37×associate-*l*_binary64_19
36×pow-prod-down_binary64_490
34×sin-mult_binary64_574
33×associate-/r/_binary64_365
31×add-log-exp_binary64_799 cbrt-undiv_binary64_453
30×exp-prod_binary64_812
28×cos-mult_binary64_573
27×div-inv_binary64_416 log-pow_binary64_849
26×unswap-sqr_binary64_46
24×unpow-prod-down_binary64_157 *-commutative_binary64_350 sqrt-prod_binary64
23×cbrt-prod_binary64_109 associate-/r*_binary64_704 div-exp_binary64_811 tan-quot_binary64
21×pow-to-exp_binary64_829 unswap-sqr_binary64_387 times-frac_binary64
19×add-log-exp_binary64_117
18×pow-to-exp_binary64_488 pow-exp_binary64_487
16×*-commutative_binary64_9 unswap-sqr_binary64 *-commutative_binary64
15×clear-num_binary64_418 frac-2neg_binary64_430 cancel-sign-sub-inv_binary64
14×flip3--_binary64_423 flip--_binary64_394 frac-sub_binary64_428 sub-div_binary64_426
12×distribute-lft-out--_binary64_712 difference-of-squares_binary64_729
9×associate-*r*_binary64_700
8×distribute-lft-out_binary64 sqrt-pow1_binary64_96 associate-/l*_binary64 sqrt-pow1_binary64_778 pow-pow_binary64_832
7×associate-/l/_binary64 cbrt-undiv_binary64_794 associate-/r*_binary64 unpow-prod-down_binary64_498 difference-of-squares_binary64 frac-2neg_binary64_771 clear-num_binary64_759 div-inv_binary64_757
6×log-prod_binary64_846
5×flip3-+_binary64 sub-neg_binary64_412 sub-neg_binary64 flip3--_binary64 diff-log_binary64 pow1/2_binary64_840 distribute-lft-out--_binary64 cbrt-undiv_binary64 frac-sub_binary64 associate-/l/_binary64_366 flip--_binary64 cancel-sign-sub-inv_binary64_385 rem-sqrt-square_binary64_773 div-exp_binary64 diff-log_binary64_511 flip-+_binary64
4×1-exp_binary64_463 pow-to-exp_binary64_147 sqr-pow_binary64_50 frac-add_binary64 sum-log_binary64 associate-+r+_binary64 rec-exp_binary64_469 sqrt-pow1_binary64 pow-exp_binary64_146 associate-*r/_binary64_361 cbrt-prod_binary64_791 associate-*l/_binary64
3×unswap-sqr_binary64_728 associate-/r/_binary64 clear-num_binary64 swap-sqr_binary64_386 unpow2_binary64_484 sqr-pow_binary64_391 associate-*l*_binary64_701 frac-2neg_binary64 sin-cos-mult_binary64 div-inv_binary64 +-commutative_binary64 pow1/2_binary64_158 div-sub_binary64_424
2×cos-2_binary64_561 associate-/l/_binary64_707 pow1/2_binary64 associate-*r/_binary64 inv-pow_binary64_504 cos-sum_binary64_553 tan-sum_binary64 pow-flip_binary64_493 sqrt-div_binary64_95 rem-log-exp_binary64_801 associate-*r/_binary64_20 associate-/r/_binary64_706 frac-times_binary64 flip--_binary64_735 flip3--_binary64_764
1×flip-+_binary64_52 prod-exp_binary64_809 div-sub_binary64_765 associate-+r-_binary64 cos-mult_binary64 rem-exp-log_binary64_800 sqr-abs_binary64_434 pow2_binary64_500 pow-plus_binary64_482 cbrt-unprod_binary64_793 un-div-inv_binary64_417 pow-prod-down_binary64_831 pow-sqr_binary64_392 pow-prod-up_binary64_489 *-commutative_binary64_691 flip3-+_binary64_81
Calls

124 calls:

25.0ms
(*.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (*.f64 (*.f64 (fabs.f64 x) (*.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))
22.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (*.f64 (tan.f64 z) (sin.f64 y)) (cos.f64 y)))) (tan.f64 a))
22.0ms
(*.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (*.f64 (*.f64 (fabs.f64 x) (*.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))
22.0ms
(*.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (*.f64 (*.f64 (fabs.f64 x) (*.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))))
21.0ms
(-.f64 (/.f64 (/.f64 (+.f64 (*.f64 (sin.f64 y) (cos.f64 z)) (*.f64 (sin.f64 z) (cos.f64 y))) (*.f64 (cos.f64 y) (cos.f64 z))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))

localize413.0ms (0.5%)

bsearch36.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

end0.0ms (0%)

Profiling

Loading profile data...