Date:	Tuesday, August 11th, 2020
Commit:	bcfc386d on master
Hostname:	warfa with Racket 7.5
Seed:	2020224
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.2min (63.6%)

Algorithm

56×

intervals

Results

26.1s	69842×	body	1280	valid
18.5s	17231×	body	2560	valid
9.1s	43696×	body	640	valid
2.9s	21476×	body	320	valid
2.8s	68116×	body	80	valid
1.1s	1073×	body	1280	nan
914.0ms	10301×	body	160	valid
653.0ms	43071×	pre	80	true
618.0ms	892×	body	640	nan
481.0ms	2907×	body	80	overflowed
376.0ms	3546×	body	80	nan
298.0ms	713×	body	1280	overflowed
186.0ms	458×	body	320	nan
184.0ms	506×	body	5120	valid
182.0ms	268×	body	640	invalid
161.0ms	121×	body	1280	invalid
107.0ms	398×	body	640	overflowed
107.0ms	171×	body	2560	overflowed
96.0ms	1683×	body	80	invalid
68.0ms	178×	body	320	invalid
57.0ms	246×	body	160	nan
40.0ms	190×	body	320	overflowed
19.0ms	82×	body	160	invalid
12.0ms	89×	body	160	overflowed

analyze9.9s (9.1%)

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

simplify9.2s (8.4%)

Algorithm

162×	egg-herbie

prune7.3s (6.6%)

Filtered: 10504 candidates to 6520 candidates (37.9%)

series5.6s (5.1%)

Calls

348 calls:

403.0ms	(-.f64 (.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (.f64 (.f64 (tan.f64 x) (tan.f64 eps)) (.f64 (tan.f64 x) (tan.f64 eps))))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
114.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
112.0ms	(-.f64 (/.f64 1 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (+.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
75.0ms	(/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
68.0ms	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1)))

rewrite3.7s (3.4%)

Algorithm

106×	rewrite-expression-head

Calls

348 calls:

101.0ms	(+.f64 (/.f64 (/.f64 (+.f64 (/.f64 1 x) -1) x) x) (/.f64 -1 (pow.f64 x 4)))
90.0ms	(*.f64 (sqrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)))) (sqrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)))))
64.0ms	(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
58.0ms	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) 3)))
53.0ms	(+.f64 (.f64 (.f64 (/.f64 (cbrt.f64 (+.f64 (/.f64 1 x) -1)) (cbrt.f64 x)) (/.f64 (cbrt.f64 (+.f64 (/.f64 1 x) -1)) x)) (/.f64 (cbrt.f64 (+.f64 (/.f64 1 x) -1)) (pow.f64 (cbrt.f64 x) 2))) (/.f64 -1 (pow.f64 x 4)))

Rules

