Date:	Tuesday, July 28th, 2020
Commit:	32b35f01 on refactor-reprify
Hostname:	warfa with Racket 7.5
Seed:	2020210
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

prune2.1min (37.5%)

Filtered: 35599 candidates to 29999 candidates (15.7%)

sample1.5min (26.1%)

Algorithm

61×

intervals

Results

19.9s	30735×	body	1280	valid
14.0s	167975×	body	80	valid
9.2s	20547×	body	640	valid
6.2s	7424×	body	2560	valid
4.5s	50092×	body	80	nan
3.6s	768×	body	5120	invalid
3.6s	1440×	body	2560	invalid
3.1s	9782×	body	320	valid
2.6s	4618×	body	1280	nan
2.5s	24089×	body	80	invalid
2.1s	2603×	body	5120	valid
1.9s	3672×	body	1280	invalid
1.8s	8870×	body	160	valid
1.6s	3981×	body	640	nan
1.1s	3092×	body	640	invalid
616.0ms	2084×	body	320	nan
431.0ms	1668×	body	320	invalid
353.0ms	580×	body	5120	exit
329.0ms	2408×	body	80	overflowed
152.0ms	851×	body	160	invalid
146.0ms	8256×	pre	80	true
130.0ms	700×	body	160	nan

simplify38.2s (11.1%)

Algorithm

180×	egg-herbie

analyze32.6s (9.5%)

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

series21.2s (6.2%)

Calls

458 calls:

1.4s	(+.f64 (.f64 (+.f64 (pow.f64 (.f64 b b) 6) (.f64 (pow.f64 a 6) (pow.f64 (+.f64 (.f64 a a) (.f64 (.f64 b b) 2)) 3))) (+.f64 (.f64 (pow.f64 a 4) (.f64 (-.f64 1 a) (-.f64 1 a))) (.f64 b (.f64 (.f64 b (+.f64 a 3)) (-.f64 (.f64 (.f64 b b) (+.f64 a 3)) (.f64 (.f64 a a) (-.f64 1 a))))))) (.f64 (+.f64 (pow.f64 b 8) (.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (pow.f64 b 4)))) (.f64 4 (+.f64 (pow.f64 (.f64 (.f64 b b) (+.f64 a 3)) 3) (pow.f64 (.f64 (.f64 a a) (-.f64 1 a)) 3)))))
820.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))))))))
820.0ms	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 (cbrt.f64 n) (cbrt.f64 n)) (.f64 (.f64 (/.f64 l Om) (-.f64 U U)) (cbrt.f64 n))))))))
816.0ms	(sqrt.f64 (.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)))))))
810.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))))))))

rewrite15.6s (4.5%)

Algorithm

119×	rewrite-expression-head

Calls

458 calls:

1.0s	(/.f64 (+.f64 (.f64 (+.f64 (pow.f64 (.f64 b b) 6) (.f64 (pow.f64 a 6) (pow.f64 (+.f64 (.f64 a a) (.f64 (.f64 b b) 2)) 3))) (+.f64 (.f64 (pow.f64 a 4) (.f64 (-.f64 1 a) (-.f64 1 a))) (.f64 b (.f64 (.f64 b (+.f64 a 3)) (-.f64 (.f64 (.f64 b b) (+.f64 a 3)) (.f64 (.f64 a a) (-.f64 1 a))))))) (.f64 (+.f64 (pow.f64 b 8) (.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (pow.f64 b 4)))) (.f64 4 (+.f64 (pow.f64 (.f64 (.f64 b b) (+.f64 a 3)) 3) (pow.f64 (.f64 (.f64 a a) (-.f64 1 a)) 3))))) (.f64 (+.f64 (pow.f64 b 8) (.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (pow.f64 b 4)))) (+.f64 (.f64 (pow.f64 a 4) (.f64 (-.f64 1 a) (-.f64 1 a))) (.f64 b (.f64 (.f64 b (+.f64 a 3)) (-.f64 (.f64 (.f64 b b) (+.f64 a 3)) (.f64 (*.f64 a a) (-.f64 1 a))))))))
298.0ms	(+.f64 (.f64 (+.f64 (pow.f64 (.f64 b b) 6) (.f64 (pow.f64 a 6) (pow.f64 (+.f64 (.f64 a a) (.f64 (.f64 b b) 2)) 3))) (+.f64 (.f64 (pow.f64 a 4) (.f64 (-.f64 1 a) (-.f64 1 a))) (.f64 b (.f64 (.f64 b (+.f64 a 3)) (-.f64 (.f64 (.f64 b b) (+.f64 a 3)) (.f64 (.f64 a a) (-.f64 1 a))))))) (.f64 (+.f64 (pow.f64 b 8) (.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (pow.f64 b 4)))) (.f64 4 (+.f64 (pow.f64 (.f64 (.f64 b b) (+.f64 a 3)) 3) (pow.f64 (.f64 (.f64 a a) (-.f64 1 a)) 3)))))
74.0ms	(+.f64 1 (/.f64 (/.f64 x (sqrt.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))))) (sqrt.f64 (sqrt.f64 (+.f64 (.f64 (.f64 4 p) p) (.f64 x x))))))
48.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))))
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 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))

