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

sample1.0min (49.3%)

Algorithm

48×

intervals

Results

23.6s	58500×	body	1280	valid
17.8s	12955×	body	2560	valid
7.8s	35169×	body	640	valid
2.5s	17179×	body	320	valid
1.5s	1177×	body	1280	nan
1.4s	35092×	body	80	valid
780.0ms	8251×	body	160	valid
680.0ms	943×	body	640	nan
650.0ms	43014×	pre	80	true
550.0ms	3138×	body	80	overflowed
271.0ms	659×	body	1280	overflowed
204.0ms	464×	body	320	nan
167.0ms	231×	body	640	invalid
128.0ms	94×	body	1280	invalid
116.0ms	414×	body	640	overflowed
93.0ms	145×	body	2560	overflowed
83.0ms	187×	body	320	invalid
56.0ms	246×	body	160	nan
39.0ms	415×	body	80	invalid
39.0ms	656×	body	80	nan
38.0ms	22×	body	5120	valid
37.0ms	185×	body	320	overflowed
25.0ms	103×	body	160	invalid
13.0ms	96×	body	160	overflowed
7.0ms	6×	body	2560	invalid

prune20.8s (16.4%)

Filtered: 7148 candidates to 4934 candidates (31.0%)

series15.0s (11.8%)

Calls

269 calls:

682.0ms	(+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
381.0ms	(/.f64 (.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (+.f64 (cos.f64 x) (/.f64 (sin.f64 x) (/.f64 (cos.f64 x) (sin.f64 x))))) (.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x)))
379.0ms	(log.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))))))
374.0ms	(log.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))))))
373.0ms	(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))

simplify11.7s (9.2%)

Algorithm

133×	egg-herbie

analyze9.6s (7.6%)

Algorithm

28×

Search

True	Other	False	Iter
0%	90.9%	9.1%	0
14.3%	76.7%	9.1%	1
21.4%	67.8%	10.9%	2
33.2%	51.7%	15.1%	3
37.6%	44.1%	18.2%	4
43.8%	36.2%	19.9%	5
46.6%	32.5%	20.9%	6
48.1%	29.6%	22.3%	7
49.9%	27.4%	22.7%	8
51.1%	25.4%	23.5%	9
51.5%	24.3%	24.2%	10
52.4%	22.9%	24.7%	11
53.2%	21.5%	25.2%	12
53.5%	20.9%	25.6%	13
53.9%	20.1%	26%	14

regimes3.0s (2.4%)

Accuracy

Total 11.6b remaining (12.5%)

Threshold costs 4.5b (4.8%)

5.4b	33.8%	expq3 (problem 3.4.2)
1.7b	85.1%	2nthrt (problem 3.4.6)
1.0b	0%	expq2 (section 3.11)
0.6b	97.1%	expax (section 3.5)
0.4b	0%	2tan (problem 3.3.2)

rewrite2.4s (1.9%)

Algorithm

85×	rewrite-expression-head

Calls

269 calls:

106.0ms	(+.f64 (-.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (+.f64 x 1))) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
44.0ms	(+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
37.0ms	(-.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))))) (cbrt.f64 x))
36.0ms	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
36.0ms	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))

Rules