5918×	`*-un-lft-identity_binary64`
4213×	`times-frac_binary64`
3958×	`add-sqr-sqrt_binary64`
2165×	`add-cube-cbrt_binary64`
1498×	`distribute-lft-out_binary64`
1497×	`sqrt-prod_binary64`
943×	`add-exp-log_binary64`
781×	`add-cbrt-cube_binary64`
735×	`pow1_binary64`
666×	`difference-of-squares_binary64`
597×	`add-log-exp_binary64`
589×	`distribute-lft-out--_binary64`
572×	`cbrt-prod_binary64`
566×	`div-inv_binary64`
437×	`unpow-prod-down_binary64`
408×	`associate-/l*_binary64`
396×	`associate-r_binary64`
347×	`associate-/r*_binary64`
321×	`cube-prod_binary64`
266×	`associate-l_binary64`
198×	`associate-/r/_binary64`
197×	`flip3-+_binary64` `flip-+_binary64`
186×	`div-exp_binary64`
165×	`prod-exp_binary64`
163×	`log-prod_binary64`
160×	`sqr-pow_binary64`
158×	`swap-sqr_binary64`
157×	`flip3--_binary64` `flip--_binary64`
156×	`unswap-sqr_binary64`
134×	`cbrt-undiv_binary64`
126×	`sqrt-div_binary64`
119×	`log-pow_binary64`
118×	`cbrt-unprod_binary64`
109×	`associate-*r/_binary64`
108×	`difference-of-sqr-1_binary64`
102×	`cbrt-div_binary64`
94×	`frac-add_binary64`
93×	`frac-times_binary64`
92×	`pow-prod-down_binary64`
82×	`diff-log_binary64`
80×	`sub-neg_binary64`
79×	`tan-quot_binary64`
73×	`clear-num_binary64` `frac-2neg_binary64`
69×	`sqrt-pow1_binary64`
62×	`pow1/3_binary64`
54×	`difference-of-sqr--1_binary64`
53×	`*-commutative_binary64`
52×	`sum-log_binary64` `log-div_binary64`
50×	`associate-/l/_binary64` `exp-prod_binary64`
49×	`pow1/2_binary64` `pow-flip_binary64`
48×	`associate-*l/_binary64`
43×	`pow-unpow_binary64`
35×	`distribute-rgt-neg-in_binary64` `+-commutative_binary64` `associate--l+_binary64`
33×	`frac-sub_binary64`
31×	`inv-pow_binary64` `pow-pow_binary64`
30×	`pow-to-exp_binary64` `rec-exp_binary64` `1-exp_binary64` `pow-exp_binary64` `distribute-lft-neg-in_binary64`
26×	`rem-sqrt-square_binary64`
25×	`pow-prod-up_binary64`
24×	`neg-mul-1_binary64`
23×	`div-sub_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64`
20×	`rem-log-exp_binary64`
19×	`pow-sqr_binary64`
18×	`unpow3_binary64` `cube-mult_binary64`
17×	`associate--r+_binary64`
15×	`associate-+r+_binary64`
12×	`associate-+l-_binary64`
8×	`associate--l-_binary64` `pow-plus_binary64`
7×	`pow2_binary64`
6×	`cube-div_binary64` `rem-cube-cbrt_binary64`
5×	`neg-sub0_binary64` `e-exp-1_binary64`
4×	`associate-+l+_binary64` `sin-mult_binary64`
3×	`associate-+r-_binary64` `rem-exp-log_binary64` `sqr-sin-a_binary64` `distribute-frac-neg_binary64` `distribute-rgt-out--_binary64`
2×	`sqrt-unprod_binary64` `rem-cbrt-cube_binary64` `unpow2_binary64` `exp-to-pow_binary64` `exp-diff_binary64` `tan-sum_binary64` `sin-cos-mult_binary64` `exp-neg_binary64` `associate--r-_binary64` `rem-square-sqrt_binary64` `cos-sum_binary64` `un-div-inv_binary64` `sin-sum_binary64`
1×	`difference-cubes_binary64` `sqrt-pow2_binary64` `sum-cubes_binary64` `distribute-rgt-out_binary64` `distribute-lft1-in_binary64` `neg-log_binary64` `diff-sin_binary64` `sub-div_binary64` `diff-atan_binary64` `diff-cos_binary64`

regimes2.5s (2.2%)

Accuracy

Total 21.5b remaining (25.5%)

Threshold costs 4.4b (5.3%)

4.5b	84.5%	quadp (p42, positive)
3.1b	0%	expq3 (problem 3.4.2)
2.5b	89.5%	expax (section 3.5)
1.6b	85.8%	2nthrt (problem 3.4.6)
1.5b	93.6%	quad2p (problem 3.2.1, positive)

Details

sample1.2min (63.6%)

analyze9.9s (9.1%)

simplify9.2s (8.4%)

prune7.3s (6.6%)

series5.6s (5.1%)

rewrite3.7s (3.4%)

regimes2.5s (2.2%)

localize1.1s (1.0%)

bsearch698.0ms (0.6%)

end1.0ms (0.0%)

Profiling