Date:	Wednesday, April 28th, 2021
Commit:	07b57d27 on master
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

regimes1.7min (29.9%)

Compiler: Compiled 1517373 to 1160315 computations (23.5% saved)

sample1.5min (25.7%)

Algorithm

62×

intervals

Results

15.9s	34175×	body	1024	valid
14.7s	182112×	body	128	valid
5.1s	11275×	body	2048	valid
5.0s	16144×	body	512	valid
4.4s	50180×	body	128	nan
3.9s	1268×	body	4096	invalid
2.6s	6041×	body	1024	nan
2.4s	24565×	body	128	invalid
2.4s	3075×	body	4096	valid
2.2s	1184×	body	2048	invalid
1.6s	7910×	body	256	valid
1.5s	4545×	body	1024	invalid
968.0ms	3175×	body	512	nan
779.0ms	1245×	body	8192	valid
616.0ms	2482×	body	512	invalid
322.0ms	2394×	body	128	overflowed
318.0ms	1649×	body	256	nan
268.0ms	1428×	body	256	invalid
146.0ms	8256×	pre	128	true
5.0ms	12×	body	8192	exit
1.0ms	1×	body	2048	nan

Compiler

Compiled 11403 to 9045 computations (20.7% saved)

rewrite38.9s (11.1%)

Algorithm

119×	rewrite-expression-head

Rules

15256×	`times-frac_binary64`
8801×	`add-sqr-sqrt_binary64`
8453×	`*-un-lft-identity_binary64`
7593×	`add-cube-cbrt_binary64`
7176×	`sqrt-prod_binary64`
5399×	`add-exp-log_binary64`
4040×	`add-cbrt-cube_binary64`
2673×	`prod-exp_binary64`
1984×	`cbrt-unprod_binary64`
1893×	`cbrt-prod_binary64`
1846×	`associate-r_binary64`
1610×	`pow1_binary64`
1102×	`div-exp_binary64`
1079×	`unpow-prod-down_binary64`
729×	`associate-l_binary64`
723×	`cbrt-undiv_binary64`
634×	`pow-prod-down_binary64`
623×	`add-log-exp_binary64`
609×	`associate-*r/_binary64`
584×	`sqr-pow_binary64`
579×	`associate-/l*_binary64`
569×	`associate-/r*_binary64`
538×	`div-inv_binary64`
436×	`sqrt-div_binary64`
358×	`frac-times_binary64`
302×	`unswap-sqr_binary64`
268×	`cancel-sign-sub-inv_binary64`
264×	`associate-*l/_binary64`
251×	`associate-/r/_binary64`
250×	`difference-of-squares_binary64` `pow-exp_binary64`
239×	`distribute-lft-out_binary64`
233×	`distribute-lft-out--_binary64`
217×	`flip3-+_binary64` `flip-+_binary64`
210×	`flip--_binary64` `flip3--_binary64`
201×	`exp-prod_binary64`
181×	`*-commutative_binary64`
156×	`log-pow_binary64`
141×	`pow-to-exp_binary64`
137×	`pow-unpow_binary64`
133×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
115×	`log-prod_binary64`
113×	`cube-prod_binary64`
96×	`sqrt-pow1_binary64`
95×	`frac-2neg_binary64` `clear-num_binary64`
85×	`tan-quot_binary64`
73×	`rem-sqrt-square_binary64`
72×	`pow1/2_binary64` `associate-+r+_binary64`
71×	`sub-neg_binary64`
63×	`unpow2_binary64`
62×	`sum-log_binary64`
49×	`associate-/l/_binary64`
40×	`cbrt-div_binary64`
39×	`pow-pow_binary64`
35×	`diff-log_binary64`
32×	`cube-mult_binary64` `frac-add_binary64`
31×	`unpow3_binary64` `+-commutative_binary64`
27×	`associate-+l+_binary64`
25×	`difference-of-sqr-1_binary64` `div-sub_binary64`
24×	`pow1/3_binary64`
23×	`swap-sqr_binary64`
20×	`associate--l+_binary64`
16×	`distribute-rgt-neg-in_binary64`
15×	`rem-exp-log_binary64`
14×	`exp-sum_binary64`
12×	`1-exp_binary64` `rec-exp_binary64`
11×	`cube-div_binary64` `pow-prod-up_binary64` `rem-log-exp_binary64`
8×	`neg-log_binary64` `cos-sum_binary64` `unpow-prod-up_binary64`
7×	`exp-diff_binary64` `associate--r+_binary64` `pow-sqr_binary64`
6×	`pow-sub_binary64` `log-div_binary64` `pow-plus_binary64`
5×	`rem-cube-cbrt_binary64` `sqrt-unprod_binary64` `pow2_binary64`
4×	`acos-asin_binary64` `neg-sub0_binary64`
3×	`associate--r-_binary64` `distribute-neg-in_binary64` `exp-neg_binary64`
2×	`cos-diff_binary64` `distribute-rgt-out--_binary64` `frac-sub_binary64` `sqr-abs_binary64` `associate-+r-_binary64` `asin-acos_binary64` `rem-cbrt-cube_binary64` `distribute-rgt-out_binary64` `inv-pow_binary64` `neg-mul-1_binary64` `associate-+l-_binary64` `pow-flip_binary64` `distribute-lft-neg-in_binary64` `sinh-undef_binary64` `sqrt-undiv_binary64` `sinh-def_binary64`
1×	`e-exp-1_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt1-in_binary64` `rem-square-sqrt_binary64` `un-div-inv_binary64` `associate--l-_binary64` `sub-div_binary64` `sqrt-pow2_binary64` `difference-of-sqr--1_binary64`

