Date:	Tuesday, August 18th, 2020
Commit:	fbcf5934 on scaleup-plugins
Hostname:	warfa with Racket 7.5
Seed:	2020231
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:doubleprecision:fallback` default

Details

sample29.1s (34.0%)

Algorithm

24×

intervals

Results

8.7s	6403×	body	5120	exit
6.7s	14035×	body	1280	valid
2.8s	9223×	body	640	valid
2.8s	62206×	body	80	valid
1.5s	3696×	body	1280	nan
882.0ms	4063×	body	320	valid
879.0ms	3231×	body	640	nan
845.0ms	24768×	pre	80	true
287.0ms	1588×	body	320	nan
276.0ms	1801×	body	160	valid
188.0ms	1983×	body	80	invalid
89.0ms	256×	body	640	invalid
68.0ms	602×	body	160	nan
66.0ms	131×	body	1280	invalid
50.0ms	190×	body	320	invalid
36.0ms	521×	body	80	nan
24.0ms	117×	body	160	invalid
9.0ms	151×	body	80	overflowed
3.0ms	3×	body	2560	nan
2.0ms	1×	body	5120	nan

analyze22.0s (25.7%)

Algorithm

13×

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

series11.8s (13.8%)

Calls

117 calls:

580.0ms	(-.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))
580.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (*.f64 (tan.f64 y) (sin.f64 z)) (cos.f64 z)))) (tan.f64 a))
579.0ms	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
577.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
573.0ms	(+.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)))

prune10.3s (12.1%)

Filtered: 2986 candidates to 1997 candidates (33.1%)

simplify7.3s (8.5%)

Algorithm

66×	egg-herbie

regimes3.5s (4.1%)

Accuracy

Total 2.4b remaining (3.6%)

Threshold costs 2.4b (3.6%)

0.4b	0%	sqrt C
0.4b	0%	sqrt D
0.4b	0%	sqrt E
0.3b	0%	mixedcos
0.3b	0%	rsin A

rewrite898.0ms (1.0%)

Algorithm

42×	rewrite-expression-head

Calls

117 calls:

23.0ms	(-.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))
19.0ms	(+.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)))
19.0ms	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (*.f64 (tan.f64 y) (sin.f64 z)) (cos.f64 z)))) (tan.f64 a)))
19.0ms	(.f64 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (*.f64 (fabs.f64 x) (cbrt.f64 (sqrt.f64 2))))
19.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (*.f64 (tan.f64 y) (sin.f64 z)) (cos.f64 z)))) (tan.f64 a))

Rules

518×	`add-sqr-sqrt_binary64`
445×	`add-exp-log_binary64`
400×	`pow1_binary64`
384×	`*-un-lft-identity_binary64`
354×	`add-cube-cbrt_binary64`
292×	`add-cbrt-cube_binary64`
217×	`associate-r_binary64`
198×	`sqrt-pow1_binary64`
190×	`prod-exp_binary64`
166×	`sqrt-prod_binary64`
159×	`associate-l_binary64`
155×	`pow-prod-down_binary64`
154×	`times-frac_binary64`
129×	`add-sqr-sqrt_binary64_1201`
126×	`add-log-exp_binary64`
114×	`unpow-prod-down_binary64`
104×	`*-un-lft-identity_binary64_1216`
98×	`cbrt-unprod_binary64`
86×	`sqrt-pow1_binary64_555`
79×	`add-cube-cbrt_binary64_1187`
75×	`pow1_binary64_520` `unswap-sqr_binary64`
71×	`add-exp-log_binary64_1180`
70×	`times-frac_binary64_1211`
65×	`add-cbrt-cube_binary64_1188`
60×	`pow-exp_binary64`
56×	`associate-r_binary64_1275`
53×	`div-exp_binary64`
52×	`cbrt-prod_binary64`
46×	`log-pow_binary64`
42×	`exp-prod_binary64` `pow-unpow_binary64`
41×	`*-commutative_binary64`
40×	`pow-to-exp_binary64` `pow1_binary64_1162`
37×	`associate-/l*_binary64`
34×	`associate-/r*_binary64` `cbrt-undiv_binary64` `sqrt-div_binary64_554` `sqrt-prod_binary64_553`
33×	`pow1/2_binary64`
32×	`sqr-pow_binary64`
30×	`associate-l_binary64_1276`
27×	`add-sqr-sqrt_binary64_559`
26×	`pow-prod-down_binary64_501`
24×	`pow-prod-up_binary64`
23×	`pow1/2_binary64_510`
22×	`associate-/r/_binary64_1281` `associate-*r/_binary64_635`
21×	`prod-exp_binary64_1167` `div-inv_binary64`
20×	`associate-/r/_binary64`
18×	`swap-sqr_binary64` `cbrt-unprod_binary64_1185`
17×	`associate-/r*_binary64_1279` `tan-quot_binary64`
16×	`add-log-exp_binary64_1181` `pow-sqr_binary64`
15×	`log-prod_binary64`
14×	`*-un-lft-identity_binary64_574` `pow-prod-up_binary64_500` `add-cube-cbrt_binary64_545`
13×	`sin-mult_binary64_1087` `clear-num_binary64` `cos-mult_binary64` `frac-2neg_binary64` `sin-mult_binary64` `associate-/l*_binary64_1280`
12×	`pow-prod-down_binary64_1143` `unswap-sqr_binary64_1244` `distribute-lft-out--_binary64_1261` `cos-mult_binary64_1086` `difference-of-squares_binary64_1245`
10×	`div-exp_binary64_1169` `flip-+_binary64_599` `unpow2_binary64` `pow1/3_binary64` `frac-sub_binary64` `flip3-+_binary64_572` `cbrt-undiv_binary64_1186` `*-commutative_binary64_1284`
9×	`swap-sqr_binary64_601` `flip3--_binary64` `distribute-lft-out_binary64` `sum-log_binary64` `flip--_binary64` `associate-*l/_binary64`
8×	`sub-neg_binary64` `diff-log_binary64` `distribute-lft-out--_binary64` `pow-sqr_binary64_607` `pow-pow_binary64`
7×	`flip3--_binary64_1215` `associate-l_binary64_634` `add-cbrt-cube_binary64_546` `difference-of-squares_binary64` `add-exp-log_binary64_538` `associate-r_binary64_633` `div-inv_binary64_1217` `flip--_binary64_1242`
6×	`associate-*r/_binary64`
5×	`flip3-+_binary64` `clear-num_binary64_1219` `associate-*r/_binary64_1277` `add-log-exp_binary64_539` `frac-sub_binary64_1207` `frac-2neg_binary64_1209` `sub-div_binary64_1205` `+-commutative_binary64` `sub-div_binary64` `flip-+_binary64`
4×	`associate-+r-_binary64` `unswap-sqr_binary64_602` `associate-+r+_binary64` `frac-times_binary64_566` `rem-sqrt-square_binary64` `pow2_binary64`
3×	`associate-/l/_binary64` `rec-exp_binary64_1168` `neg-sub0_binary64` `rem-log-exp_binary64` `cos-2_binary64` `exp-diff_binary64` `div-sub_binary64` `pow-plus_binary64` `exp-neg_binary64`
2×	`un-div-inv_binary64_1218` `tan-sum_binary64` `associate-*l/_binary64_636` `associate-/l/_binary64_1282`
1×	`pow-plus_binary64_515` `rem-sqrt-square_binary64_562` `sqrt-unprod_binary64` `rem-square-sqrt_binary64_561` `frac-add_binary64` `pow-flip_binary64_1146` `div-sub_binary64_1210` `pow2_binary64_511` `prod-exp_binary64_525` `*-commutative_binary64_642` `inv-pow_binary64_1138` `cbrt-unprod_binary64_543` `sqrt-unprod_binary64_557` `cos-sum_binary64_1066` `rem-square-sqrt_binary64` `cos-sum_binary64` `frac-times_binary64`

Details

sample29.1s (34.0%)

analyze22.0s (25.7%)

series11.8s (13.8%)

prune10.3s (12.1%)

simplify7.3s (8.5%)

regimes3.5s (4.1%)

rewrite898.0ms (1.0%)

localize679.0ms (0.8%)

end0.0ms (0.0%)

bsearch0.0ms (0.0%)

Profiling