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

sample46.9s (36.3%)

Algorithm

26×

intervals

Results

11.0s	6421×	body	8192	exit
5.3s	17022×	body	1024	valid
2.9s	79422×	body	128	valid
1.5s	4996×	body	1024	nan
1.4s	6924×	body	512	valid
844.0ms	24768×	pre	128	true
527.0ms	790×	body	2048	valid
448.0ms	3170×	body	256	valid
440.0ms	2481×	body	512	nan
172.0ms	2084×	body	128	invalid
138.0ms	1243×	body	256	nan
64.0ms	205×	body	1024	invalid
56.0ms	247×	body	512	invalid
43.0ms	762×	body	128	nan
25.0ms	163×	body	256	invalid
9.0ms	158×	body	128	overflowed
3.0ms	6×	body	2048	nan
2.0ms	1×	body	8192	nan

Compiler

Compiled 21550 to 13932 computations (35.4% saved)

series30.4s (23.5%)

Counts

153 → 1084

Calls

98 calls:

2.2s	(-.f64 (+.f64 x (/.f64 (+.f64 (tan.f64 z) (tan.f64 y)) (-.f64 1 (*.f64 (/.f64 (sin.f64 y) (cos.f64 y)) (tan.f64 z))))) (tan.f64 a))
2.2s	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (tan.f64 z)) (cos.f64 y)))) (tan.f64 a)))
2.1s	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
1.9s	(cbrt.f64 (pow.f64 l (exp.f64 w)))
1.5s	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (tan.f64 z)) (cos.f64 y)))) (tan.f64 a))

Compiler

Compiled 64763 to 37721 computations (41.8% saved)

analyze27.2s (21.1%)

Algorithm

13×	search
26×	egg-herbie

Search

True	Other	False	Iter
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)

regimes9.1s (7.1%)

Compiler: Compiled 112775 to 72467 computations (35.7% saved)

rewrite5.6s (4.3%)

Algorithm

49×	rewrite-expression-head

Rules

