Date:	Thursday, August 6th, 2020
Commit:	83ea4c9e on refactor-reprify
Hostname:	warfa with Racket 7.5
Seed:	2020219
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.5min (47.4%)

Algorithm

62×

intervals

Results

20.6s	31004×	body	1280	valid
14.9s	175840×	body	80	valid
9.4s	20262×	body	640	valid
6.3s	7649×	body	2560	valid
4.7s	50575×	body	80	nan
3.9s	794×	body	5120	invalid
3.5s	1386×	body	2560	invalid
3.1s	9645×	body	320	valid
2.8s	4648×	body	1280	nan
2.6s	24035×	body	80	invalid
2.0s	2547×	body	5120	valid
2.0s	3638×	body	1280	invalid
1.9s	8989×	body	160	valid
1.7s	3907×	body	640	nan
1.1s	3088×	body	640	invalid
641.0ms	2021×	body	320	nan
480.0ms	1736×	body	320	invalid
365.0ms	588×	body	5120	exit
350.0ms	2528×	body	80	overflowed
167.0ms	892×	body	160	invalid
155.0ms	8256×	pre	80	true
127.0ms	660×	body	160	nan

analyze34.7s (17.7%)

Algorithm

31×

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

prune18.6s (9.5%)

Filtered: 14756 candidates to 9470 candidates (35.8%)

series16.9s (8.6%)

Calls

450 calls:

745.0ms	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U U))))))))
738.0ms	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (.f64 (cbrt.f64 Om) (cbrt.f64 Om))) (.f64 (-.f64 U* U) (/.f64 (cbrt.f64 l) (cbrt.f64 Om)))))))))))
736.0ms	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U U)))))))))
720.0ms	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U U)))))))))
716.0ms	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U U)))))))))

regimes15.2s (7.8%)

Accuracy

Total 50.3b remaining (25.9%)

Threshold costs 3.7b (1.9%)

8.9b	34.5%	Henrywood and Agarwal, Equation (3)
8.7b	30.8%	Toniolo and Linder, Equation (13)
5.9b	15.4%	Henrywood and Agarwal, Equation (12)
5.6b	0%	Maksimov and Kolovsky, Equation (3)
5.4b	77.5%	Toniolo and Linder, Equation (7)

simplify10.2s (5.2%)

Algorithm

181×	egg-herbie

rewrite4.7s (2.4%)

Algorithm

119×	rewrite-expression-head

Calls

450 calls:

64.0ms	(.f64 (cos.f64 th) (/.f64 (sqrt.f64 (+.f64 (.f64 a1 a1) (.f64 a2 a2))) (/.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2))))))
48.0ms	(.f64 (.f64 (.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l))))) (sqrt.f64 (/.f64 d (cbrt.f64 (cbrt.f64 l))))))) (-.f64 1 (.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 M D) (*.f64 d 2)) 2)) (/.f64 h l))))
48.0ms	(.f64 (sqrt.f64 n) (/.f64 (/.f64 (sqrt.f64 (.f64 2 PI.f64)) (pow.f64 (.f64 n (.f64 2 PI.f64)) (/.f64 k 2))) (sqrt.f64 k)))
47.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))))) (*.f64 M M))))
46.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))

Rules

4763×	`times-frac_binary64`
4381×	`add-sqr-sqrt_binary64`
4305×	`add-exp-log_binary64`
3979×	`*-un-lft-identity_binary64`
3235×	`add-cube-cbrt_binary64`
2875×	`add-cbrt-cube_binary64`
2001×	`sqrt-prod_binary64`
1856×	`prod-exp_binary64`
1408×	`pow1_binary64`
1294×	`associate-r_binary64`
1190×	`cbrt-unprod_binary64`
1021×	`div-exp_binary64`
752×	`associate-l_binary64`
596×	`unpow-prod-down_binary64`
588×	`associate-*r/_binary64`
556×	`cbrt-undiv_binary64`
519×	`add-log-exp_binary64`
505×	`sqrt-div_binary64`
502×	`pow-prod-down_binary64`
443×	`cbrt-prod_binary64`
421×	`associate-/l*_binary64`
366×	`difference-of-squares_binary64`
358×	`frac-times_binary64`
340×	`associate-/r*_binary64`
329×	`div-inv_binary64`
315×	`associate-*l/_binary64`
255×	`pow-exp_binary64`
251×	`sqr-pow_binary64`
241×	`unswap-sqr_binary64`
212×	`flip3-+_binary64` `flip-+_binary64`
211×	`flip3--_binary64` `flip--_binary64`
192×	`associate-/r/_binary64`
175×	`distribute-lft-out_binary64`
159×	`*-commutative_binary64`
154×	`distribute-lft-out--_binary64`
151×	`pow-to-exp_binary64`
125×	`sqrt-pow1_binary64`
119×	`pow-unpow_binary64`
98×	`clear-num_binary64` `frac-2neg_binary64`
88×	`cube-prod_binary64`
84×	`pow1/2_binary64`
77×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
76×	`rem-sqrt-square_binary64`
72×	`unpow2_binary64`
58×	`sub-neg_binary64`
55×	`rec-exp_binary64` `1-exp_binary64`
54×	`log-prod_binary64`
53×	`tan-quot_binary64`
52×	`associate-/l/_binary64`
49×	`pow1/3_binary64`
37×	`pow-pow_binary64`
32×	`frac-add_binary64` `cbrt-div_binary64`
27×	`difference-of-sqr-1_binary64`
23×	`sum-log_binary64`
21×	`+-commutative_binary64`
17×	`associate--r+_binary64` `log-pow_binary64`
16×	`div-sub_binary64`
13×	`diff-log_binary64`
12×	`swap-sqr_binary64` `unpow3_binary64` `cube-mult_binary64` `pow-prod-up_binary64`
11×	`exp-sum_binary64` `pow-flip_binary64` `inv-pow_binary64` `rem-cube-cbrt_binary64` `associate--l+_binary64`
10×	`sinh-def_binary64` `exp-prod_binary64` `pow-plus_binary64`
8×	`pow-sqr_binary64` `log-div_binary64`
7×	`associate-+r+_binary64` `cube-div_binary64`
6×	`pow2_binary64`
5×	`un-div-inv_binary64`
4×	`acos-asin_binary64` `frac-sub_binary64`
3×	`sqrt-unprod_binary64` `sqrt-undiv_binary64` `rem-log-exp_binary64` `cos-diff_binary64` `asin-acos_binary64` `associate--r-_binary64` `cos-sum_binary64`
2×	`rem-exp-log_binary64` `exp-diff_binary64` `sinh-undef_binary64` `pow-sub_binary64`
1×	`sub-div_binary64` `mul0-rgt_binary64`

Details

sample1.5min (47.4%)

analyze34.7s (17.7%)

prune18.6s (9.5%)

series16.9s (8.6%)

regimes15.2s (7.8%)

simplify10.2s (5.2%)

rewrite4.7s (2.4%)

localize2.1s (1.1%)

bsearch675.0ms (0.3%)

end1.0ms (0.0%)

Profiling