Rules

141703×	`associate-*r/_binary64`
50984×	`frac-add_binary64`
47129×	`frac-times_binary64`
35483×	`flip3-+_binary64` `flip-+_binary64`
29700×	`flip3--_binary64` `flip--_binary64`
23426×	`cube-div_binary64`
11822×	`frac-sub_binary64`
9804×	`associate-/l/_binary64`
9354×	`associate-*l/_binary64`
6006×	`times-frac_binary64`
4852×	`add-sqr-sqrt_binary64`
4814×	`add-exp-log_binary64`
4537×	`*-un-lft-identity_binary64`
3739×	`add-cube-cbrt_binary64`
2999×	`add-cbrt-cube_binary64`
2212×	`prod-exp_binary64`
2005×	`sqrt-prod_binary64`
1565×	`pow1_binary64`
1269×	`cbrt-unprod_binary64`
1096×	`div-exp_binary64`
1071×	`associate-r_binary64`
759×	`associate-l_binary64`
756×	`associate-/r/_binary64`
642×	`associate-/r*_binary64`
611×	`cbrt-prod_binary64`
581×	`add-log-exp_binary64`
573×	`cbrt-undiv_binary64`
562×	`pow-prod-down_binary64`
522×	`unpow-prod-down_binary64`
481×	`sqrt-div_binary64`
379×	`associate-/l*_binary64`
315×	`pow-exp_binary64`
307×	`div-inv_binary64`
285×	`difference-of-squares_binary64`
270×	`sqr-pow_binary64`
262×	`unswap-sqr_binary64`
235×	`exp-prod_binary64`
227×	`distribute-lft-out--_binary64`
181×	`distribute-lft-out_binary64`
165×	`pow-to-exp_binary64`
164×	`*-commutative_binary64`
140×	`sqrt-pow1_binary64`
120×	`log-prod_binary64`
110×	`pow-unpow_binary64`
105×	`tan-quot_binary64`
97×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
96×	`clear-num_binary64` `frac-2neg_binary64`
93×	`pow1/2_binary64`
81×	`1-exp_binary64`
78×	`sub-neg_binary64`
74×	`rem-sqrt-square_binary64`
63×	`rec-exp_binary64`
62×	`log-pow_binary64`
61×	`unpow2_binary64`
59×	`pow1/3_binary64`
57×	`swap-sqr_binary64`
45×	`sum-log_binary64`
40×	`pow-prod-up_binary64`
32×	`pow-pow_binary64`
31×	`cbrt-div_binary64`
30×	`associate--l+_binary64`
28×	`pow-sqr_binary64` `+-commutative_binary64` `cube-prod_binary64`
22×	`pow-flip_binary64`
21×	`div-sub_binary64`
20×	`associate-+r+_binary64`
18×	`inv-pow_binary64`
17×	`diff-log_binary64` `pow-plus_binary64`
13×	`rem-log-exp_binary64`
12×	`pow2_binary64`
11×	`rem-exp-log_binary64`
9×	`exp-diff_binary64`
8×	`unpow3_binary64` `cube-mult_binary64`
6×	`sqrt-unprod_binary64` `sinh-def_binary64`
5×	`associate-+l+_binary64` `cos-diff_binary64` `log-div_binary64` `cos-sum_binary64`
4×	`difference-of-sqr-1_binary64` `un-div-inv_binary64`
3×	`acos-asin_binary64` `pow-sub_binary64` `rem-square-sqrt_binary64`
2×	`distribute-rgt-out_binary64` `rem-cube-cbrt_binary64` `sinh-undef_binary64` `asin-acos_binary64` `sub-div_binary64` `distribute-rgt-out--_binary64`
1×	`sqrt-undiv_binary64` `associate--r+_binary64` `associate--l-_binary64` `exp-sum_binary64` `neg-sub0_binary64` `pow-neg_binary64` `exp-to-pow_binary64` `mul0-rgt_binary64`

regimes13.8s (4.0%)

Accuracy

Total 46.9b remaining (22.8%)

Threshold costs 3.8b (1.8%)

7.5b	14.6%	Toniolo and Linder, Equation (13)
6.3b	0%	Toniolo and Linder, Equation (10-)
5.6b	76.9%	Toniolo and Linder, Equation (7)
5.0b	-2.5%	Henrywood and Agarwal, Equation (12)
4.9b	17.7%	Toniolo and Linder, Equation (10+)

Details

prune2.1min (37.5%)

sample1.5min (26.1%)

simplify38.2s (11.1%)

analyze32.6s (9.5%)

series21.2s (6.2%)

rewrite15.6s (4.5%)

regimes13.8s (4.0%)

localize2.0s (0.6%)

bsearch1.4s (0.4%)

end1.0ms (0.0%)

Profiling