Date:	Wednesday, April 28th, 2021
Commit:	15160217 on split-operator-table
Hostname:	warfa with Racket 7.9
Seed:	2021118
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

sample32.8s (32.8%)

Algorithm

26×

intervals

Results

11.4s	6591×	body	8192	exit
5.2s	16793×	body	1024	valid
3.0s	79570×	body	128	valid
1.5s	5083×	body	1024	nan
1.5s	7056×	body	512	valid
838.0ms	24768×	pre	128	true
458.0ms	745×	body	2048	valid
445.0ms	3164×	body	256	valid
439.0ms	2503×	body	512	nan
170.0ms	1999×	body	128	invalid
149.0ms	1300×	body	256	nan
60.0ms	188×	body	1024	invalid
51.0ms	216×	body	512	invalid
45.0ms	763×	body	128	nan
30.0ms	162×	body	256	invalid
11.0ms	162×	body	128	overflowed
4.0ms	3×	body	4096	nan
2.0ms	1×	body	8192	nan
1.0ms	3×	body	2048	nan

Compiler

Compiled 2728 to 2126 computations (22.1% saved)

analyze26.6s (26.6%)

Algorithm

13×	search
26×	egg-herbie

Rules

3184×	`sqr-pow_binary64`
3120×	`unswap-sqr_binary64`
1723×	`div-sub_binary64`
1705×	`pow-sqr_binary64`
1633×	`associate-l_binary64`
1539×	`*-commutative_binary64`
1236×	`associate-/l/_binary64`
1183×	`associate-/l*_binary64`
1078×	`associate-r_binary64`
1006×	`distribute-rgt-in_binary64`
990×	`sub-neg_binary64`
889×	`associate-/r*_binary64`
864×	`unsub-neg_binary64`
776×	`cube-prod_binary64`
752×	`distribute-rgt-out_binary64`
627×	`times-frac_binary64`
615×	`cancel-sign-sub-inv_binary64`
540×	`distribute-lft-in_binary64`
528×	`unpow3_binary64`
512×	`count-2_binary64`
484×	`cube-mult_binary64`
475×	`associate-/r/_binary64`
378×	`exp-prod_binary64`
362×	`distribute-rgt-neg-in_binary64`
309×	`neg-mul-1_binary64`
275×	`distribute-neg-frac_binary64`
233×	`pow-plus_binary64` `associate--r+_binary64`
231×	`distribute-lft-neg-in_binary64`
222×	`distribute-neg-in_binary64`
221×	`distribute-lft-neg-out_binary64`
218×	`neg-sub0_binary64`
198×	`prod-exp_binary64`
190×	`rem-sqrt-square_binary64`
180×	`distribute-lft-out_binary64`
178×	`associate-*l/_binary64`
176×	`rec-exp_binary64`
171×	`associate-*r/_binary64`
165×	`associate--r-_binary64`
160×	`swap-sqr_binary64`
149×	`distribute-frac-neg_binary64`
148×	`distribute-rgt-neg-out_binary64`
133×	`+-commutative_binary64`
132×	`*-lft-identity_binary64`
128×	`associate-+l-_binary64`
109×	`associate--l+_binary64`
108×	`associate--l-_binary64`
92×	`div-exp_binary64`
81×	`associate-+r+_binary64`
77×	`/-rgt-identity_binary64`
76×	`associate-+l+_binary64`
75×	`sub0-neg_binary64`
63×	`remove-double-neg_binary64`
60×	`associate-+r-_binary64`
50×	`exp-diff_binary64`
49×	`unpow1/2_binary64` `unpow1_binary64`
47×	`unpow2_binary64`
45×	`exp-sum_binary64`
44×	`*-rgt-identity_binary64` `cube-unmult_binary64`
42×	`distribute-rgt-out--_binary64`
35×	`+-rgt-identity_binary64`
34×	`distribute-neg-out_binary64`
29×	`exp-sqrt_binary64` `--rgt-identity_binary64`
27×	`mul0-rgt_binary64` `remove-double-div_binary64`
26×	`div0_binary64`
25×	`mul0-lft_binary64`
23×	`tan-neg_binary64`
17×	`exp-lft-sqr_binary64`
15×	`+-lft-identity_binary64` `lft-mult-inverse_binary64`
12×	`distribute-lft-out--_binary64`
10×	`cube-div_binary64`
7×	`1-exp_binary64`
6×	`cancel-sign-sub_binary64`
5×	`distribute-rgt1-in_binary64`
3×	`rgt-mult-inverse_binary64` `exp-neg_binary64` `*-inverses_binary64`
2×	`mul-1-neg_binary64` `unpow-1_binary64` `exp-1-e_binary64` `distribute-lft1-in_binary64` `exp-lft-cube_binary64`
1×	`rem-square-sqrt_binary64` `swap-y-z` `swap-c-s` `cos-neg_binary64`
0×	`e-exp-1_binary64` `hang-m-tan_binary64` `cos-PI/3_binary64` `if-if-and-not_binary64` `cos-PI/2_binary64` `not-lte_binary64` `sinh-+-cosh_binary64` `not-or` `tan-0_binary64` `sinh-cosh_binary64` `and-false-r` `log-rec_binary64` `difference-of-sqr-1_binary64` `cube-neg_binary64` `cos-PI_binary64` `if-false_binary64` `gt-same_binary64` `cos-sin-sum_binary64` `hang-p0-tan_binary64` `not-lt_binary64` `sqr-abs_binary64` `cos-+PI_binary64` `unpow0_binary64` `sin-PI_binary64` `1-sub-sin_binary64` `exp-cbrt_binary64` `not-not` `if-not_binary64` `if-if-or-not_binary64` `lte-same_binary64` `1-sub-cos_binary64` `tan-PI/4_binary64` `lt-same_binary64` `tanh-def-a_binary64` `cos-PI/6_binary64` `log-prod_binary64` `tan-PI/6_binary64` `erfc-erf_binary64` `tanh-def-c_binary64` `or-true-l` `sub-1-cos_binary64` `difference-of-sqr--1_binary64` `rem-3cbrt-rft_binary64` `+-inverses_binary64` `exp-0_binary64` `tan-+PI_binary64` `tan-PI/3_binary64` `if-if-or_binary64` `rem-3cbrt-lft_binary64` `log-E_binary64` `pow-base-1_binary64` `exp-to-pow_binary64` `or-false-l` `sinh-def_binary64` `sqr-neg_binary64` `erf-odd_binary64` `if-same_binary64` `tanh-def-b_binary64` `rem-exp-log_binary64` `log-pow_binary64` `and-true-l` `and-same` `-1-add-cos_binary64` `not-gt_binary64` `cosh-def_binary64` `-1-add-sin_binary64` `rem-cube-cbrt_binary64` `sin-neg_binary64` `cos-PI/4_binary64` `or-true-r` `erf-erfc_binary64` `or-false-r` `cos-+PI/2_binary64` `not-gte_binary64` `hang-m0-tan_binary64` `hang-0p-tan_binary64` `difference-of-squares_binary64` `pow-base-0_binary64` `not-and` `rem-cbrt-cube_binary64` `sin-PI/4_binary64` `sin-PI/2_binary64` `sin-0_binary64` `hang-p-tan_binary64` `hang-0m-tan_binary64` `or-same` `sin-PI/3_binary64` `sinh---cosh_binary64` `log-div_binary64` `rem-log-exp_binary64` `if-if-and_binary64` `sin-PI/6_binary64` `tan-+PI/2_binary64` `if-true_binary64` `and-true-r` `cos-0_binary64` `sin-+PI_binary64` `gte-same_binary64` `sin-+PI/2_binary64` `not-false` `sub-1-sin_binary64` `tan-PI_binary64` `not-true` `and-false-l` `unpow1/3_binary64`

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)