Counts

456 → 17989

Calls

348 calls:

129.0ms	(.f64 (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 1 l)))))
91.0ms	(/.f64 (/.f64 (/.f64 (sqrt.f64 (.f64 n (.f64 PI.f64 2))) (pow.f64 (.f64 n (.f64 PI.f64 2)) (/.f64 k 2))) (sqrt.f64 (sqrt.f64 k))) (sqrt.f64 (sqrt.f64 k)))
82.0ms	(.f64 (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)))) (*.f64 (fabs.f64 (cbrt.f64 (/.f64 1 l))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (cbrt.f64 (/.f64 1 l)))))))
61.0ms	(sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 1 l))))
60.0ms	(*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sin.f64 th) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))

Compiler

Compiled 599825 to 302559 computations (49.6% saved)

analyze35.4s (10.1%)

Algorithm

31×	search
62×	egg-herbie

Rules

6768×	`sub-neg_binary64`
6367×	`times-frac_binary64`
6238×	`associate-l_binary64`
6039×	`associate-/l*_binary64`
5584×	`distribute-rgt-in_binary64`
5032×	`associate-r_binary64`
4983×	`div-sub_binary64`
4882×	`associate-*r/_binary64`
4819×	`*-commutative_binary64`
4646×	`neg-mul-1_binary64`
4630×	`associate-/r*_binary64`
4569×	`unswap-sqr_binary64`
4426×	`associate-/r/_binary64`
4405×	`distribute-lft-in_binary64`
4097×	`cancel-sign-sub-inv_binary64`
3828×	`associate-*l/_binary64`
3399×	`distribute-rgt-neg-in_binary64`
3394×	`associate-/l/_binary64`
3312×	`unsub-neg_binary64`
3290×	`neg-sub0_binary64`
2404×	`distribute-lft-neg-in_binary64`
2124×	`distribute-neg-frac_binary64`
1918×	`associate-+l+_binary64`
1874×	`distribute-rgt-neg-out_binary64`
1832×	`distribute-lft-neg-out_binary64`
1818×	`+-commutative_binary64`
1654×	`sqr-pow_binary64`
1618×	`associate-+r+_binary64`
1465×	`distribute-neg-in_binary64`
1404×	`associate--l+_binary64`
1145×	`associate-+l-_binary64`
1115×	`distribute-rgt-out_binary64`
1045×	`associate--r+_binary64`
989×	`exp-diff_binary64`
804×	`pow-sqr_binary64`
739×	`exp-prod_binary64`
738×	`distribute-frac-neg_binary64`
645×	`*-lft-identity_binary64`
638×	`associate-+r-_binary64`
630×	`distribute-lft-out_binary64`
623×	`exp-sum_binary64`
603×	`swap-sqr_binary64`
581×	`*-rgt-identity_binary64`
488×	`associate--r-_binary64`
470×	`cube-prod_binary64`
432×	`sub0-neg_binary64`
422×	`unpow3_binary64`
410×	`associate--l-_binary64`
407×	`remove-double-neg_binary64`
330×	`pow-plus_binary64`
329×	`mul0-rgt_binary64`
316×	`mul0-lft_binary64`
307×	`distribute-rgt-out--_binary64`
296×	`cancel-sign-sub_binary64`
267×	`log-prod_binary64`
266×	`distribute-lft-out--_binary64`
251×	`--rgt-identity_binary64`
241×	`/-rgt-identity_binary64` `difference-of-squares_binary64`
215×	`div0_binary64`
202×	`cube-unmult_binary64`
179×	`rem-sqrt-square_binary64`
171×	`cube-mult_binary64`
145×	`+-lft-identity_binary64`
139×	`+-rgt-identity_binary64` `unpow2_binary64`
125×	`distribute-neg-out_binary64`
113×	`unpow1_binary64`
110×	`unpow1/2_binary64`
74×	`mul-1-neg_binary64`
69×	`log-div_binary64`
62×	`exp-neg_binary64`
54×	`distribute-rgt1-in_binary64`
48×	`exp-sqrt_binary64`
44×	`difference-of-sqr-1_binary64`
40×	`prod-exp_binary64`
38×	`distribute-lft1-in_binary64`
34×	`difference-of-sqr--1_binary64`
28×	`sqr-neg_binary64` `1-exp_binary64`
27×	`div-exp_binary64`
14×	`tan-neg_binary64`
13×	`exp-lft-sqr_binary64`
10×	`sin-neg_binary64`
9×	`cube-div_binary64` `cube-neg_binary64`
6×	`rec-exp_binary64`
4×	`*-inverses_binary64`
3×	`+-inverses_binary64` `remove-double-div_binary64`
2×	`exp-1-e_binary64` `swap-M-D`
1×	`swap-V-l` `rgt-mult-inverse_binary64` `rem-square-sqrt_binary64` `unpow-1_binary64` `swap-kx-ky` `lft-mult-inverse_binary64` `swap-Ev-EAccept` `swap-a1-a2` `count-2_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` `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` `exp-lft-cube_binary64` `1-sub-cos_binary64` `tan-PI/4_binary64` `lt-same_binary64` `tanh-def-a_binary64` `cos-PI/6_binary64` `tan-PI/6_binary64` `erfc-erf_binary64` `tanh-def-c_binary64` `or-true-l` `sub-1-cos_binary64` `rem-3cbrt-rft_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` `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` `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` `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` `cos-neg_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%	98.2%	1.8%	0
3.2%	95%	1.8%	1
5.6%	91%	3.4%	2
8%	84.5%	7.4%	3
9.8%	80.7%	9.5%	4
13.5%	76.9%	9.7%	5
16%	72.8%	11.2%	6
18.1%	68.2%	13.7%	7
21.2%	62.6%	16.2%	8
24.7%	57%	18.2%	9
26.4%	53.6%	20%	10
28.9%	49.8%	21.3%	11
30.2%	47.2%	22.5%	12
31.9%	42.5%	25.7%	13
32.9%	40.8%	26.3%	14

Compiler

Compiled 743 to 602 computations (19% saved)

series33.5s (9.5%)

Counts

456 → 4751

Calls

348 calls:

617.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
598.0ms	(sqrt.f64 (/.f64 (.f64 (+.f64 1 (/.f64 Om Omc)) (-.f64 1 (/.f64 Om Omc))) (+.f64 1 (.f64 2 (pow.f64 (/.f64 t l) 2)))))
498.0ms	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (/.f64 l Om) (.f64 n (-.f64 U U)))))))
495.0ms	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 n (/.f64 l Om)) (-.f64 U U))))))
494.0ms	(.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 n (/.f64 (.f64 l (-.f64 U* U)) Om)) (*.f64 l -2))))))

Compiler

Compiled 337535 to 269142 computations (20.3% saved)

simplify26.5s (7.6%)

Algorithm

181×	egg-herbie

Rules

37506×	`associate-l_binary64`
34506×	`times-frac_binary64`
31968×	`associate-r_binary64`
29064×	`associate-/l*_binary64`
28895×	`distribute-rgt-in_binary64`
27367×	`*-commutative_binary64`
23819×	`cancel-sign-sub-inv_binary64`
23522×	`associate-/r*_binary64`
22956×	`distribute-lft-in_binary64`
21753×	`associate-*l/_binary64`
20650×	`unswap-sqr_binary64`
18223×	`associate-/l/_binary64`
17886×	`sub-neg_binary64`
17400×	`associate-*r/_binary64`
16425×	`distribute-rgt-neg-in_binary64`
15149×	`associate-/r/_binary64`
14916×	`div-sub_binary64`
13430×	`neg-mul-1_binary64`
12961×	`exp-prod_binary64`
12946×	`distribute-lft-neg-in_binary64`
11591×	`sqr-pow_binary64`
10735×	`log-prod_binary64`
10218×	`neg-sub0_binary64`
8855×	`distribute-neg-frac_binary64`
8768×	`unsub-neg_binary64`
8165×	`+-commutative_binary64`
7359×	`associate-+l+_binary64`
6722×	`cube-prod_binary64`
6269×	`associate-+r+_binary64`
5571×	`distribute-neg-in_binary64`
5353×	`log-div_binary64`
5352×	`distribute-rgt-out_binary64`
5344×	`distribute-lft-neg-out_binary64`
4706×	`distribute-rgt-neg-out_binary64`
4516×	`exp-sum_binary64`
4066×	`swap-sqr_binary64`
4061×	`associate--l+_binary64`
3940×	`associate--r+_binary64`
3359×	`*-rgt-identity_binary64`
3104×	`unpow3_binary64`
3030×	`*-lft-identity_binary64`
2946×	`cube-div_binary64`
2713×	`pow-sqr_binary64`
2360×	`associate-+l-_binary64`
2278×	`difference-of-squares_binary64`
2210×	`distribute-lft-out_binary64`
1992×	`distribute-rgt-out--_binary64`
1931×	`exp-diff_binary64`
1807×	`associate-+r-_binary64`
1661×	`cube-mult_binary64`
1523×	`cube-unmult_binary64`
1497×	`log-pow_binary64`
1430×	`pow-plus_binary64`
1428×	`associate--r-_binary64`
1338×	`/-rgt-identity_binary64`
1172×	`distribute-frac-neg_binary64`
1155×	`rem-sqrt-square_binary64`
945×	`associate--l-_binary64`
841×	`distribute-lft-out--_binary64`
736×	`sub0-neg_binary64`
729×	`remove-double-neg_binary64`
696×	`unpow1/2_binary64`
688×	`unpow2_binary64`
665×	`unpow1_binary64`
569×	`mul0-rgt_binary64`
556×	`mul0-lft_binary64`
541×	`distribute-rgt1-in_binary64`
522×	`distribute-neg-out_binary64`
491×	`+-rgt-identity_binary64`
470×	`cancel-sign-sub_binary64`
439×	`log-rec_binary64`
432×	`div0_binary64`
408×	`mul-1-neg_binary64`
339×	`prod-exp_binary64`
327×	`exp-neg_binary64`
323×	`--rgt-identity_binary64`
294×	`exp-to-pow_binary64`
291×	`count-2_binary64`
202×	`+-lft-identity_binary64`
195×	`distribute-lft1-in_binary64`
183×	`rem-square-sqrt_binary64`
171×	`1-exp_binary64`
163×	`exp-sqrt_binary64`
149×	`sqr-neg_binary64`
147×	`exp-lft-sqr_binary64`
132×	`remove-double-div_binary64`
122×	`div-exp_binary64`
116×	`difference-of-sqr--1_binary64`
107×	`difference-of-sqr-1_binary64`
101×	`exp-1-e_binary64`
78×	`unpow1/3_binary64`
74×	`rem-log-exp_binary64`
69×	`rem-exp-log_binary64`
58×	`cube-neg_binary64`
50×	`rec-exp_binary64`
45×	`rem-3cbrt-lft_binary64`
40×	`rem-3cbrt-rft_binary64` `pow-base-1_binary64`
32×	`exp-lft-cube_binary64`
30×	`rem-cbrt-cube_binary64` `cos-neg_binary64`
16×	`+-inverses_binary64`
15×	`sqr-abs_binary64` `rem-cube-cbrt_binary64` `sin-neg_binary64`
13×	`unpow-1_binary64` `*-inverses_binary64`
3×	`log-E_binary64` `lft-mult-inverse_binary64`
2×	`rgt-mult-inverse_binary64` `tan-neg_binary64` `sinh-def_binary64`
1×	`e-exp-1_binary64` `if-if-or-not_binary64`
0×	`if-if-and-not_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `not-lte_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` `tanh-def-c_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` `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` `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

22771 → 17879

prune17.8s (5.1%)

Counts: 18655 → 1016
Compiler: Compiled 366916 to 194334 computations (47% saved)

localize1.8s (0.5%)

bsearch1.7s (0.5%)

Compiler: Compiled 107 to 121 computations (-13.1% saved)

end98.0ms (0%)

Compiler: Compiled 2157 to 1466 computations (32% saved)

Details

regimes1.7min (29.9%)

sample1.5min (25.7%)

rewrite38.9s (11.1%)

analyze35.4s (10.1%)

series33.5s (9.5%)

simplify26.5s (7.6%)

prune17.8s (5.1%)

localize1.8s (0.5%)

bsearch1.7s (0.5%)

end98.0ms (0%)

Profiling