574×	`times-frac_binary64_766`
542×	`add-sqr-sqrt_binary64_782`
510×	`*-un-lft-identity_binary64_760`
487×	`pow1_binary64_139`
443×	`pow1_binary64`
416×	`sqrt-pow1_binary64_96`
413×	`cbrt-prod_binary64_791`
389×	`add-cube-cbrt_binary64_795`
348×	`sqrt-pow1_binary64`
307×	`add-sqr-sqrt_binary64_441`
295×	`add-exp-log_binary64_457`
263×	`unpow-prod-down_binary64_839`
256×	`*-un-lft-identity_binary64_419`
239×	`pow-prod-down_binary64_149` `add-cube-cbrt_binary64_454`
221×	`pow-prod-down_binary64`
209×	`add-sqr-sqrt_binary64`
208×	`times-frac_binary64_425`
182×	`add-cbrt-cube_binary64_455`
164×	`sqrt-prod_binary64_94`
156×	`add-sqr-sqrt_binary64_100`
154×	`cube-prod_binary64_788`
151×	`*-un-lft-identity_binary64`
149×	`sqrt-prod_binary64`
132×	`prod-exp_binary64_468`
123×	`pow1_binary64_480`
121×	`add-cube-cbrt_binary64`
116×	`associate-r_binary64_359`
101×	`add-exp-log_binary64`
94×	`add-cbrt-cube_binary64`
90×	`associate-l_binary64`
85×	`add-exp-log_binary64_116` `add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
81×	`pow1/2_binary64_158` `add-exp-log_binary64_798`
79×	`pow1_binary64_821`
72×	`associate-l_binary64_19`
71×	`log-prod_binary64_846` `add-log-exp_binary64` `add-cbrt-cube_binary64_114`
70×	`associate-l_binary64_360`
67×	`pow1/2_binary64`
65×	`associate-r_binary64_18`
64×	`add-cbrt-cube_binary64_796`
61×	`associate-r_binary64`
58×	`cbrt-unprod_binary64_452`
57×	`exp-sum_binary64_806`
56×	`associate-/l*_binary64_705` `distribute-lft-out--_binary64_712` `difference-of-squares_binary64_729` `pow-prod-up_binary64_148`
54×	`add-log-exp_binary64_458`
50×	`cbrt-prod_binary64_450`
45×	`div-exp_binary64_470`
42×	`pow-prod-up_binary64`
41×	`div-inv_binary64_757`
40×	`associate-/l*_binary64_364`
39×	`exp-prod_binary64_812` `sqr-pow_binary64_732`
38×	`add-log-exp_binary64_799` `associate-/r*_binary64_363`
36×	`log-pow_binary64_849`
35×	`pow-prod-down_binary64_490`
34×	`cbrt-unprod_binary64_111` `sqrt-div_binary64_95` `prod-exp_binary64_127` `pow-sqr_binary64_51`
31×	`prod-exp_binary64`
30×	`unswap-sqr_binary64`
29×	`associate-/r*_binary64_704` `cbrt-unprod_binary64`
28×	`add-log-exp_binary64_117` `pow1/3_binary64_842`
27×	`swap-sqr_binary64_45`
26×	`unswap-sqr_binary64_46` `cbrt-undiv_binary64_453` `pow-sqr_binary64`
25×	`unswap-sqr_binary64_387`
24×	`associate-/r/_binary64_365` `unswap-sqr_binary64_728` `times-frac_binary64`
22×	`associate-r_binary64_700` `associate-l_binary64_701` `associate-*r/_binary64_20` `swap-sqr_binary64_727`
21×	`*-commutative_binary64_350` `div-exp_binary64_811` `cancel-sign-sub-inv_binary64`
20×	`div-inv_binary64_416` `tan-quot_binary64`
19×	`pow-to-exp_binary64_488` `unpow-prod-down_binary64_498` `cbrt-prod_binary64` `pow-exp_binary64_487` `sin-mult_binary64_574`
18×	`pow-exp_binary64_828` `pow1/3_binary64_501` `swap-sqr_binary64`
17×	`cos-mult_binary64_573`
16×	`pow-unpow_binary64_837`
15×	`swap-sqr_binary64_386` `cbrt-undiv_binary64_794`
14×	`-commutative_binary64` `-commutative_binary64_9`
12×	`cbrt-prod_binary64_109` `associate-+r+_binary64` `clear-num_binary64_418` `frac-2neg_binary64_430`
11×	`flip--_binary64_394` `flip3--_binary64_423`
10×	`rem-sqrt-square_binary64_91` `flip-+_binary64_52` `unpow-prod-down_binary64` `flip3-+_binary64_81` `pow-to-exp_binary64_829`
9×	`clear-num_binary64_759` `frac-2neg_binary64_771` `distribute-lft-out_binary64` `sum-log_binary64`
8×	`rem-sqrt-square_binary64` `difference-of-squares_binary64_388` `sub-div_binary64_426` `distribute-lft-out--_binary64_371` `sqrt-unprod_binary64` `frac-sub_binary64_428` `diff-log_binary64` `distribute-lft-out--_binary64`
7×	`sqr-pow_binary64_391` `sub-neg_binary64` `pow-prod-up_binary64_830` `rem-log-exp_binary64_801` `prod-exp_binary64_809`
6×	`pow-div_binary64_835` `flip-+_binary64` `flip3-+_binary64` `rem-cube-cbrt_binary64_783` `sqrt-unprod_binary64_98` `frac-sub_binary64` `pow-prod-down_binary64_831` `associate-/r*_binary64` `associate-/l/_binary64_707` `difference-of-squares_binary64` `cancel-sign-sub-inv_binary64_385` `pow-sqr_binary64_733`
5×	`1-exp_binary64_463` `pow-pow_binary64_832` `pow-sqr_binary64_392` `rec-exp_binary64_469` `+-commutative_binary64` `pow-prod-up_binary64_489`
4×	`diff-log_binary64_511` `associate-r/_binary64` `associate-/l_binary64` `associate-*r/_binary64_361` `sqr-pow_binary64` `unpow3_binary64_826` `pow-plus_binary64_823` `flip3--_binary64_764` `flip--_binary64` `frac-times_binary64_88` `div-exp_binary64` `cube-mult_binary64_790` `unpow2_binary64` `cbrt-unprod_binary64_793` `flip--_binary64_735` `cbrt-undiv_binary64` `cube-div_binary64_789` `flip3--_binary64` `sub-neg_binary64_412`
3×	`*-commutative_binary64_691` `unpow2_binary64_484` `associate-+r-_binary64` `pow-plus_binary64_482` `sqr-abs_binary64_93` `pow2_binary64_500` `div-inv_binary64` `pow2_binary64_841` `div-sub_binary64_765` `pow2_binary64_159` `rem-square-sqrt_binary64_90` `sqrt-prod_binary64_435` `pow-plus_binary64_141` `sqrt-prod_binary64_776`
2×	`pow-plus_binary64` `sqr-abs_binary64` `pow-flip_binary64_493` `tan-sum_binary64` `pow1/3_binary64` `rem-square-sqrt_binary64` `associate-l/_binary64` `rem-cbrt-cube_binary64_784` `div-sub_binary64_424` `associate-/r/_binary64_706` `clear-num_binary64` `rem-exp-log_binary64_800` `cbrt-div_binary64_792` `frac-times_binary64` `inv-pow_binary64_504` `un-div-inv_binary64_417` `cos-2_binary64_561` `associate-/l/_binary64_366` `frac-2neg_binary64` `associate-l/_binary64_21` `frac-add_binary64` `cos-sum_binary64_553` `pow2_binary64`
1×	`rem-sqrt-square_binary64_432` `associate--l+_binary64` `associate-/l/_binary64` `sqrt-pow1_binary64_437` `pow-to-exp_binary64` `unpow2_binary64_825` `sqrt-pow1_binary64_778` `pow-exp_binary64` `quot-tan_binary64` `pow1/2_binary64_840` `rem-sqrt-square_binary64_773` `sqr-abs_binary64_434` `pow1/2_binary64_499` `pow3_binary64_843`

Counts

153 → 3960

Calls

98 calls:

54.0ms	(.f64 (sqrt.f64 (sqrt.f64 (.f64 2 (.f64 x x)))) (sqrt.f64 (sqrt.f64 (.f64 2 (*.f64 x x)))))
51.0ms	(sqrt.f64 (.f64 2 (.f64 x x)))
33.0ms	(sqrt.f64 (sqrt.f64 (.f64 2 (.f64 x x))))
30.0ms	(.f64 s (.f64 x c))
30.0ms	(.f64 (.f64 x (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (cbrt.f64 (sqrt.f64 2)))

Compiler

Compiled 96146 to 35640 computations (62.9% saved)

prune4.9s (3.8%)

Counts: 5385 → 432
Compiler: Compiled 105440 to 40137 computations (61.9% saved)

simplify4.6s (3.5%)

Algorithm

75×	egg-herbie

Counts

5057 → 5057

Compiler

Compiled 90 to 68 computations (24.4% saved)

localize466.0ms (0.4%)

bsearch26.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

Details

sample46.9s (36.3%)

series30.4s (23.5%)

analyze27.2s (21.1%)

regimes9.1s (7.1%)

rewrite5.6s (4.3%)

prune4.9s (3.8%)

simplify4.6s (3.5%)

localize466.0ms (0.4%)

bsearch26.0ms (0%)

end0.0ms (0%)

Profiling