regimes17.1s (17.1%)

Compiler: Compiled 258844 to 169815 computations (34.4% saved)

series6.7s (6.7%)

Counts

139 → 1023

Calls

90 calls:

498.0ms	(-.f64 (.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a)))
415.0ms	(/.f64 1 (-.f64 (.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a))))
366.0ms	(+.f64 x (-.f64 (.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a))))
315.0ms	(/.f64 (-.f64 (.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z))) (.f64 (sin.f64 a) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))) (.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
245.0ms	(/.f64 1 (/.f64 1 (-.f64 (.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a)))))

Compiler

Compiled 58881 to 36234 computations (38.5% saved)

simplify6.5s (6.5%)

Algorithm

75×	egg-herbie

Rules

14364×	`unswap-sqr_binary64`
13112×	`associate-/l*_binary64`
12400×	`associate-l_binary64`
10515×	`sqr-pow_binary64`
10203×	`associate-r_binary64`
10198×	`*-commutative_binary64`
9921×	`times-frac_binary64`
9473×	`associate-/l/_binary64`
8928×	`associate-/r*_binary64`
8142×	`associate-/r/_binary64`
7154×	`associate-*l/_binary64`
5525×	`distribute-rgt-in_binary64`
5522×	`log-prod_binary64`
5288×	`associate-*r/_binary64`
4706×	`distribute-rgt-neg-in_binary64`
4541×	`cancel-sign-sub-inv_binary64`
4441×	`distribute-lft-in_binary64`
4366×	`exp-prod_binary64`
4267×	`pow-sqr_binary64`
4188×	`cube-prod_binary64`
4079×	`distribute-rgt-out_binary64`
4049×	`associate-+l+_binary64`
4014×	`div-sub_binary64`
3965×	`distribute-lft-neg-in_binary64`
3542×	`sub-neg_binary64`
3491×	`log-div_binary64`
3255×	`associate-+r+_binary64`
2610×	`+-commutative_binary64`
2341×	`neg-mul-1_binary64`
2316×	`swap-sqr_binary64`
2266×	`neg-sub0_binary64`
2191×	`unpow3_binary64`
2096×	`unsub-neg_binary64`
1926×	`distribute-lft-out_binary64`
1538×	`cube-div_binary64`
1447×	`distribute-neg-frac_binary64`
1433×	`cube-mult_binary64`
1281×	`associate--l+_binary64`
1164×	`log-pow_binary64`
1155×	`distribute-rgt-neg-out_binary64`
1151×	`count-2_binary64`
1131×	`distribute-lft-neg-out_binary64`
1035×	`distribute-rgt-out--_binary64`
1031×	`distribute-neg-in_binary64`
1005×	`*-rgt-identity_binary64`
998×	`pow-plus_binary64`
979×	`associate-+l-_binary64`
893×	`rem-sqrt-square_binary64`
877×	`*-lft-identity_binary64`
767×	`associate-+r-_binary64`
746×	`associate--r+_binary64`
702×	`exp-sum_binary64`
614×	`cube-unmult_binary64`
433×	`prod-exp_binary64`
417×	`/-rgt-identity_binary64`
380×	`exp-diff_binary64`
369×	`associate--r-_binary64`
314×	`distribute-rgt1-in_binary64`
299×	`rec-exp_binary64`
290×	`unpow1/2_binary64`
260×	`unpow2_binary64`
257×	`log-rec_binary64`
245×	`distribute-lft-out--_binary64`
229×	`associate--l-_binary64`
226×	`unpow1_binary64`
223×	`distribute-frac-neg_binary64`
198×	`div-exp_binary64`
188×	`sub0-neg_binary64`
181×	`+-rgt-identity_binary64`
138×	`remove-double-neg_binary64`
130×	`distribute-lft1-in_binary64`
125×	`distribute-neg-out_binary64`
122×	`exp-sqrt_binary64`
94×	`mul-1-neg_binary64`
90×	`difference-of-squares_binary64` `exp-lft-sqr_binary64`
87×	`exp-to-pow_binary64`
78×	`mul0-rgt_binary64`
74×	`mul0-lft_binary64`
58×	`1-exp_binary64` `unpow1/3_binary64`
56×	`--rgt-identity_binary64`
55×	`rem-square-sqrt_binary64`
52×	`exp-neg_binary64`
51×	`remove-double-div_binary64`
39×	`pow-base-1_binary64`
38×	`div0_binary64` `rem-cbrt-cube_binary64`
36×	`cancel-sign-sub_binary64`
34×	`exp-1-e_binary64`
31×	`rem-3cbrt-lft_binary64`
30×	`sqr-neg_binary64`
28×	`rem-3cbrt-rft_binary64`
27×	`rem-log-exp_binary64`
21×	`+-inverses_binary64`
19×	`rem-exp-log_binary64`
18×	`*-inverses_binary64`
17×	`cube-neg_binary64`
16×	`+-lft-identity_binary64`
13×	`sqr-abs_binary64`
7×	`difference-of-sqr-1_binary64`
5×	`log-E_binary64`
4×	`rem-cube-cbrt_binary64` `lft-mult-inverse_binary64` `cos-neg_binary64`
3×	`unpow-1_binary64`
2×	`difference-of-sqr--1_binary64` `exp-lft-cube_binary64`
0×	`e-exp-1_binary64` `if-if-and-not_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `not-lte_binary64` `rgt-mult-inverse_binary64` `sinh-+-cosh_binary64` `sub-1-cos_binary64` `tan-0_binary64` `sinh-cosh_binary64` `and-false-r` `cos-PI_binary64` `if-false_binary64` `gt-same_binary64` `cos-sin-sum_binary64` `hang-p0-tan_binary64` `not-lt_binary64` `cos-+PI_binary64` `unpow0_binary64` `sin-PI_binary64` `1-sub-sin_binary64` `exp-cbrt_binary64` `not-not` `if-not_binary64` `tan-PI/4_binary64` `lte-same_binary64` `1-sub-cos_binary64` `lt-same_binary64` `tanh-def-a_binary64` `cos-PI/6_binary64` `tan-PI/6_binary64` `erfc-erf_binary64` `tan-neg_binary64` `tanh-def-c_binary64` `if-if-or-not_binary64` `or-true-l` `not-false` `not-or` `exp-0_binary64` `tan-+PI_binary64` `tan-PI/3_binary64` `if-if-or_binary64` `or-false-l` `sinh-def_binary64` `erf-odd_binary64` `if-same_binary64` `tanh-def-b_binary64` `sin-0_binary64` `and-same` `-1-add-cos_binary64` `not-gt_binary64` `and-true-l` `cosh-def_binary64` `-1-add-sin_binary64` `sin-neg_binary64` `cos-PI/4_binary64` `or-true-r` `erf-erfc_binary64` `or-false-r` `cos-+PI/2_binary64` `not-gte_binary64` `hang-m0-tan_binary64` `hang-0p-tan_binary64` `pow-base-0_binary64` `not-and` `sin-+PI/2_binary64` `sin-PI/4_binary64` `sin-PI/2_binary64` `if-true_binary64` `hang-p-tan_binary64` `hang-0m-tan_binary64` `or-same` `sin-PI/3_binary64` `sinh---cosh_binary64` `hang-m-tan_binary64` `if-if-and_binary64` `sin-PI/6_binary64` `and-true-r` `cos-0_binary64` `sin-+PI_binary64` `gte-same_binary64` `tan-+PI/2_binary64` `sub-1-sin_binary64` `tan-PI_binary64` `not-true` `and-false-l`

Counts

4622 → 3190

rewrite6.3s (6.3%)

Algorithm

49×	rewrite-expression-head

Rules

1081×	`add-sqr-sqrt_binary64`
902×	`*-un-lft-identity_binary64`
864×	`times-frac_binary64`
825×	`add-cube-cbrt_binary64`
716×	`add-exp-log_binary64`
514×	`pow1_binary64`
423×	`add-cbrt-cube_binary64`
248×	`prod-exp_binary64`
232×	`associate-r_binary64`
203×	`sqrt-prod_binary64`
201×	`associate-l_binary64`
191×	`sqrt-pow1_binary64`
187×	`associate-/r*_binary64`
183×	`cbrt-prod_binary64`
181×	`pow-prod-down_binary64`
168×	`add-log-exp_binary64`
156×	`div-exp_binary64`
124×	`cbrt-unprod_binary64`
119×	`unpow-prod-down_binary64`
96×	`associate-/l*_binary64`
90×	`unswap-sqr_binary64`
88×	`associate-/r/_binary64`
81×	`cbrt-div_binary64`
71×	`cbrt-undiv_binary64`
66×	`associate-*r/_binary64`
60×	`div-inv_binary64`
56×	`cancel-sign-sub-inv_binary64`
51×	`pow-pow_binary64`
49×	`pow-exp_binary64` `*-commutative_binary64`
47×	`pow-to-exp_binary64`
42×	`exp-diff_binary64` `frac-times_binary64` `distribute-lft-out--_binary64`
41×	`exp-neg_binary64` `neg-sub0_binary64`
39×	`pow-unpow_binary64`
38×	`pow1/2_binary64`
37×	`flip--_binary64` `flip3--_binary64` `sin-mult_binary64` `sqr-pow_binary64`
35×	`exp-prod_binary64`
33×	`cos-mult_binary64`
32×	`difference-of-squares_binary64`
31×	`frac-sub_binary64`
30×	`frac-2neg_binary64` `rec-exp_binary64` `1-exp_binary64` `swap-sqr_binary64` `clear-num_binary64`
28×	`pow-prod-up_binary64` `pow1/3_binary64`
27×	`cube-prod_binary64`
26×	`tan-quot_binary64`
25×	`associate-*l/_binary64`
20×	`pow-sqr_binary64`
18×	`associate-+r+_binary64`
16×	`sub-div_binary64`
15×	`associate-/l/_binary64` `unpow2_binary64`
12×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`
10×	`flip-+_binary64` `pow-flip_binary64` `flip3-+_binary64`
9×	`sub-neg_binary64` `diff-log_binary64`
8×	`div-sub_binary64`
7×	`distribute-lft-out_binary64`
6×	`log-pow_binary64` `sum-log_binary64` `inv-pow_binary64` `log-prod_binary64` `pow2_binary64`
5×	`frac-add_binary64` `rem-sqrt-square_binary64` `cos-2_binary64` `pow-plus_binary64`
4×	`neg-mul-1_binary64`
3×	`associate-+r-_binary64` `associate--r+_binary64` `unpow3_binary64` `+-commutative_binary64` `cube-mult_binary64`
2×	`rem-exp-log_binary64` `sqr-abs_binary64` `tan-sum_binary64` `remove-double-div_binary64` `sqrt-div_binary64` `distribute-rgt-in_binary64` `rem-cbrt-cube_binary64` `quot-tan_binary64` `exp-to-pow_binary64` `cos-sum_binary64` `distribute-lft-in_binary64` `sqrt-undiv_binary64` `difference-of-sqr--1_binary64` `distribute-rgt-neg-out_binary64`
1×	`exp-sum_binary64` `cube-div_binary64` `rem-cube-cbrt_binary64` `sqrt-unprod_binary64` `rem-square-sqrt_binary64` `unsub-neg_binary64` `rem-log-exp_binary64` `sqrt-pow2_binary64`