1076×	`add-sqr-sqrt_binary64_559`
1072×	`*-un-lft-identity_binary64_574`
726×	`times-frac_binary64_569`
652×	`add-cube-cbrt_binary64_545`
626×	`*-un-lft-identity_binary64_1216`
568×	`add-sqr-sqrt_binary64_1201`
544×	`*-un-lft-identity_binary64`
512×	`add-sqr-sqrt_binary64`
427×	`add-exp-log_binary64_538`
357×	`add-cbrt-cube_binary64_546`
334×	`times-frac_binary64_1211`
296×	`times-frac_binary64`
281×	`add-cube-cbrt_binary64_1187`
277×	`pow1_binary64_520`
225×	`add-cube-cbrt_binary64`
205×	`associate-l_binary64_634`
201×	`add-log-exp_binary64_539`
192×	`add-exp-log_binary64_1180`
176×	`log-prod_binary64_492`
169×	`unpow-prod-down_binary64_509`
162×	`difference-of-squares_binary64_603`
153×	`add-cbrt-cube_binary64_1188`
145×	`sqrt-prod_binary64`
141×	`associate-r_binary64_633`
137×	`associate-r_binary64_1275`
133×	`difference-of-squares_binary64`
121×	`pow1_binary64_1162`
108×	`add-log-exp_binary64_1181`
104×	`distribute-lft-out_binary64_618`
102×	`add-log-exp_binary64`
101×	`distribute-lft-out--_binary64` `associate-/l*_binary64_638` `prod-exp_binary64_525`
96×	`associate-l_binary64_1276` `sqrt-prod_binary64_1195`
92×	`distribute-lft-out--_binary64_619`
91×	`add-sqr-sqrt_binary64_1843`
90×	`add-exp-log_binary64`
89×	`distribute-lft-out_binary64_1260`
82×	`add-cbrt-cube_binary64`
80×	`associate-/r*_binary64_637` `difference-of-squares_binary64_1245`
79×	`pow1_binary64` `cbrt-unprod_binary64_543`
78×	`sqr-pow_binary64_606`
73×	`unswap-sqr_binary64_602`
72×	`sqrt-prod_binary64_553`
71×	`cbrt-prod_binary64_541`
70×	`*-un-lft-identity_binary64_1858` `div-exp_binary64_527`
65×	`log-prod_binary64` `distribute-lft-out--_binary64_1261`
64×	`log-pow_binary64_495`
61×	`cbrt-undiv_binary64_544`
59×	`add-cube-cbrt_binary64_1829` `cbrt-prod_binary64`
58×	`prod-exp_binary64_1167`
57×	`pow1_binary64_1804` `associate-/r*_binary64_1279`
53×	`flip3--_binary64_573` `flip--_binary64_600`
52×	`div-inv_binary64_575`
50×	`pow-unpow_binary64_507`
49×	`pow-prod-down_binary64_501`
48×	`cube-prod_binary64_547`
47×	`distribute-lft-out_binary64`
44×	`unswap-sqr_binary64_1244` `associate-/l*_binary64_1280`
43×	`unpow-prod-down_binary64_1151`
42×	`flip3-+_binary64_1214` `associate-/l*_binary64` `flip-+_binary64_1241`
38×	`flip-+_binary64_599` `flip3-+_binary64_572`
36×	`difference-of-sqr--1_binary64_1247` `associate-*r/_binary64_1277`
35×	`flip3--_binary64` `add-exp-log_binary64_1822` `add-log-exp_binary64_1823` `flip--_binary64` `cbrt-unprod_binary64_1185`
34×	`flip3--_binary64_1215` `*-commutative_binary64_642` `flip--_binary64_1242`
33×	`add-cbrt-cube_binary64_1830`
32×	`cbrt-prod_binary64_1183` `log-div_binary64_493` `associate-/r*_binary64` `difference-of-sqr-1_binary64` `sub-neg_binary64_578`
31×	`div-inv_binary64_1217`
29×	`associate-/r/_binary64_639`
28×	`cbrt-prod_binary64_1825` `log-prod_binary64_1134` `associate-*l/_binary64_636` `tan-quot_binary64_449`
27×	`exp-prod_binary64_528` `associate-*r/_binary64_635`
26×	`associate-r_binary64_1917`
25×	`diff-log_binary64_490` `pow-exp_binary64_498`
24×	`difference-of-sqr--1_binary64_605` `distribute-rgt-in_binary64_1259` `sqrt-prod_binary64_1837` `distribute-lft-in_binary64_1258` `sqr-pow_binary64_1248`
23×	`pow-to-exp_binary64_499` `pow-prod-down_binary64_1143` `diff-log_binary64` `*-commutative_binary64_1284`
22×	`pow-pow_binary64_502` `frac-add_binary64_1206`
21×	`sub-neg_binary64` `associate-/r/_binary64_1281` `associate-l_binary64_1918`
20×	`pow1/3_binary64_512` `associate-/l/_binary64_640` `clear-num_binary64_577` `frac-2neg_binary64_567`
18×	`frac-times_binary64_1208` `rem-log-exp_binary64_537`
16×	`sub-neg_binary64_1220` `frac-times_binary64_566` `div-inv_binary64` `cbrt-div_binary64_1184`
15×	`div-exp_binary64_1169` `cbrt-undiv_binary64_1186`
14×	`associate-/l/_binary64` `associate-/r/_binary64` `swap-sqr_binary64_1885` `cube-prod_binary64_1189` `sum-log_binary64_489`
13×	`unpow3_binary64_1160` `pow-exp_binary64_1140` `sqrt-div_binary64`
12×	`flip3-+_binary64` `clear-num_binary64_1219` `log-pow_binary64` `frac-2neg_binary64_1209` `unpow2_binary64_517` `diff-log_binary64_1132` `flip-+_binary64`
11×	`associate-*l/_binary64_1278` `sum-log_binary64_1131` `unpow-prod-down_binary64` `pow-to-exp_binary64_1141` `unswap-sqr_binary64_1886` `difference-of-sqr-1_binary64_604` `difference-of-sqr-1_binary64_1246`
10×	`pow1/3_binary64_1796` `associate-r_binary64` `pow1/3_binary64` `pow-flip_binary64_1146` `sqrt-pow1_binary64_1839` `cbrt-div_binary64_542` `cbrt-div_binary64` `rem-sqrt-square_binary64` `div-exp_binary64` `pow1/2_binary64_1794` `div-sub_binary64_568`
9×	`swap-sqr_binary64_601` `log-prod_binary64_1776` `swap-sqr_binary64_1243` `+-commutative_binary64_641` `pow1/2_binary64` `cbrt-undiv_binary64` `+-commutative_binary64_1283` `distribute-rgt-out_binary64_1262` `exp-prod_binary64_1812` `sqrt-pow1_binary64` `frac-sub_binary64_565` `distribute-lft-in_binary64_616` `distribute-rgt-in_binary64_617`
8×	`exp-diff_binary64_535` `log-pow_binary64_1779` `clear-num_binary64` `sqrt-div_binary64_554` `associate--l+_binary64_1272` `frac-2neg_binary64` `pow-prod-down_binary64_1785` `associate--r+_binary64_1271` `pow-pow_binary64` `pow1/3_binary64_1154`
7×	`rec-exp_binary64_1168` `unpow2_binary64_1159` `prod-exp_binary64` `sin-mult_binary64_445` `rec-exp_binary64_526` `pow-prod-up_binary64_1784` `log-div_binary64` `unpow3_binary64_518` `frac-add_binary64_564` `cube-mult_binary64_549`
6×	`pow-unpow_binary64_1149` `exp-prod_binary64` `cube-div_binary64_548` `pow-unpow_binary64` `inv-pow_binary64_1138` `sqrt-div_binary64_1196` `associate--r+_binary64_629` `exp-sum_binary64_533` `exp-lft-sqr_binary64_1173`
5×	`cbrt-unprod_binary64_1827` `associate--l+_binary64_630` `prod-exp_binary64_1809` `rem-log-exp_binary64` `*-commutative_binary64_1926` `distribute-rgt-neg-in_binary64` `div-sub_binary64` `pow-sqr_binary64_1891` `pow-pow_binary64_1144` `cbrt-unprod_binary64` `frac-sub_binary64_1207` `cube-mult_binary64_1191` `sqr-pow_binary64`
4×	`sinh-undef_binary64_1016` `associate--r+_binary64` `pow1/2_binary64_1152` `associate--l-_binary64_631` `distribute-lft-neg-in_binary64_1250` `associate-+r+_binary64_625` `distribute-rgt-in_binary64_1901` `distribute-rgt-neg-in_binary64_1251` `associate-+r+_binary64_1267` `distribute-lft-in_binary64_1900` `unswap-sqr_binary64` `associate-l_binary64` `distribute-lft-out_binary64_1902` `associate-/l/_binary64_1282` `distribute-rgt-out--_binary64` `sqrt-pow1_binary64_1197` `associate-+l+_binary64_1268` `neg-mul-1_binary64_1223` `associate--l+_binary64`
3×	`pow-prod-down_binary64` `sum-log_binary64_1773` `pow-to-exp_binary64` `neg-sub0_binary64_580` `associate--l-_binary64` `unpow2_binary64` `pow-exp_binary64` `sqr-sin-a_binary64_438` `pow-sqr_binary64_607` `pow-prod-up_binary64_500` `pow1/2_binary64_510` `sqrt-pow1_binary64_555` `cube-prod_binary64` `distribute-rgt-neg-in_binary64_609`
2×	`pow-plus_binary64_515` `rem-sqrt-square_binary64_562` `pow-prod-up_binary64_1142` `inv-pow_binary64_496` `log-pow_binary64_1137` `sin-sum_binary64_1707` `associate-r/_binary64_1919` `rem-cube-cbrt_binary64_1192` `pow2_binary64_511` `exp-prod_binary64_1170` `sum-log_binary64` `difference-of-squares_binary64_1887` `flip-+_binary64_1883` `cos-sum_binary64_424` `pow2_binary64_1795` `exp-neg_binary64_534` `associate--r-_binary64_632` `diff-log_binary64_1774` `tan-sum_binary64_425` `sub-neg_binary64_1862` `pow-sqr_binary64_1249` `rem-sqrt-square_binary64_1204` `rem-cube-cbrt_binary64_550` `flip3-+_binary64_1856` `pow-flip_binary64_504` `flip--_binary64_1884` `rem-sqrt-square_binary64_1846` `distribute-lft-out--_binary64_1903` `associate-+l-_binary64_1270` `flip3--_binary64_1857` `exp-to-pow_binary64_1156` `pow-plus_binary64_1799` `-commutative_binary64`
1×	`tan-quot_binary64_1091` `distribute-rgt1-in_binary64_1265` `rem-exp-log_binary64_1820` `pow-plus_binary64_1157` `diff-sin_binary64_1724` `associate-+l+_binary64_626` `associate-+l-_binary64_628` `neg-sub0_binary64` `sin-cos-mult_binary64_1730` `neg-log_binary64_491` `sqrt-unprod_binary64_1841` `frac-sub_binary64` `unpow3_binary64` `cube-mult_binary64` `sum-cubes_binary64_570` `+-commutative_binary64_1925` `rem-square-sqrt_binary64_1845` `rem-exp-log_binary64_1178` `rem-cube-cbrt_binary64` `associate--l+_binary64_1914` `neg-log_binary64` `+-commutative_binary64` `sub-div_binary64` `associate-+r+_binary64_1909` `pow2_binary64_1153` `diff-atan_binary64_1731` `diff-cos_binary64_441` `rem-log-exp_binary64_1821`

Details

sample1.0min (49.3%)

prune20.8s (16.4%)

series15.0s (11.8%)

simplify11.7s (9.2%)

analyze9.6s (7.6%)

regimes3.0s (2.4%)

rewrite2.4s (1.9%)

localize1.4s (1.1%)

bsearch432.0ms (0.3%)

end1.0ms (0.0%)

Profiling