Counts

139 → 3586

Calls

90 calls:

35.0ms	(.f64 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (*.f64 (fabs.f64 x) (cbrt.f64 (sqrt.f64 2))))
27.0ms	(.f64 (cbrt.f64 (sqrt.f64 2)) (.f64 (fabs.f64 x) (pow.f64 (sqrt.f64 2) 2/3)))
27.0ms	(-.f64 (.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a)))
24.0ms	(sqrt.f64 (.f64 x (.f64 x 2)))
22.0ms	(*.f64 (tan.f64 y) (tan.f64 z))

Compiler

Compiled 89493 to 33972 computations (62% saved)

prune3.3s (3.3%)

Counts: 3452 → 344
Compiler: Compiled 58375 to 23431 computations (59.9% saved)

localize481.0ms (0.5%)

bsearch111.0ms (0.1%)

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

end30.0ms (0%)

Compiler: Compiled 281 to 233 computations (17.1% saved)

Details

sample32.8s (32.8%)

analyze26.6s (26.6%)

regimes17.1s (17.1%)

series6.7s (6.7%)

simplify6.5s (6.5%)

rewrite6.3s (6.3%)

prune3.3s (3.3%)

localize481.0ms (0.5%)

bsearch111.0ms (0.1%)

end30.0ms (0%)

Profiling