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.7min (52.1%)

Algorithm

78×

intervals

Results

43.9s	43101×	body	1280	valid
14.4s	30248×	body	640	valid
8.1s	174285×	body	80	valid
6.5s	905×	body	5120	exit
6.2s	27581×	body	320	valid
4.3s	35832×	body	160	valid
2.7s	103460×	pre	80	true
1.5s	574×	body	1280	overflowed
985.0ms	2988×	body	2560	valid
898.0ms	4850×	body	80	overflowed
681.0ms	473×	body	640	overflowed
584.0ms	3054×	body	2560	nan
506.0ms	9409×	body	80	nan
402.0ms	2541×	body	1280	nan
348.0ms	5288×	body	80	invalid
213.0ms	455×	body	640	invalid
203.0ms	301×	body	1280	invalid
197.0ms	230×	body	320	overflowed
168.0ms	1323×	body	640	nan
85.0ms	265×	body	320	invalid
77.0ms	208×	body	5120	valid
65.0ms	666×	body	320	nan
46.0ms	108×	body	160	overflowed
23.0ms	82×	body	160	invalid
21.0ms	327×	body	160	nan
4.0ms	130×	pre	80	false

analyze30.8s (15.9%)

Algorithm

39×

Search

True	Other	False	Iter
0%	71.2%	28.8%	0
2.6%	68.7%	28.8%	1
6.7%	64.5%	28.8%	2
15.3%	53.4%	31.4%	3
21.5%	44.1%	34.4%	4
26.5%	37.3%	36.2%	5
28.4%	33.3%	38.3%	6
30.1%	30.3%	39.5%	7
31%	28.8%	40.3%	8
33%	25.9%	41.1%	9
33.4%	24.9%	41.6%	10
34.2%	23.8%	42%	11
35%	22.5%	42.5%	12
36%	21.3%	42.7%	13
36.3%	20.8%	43%	14

prune18.6s (9.6%)

Filtered: 14521 candidates to 8944 candidates (38.4%)

simplify14.4s (7.4%)

Algorithm

218×	egg-herbie

regimes12.5s (6.4%)

Accuracy

Total 38.3b remaining (25%)

Threshold costs 6.1b (4%)

7.1b	48.3%	Cubic critical, narrow range
6.5b	41.5%	Quotient of products
6.1b	11.5%	Cubic critical, medium range
3.6b	74.1%	Equirectangular approximation to distance on a great circle
3.5b	0%	Cubic critical, wide range

series9.6s (5.0%)

Calls

459 calls:

306.0ms	(-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) 3))
304.0ms	(-.f64 (pow.f64 (cos.f64 delta) 3) (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))
261.0ms	(.f64 (/.f64 (.f64 c -4) (+.f64 (pow.f64 b 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 a 4)))) 3))) (/.f64 (+.f64 (.f64 b b) (+.f64 (.f64 b (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 a 4)))))) (.f64 a (.f64 c -4)))) 2))
213.0ms	(cbrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
208.0ms	(cbrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

rewrite4.7s (2.4%)

Algorithm

140×	rewrite-expression-head

Calls

459 calls:

68.0ms	(.f64 (.f64 (-.f64 (/.f64 (/.f64 (-.f64 m (pow.f64 m 3)) (+.f64 m 1)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
63.0ms	(*.f64 (-.f64 (/.f64 (/.f64 (-.f64 m (pow.f64 m 3)) (+.f64 1 m)) v) 1) (-.f64 1 m))
60.0ms	(*.f64 (-.f64 (/.f64 (/.f64 (-.f64 m (pow.f64 m 3)) (+.f64 m 1)) v) 1) (+.f64 1 (sqrt.f64 m)))
50.0ms	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))
50.0ms	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (cbrt.f64 (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) 3)) c_n)))

Rules

5231×	`add-exp-log_binary64`
4370×	`add-sqr-sqrt_binary64`
4349×	`*-un-lft-identity_binary64`
3814×	`times-frac_binary64`
2630×	`add-cube-cbrt_binary64`
2458×	`prod-exp_binary64`
2152×	`div-exp_binary64`
2119×	`pow-exp_binary64`
1538×	`add-cbrt-cube_binary64`
1210×	`associate-*l/_binary64`
1073×	`flip--_binary64`
1072×	`flip3--_binary64`
1069×	`pow-to-exp_binary64`
914×	`difference-of-squares_binary64`
831×	`pow1_binary64`
688×	`add-log-exp_binary64`
663×	`frac-times_binary64`
601×	`frac-add_binary64`
553×	`unpow-prod-down_binary64`
529×	`associate-l_binary64`
520×	`associate-/r*_binary64`
506×	`associate-r_binary64`
467×	`associate-*r/_binary64`
455×	`associate-/l*_binary64`
453×	`sqrt-prod_binary64`
451×	`cbrt-div_binary64`
435×	`distribute-lft-out_binary64`
366×	`rec-exp_binary64` `1-exp_binary64`
359×	`cbrt-unprod_binary64`
347×	`cbrt-undiv_binary64`
281×	`sqr-pow_binary64`
275×	`distribute-lft-out--_binary64` `sqrt-div_binary64`
271×	`cbrt-prod_binary64`
216×	`div-inv_binary64`
200×	`associate-/r/_binary64`
196×	`flip-+_binary64`
195×	`flip3-+_binary64`
184×	`cube-prod_binary64`
156×	`log-prod_binary64`
153×	`unswap-sqr_binary64`
123×	`pow-prod-down_binary64`
105×	`exp-prod_binary64`
103×	`sub-neg_binary64`
99×	`clear-num_binary64` `frac-2neg_binary64`
93×	`log-pow_binary64`
91×	`*-commutative_binary64`
75×	`pow-unpow_binary64`
73×	`diff-log_binary64`
72×	`unpow3_binary64`
70×	`unpow2_binary64`
66×	`associate-/l/_binary64`
60×	`swap-sqr_binary64`
57×	`pow1/3_binary64`
55×	`distribute-rgt-out--_binary64`
51×	`log-div_binary64`
47×	`div-sub_binary64`
46×	`pow1/2_binary64` `sqrt-pow1_binary64` `pow-pow_binary64`
44×	`sum-log_binary64`
42×	`difference-of-sqr-1_binary64` `cosh-undef_binary64`
41×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
35×	`rem-sqrt-square_binary64`
34×	`+-commutative_binary64`
29×	`cube-mult_binary64`
28×	`frac-sub_binary64`
26×	`cube-div_binary64`
24×	`rem-log-exp_binary64`
23×	`exp-diff_binary64`
20×	`associate--r+_binary64` `sin-mult_binary64`
19×	`exp-sum_binary64`
18×	`distribute-lft-neg-in_binary64` `distribute-rgt-neg-in_binary64` `cos-diff_binary64`
16×	`sin-diff_binary64` `acos-asin_binary64`
15×	`pow-flip_binary64` `pow-prod-up_binary64` `sin-sum_binary64` `associate--l+_binary64`
13×	`inv-pow_binary64` `pow-sqr_binary64`
11×	`rem-cube-cbrt_binary64`
9×	`rem-exp-log_binary64` `sin-cos-mult_binary64`
8×	`associate-+r+_binary64` `pow-plus_binary64` `sinh-undef_binary64` `pow2_binary64` `tan-quot_binary64`
7×	`cos-sum_binary64`
6×	`rem-cbrt-cube_binary64` `neg-mul-1_binary64`
5×	`associate-+r-_binary64` `asin-acos_binary64`
4×	`associate--r-_binary64`
3×	`difference-cubes_binary64` `sinh-def_binary64` `associate--l-_binary64` `acos-neg_binary64` `sum-cubes_binary64` `exp-to-pow_binary64` `distribute-rgt-out_binary64` `distribute-frac-neg_binary64` `un-div-inv_binary64`
2×	`sqrt-unprod_binary64` `pow3_binary64` `e-exp-1_binary64` `cos-mult_binary64` `associate-+l+_binary64`
1×	`distribute-rgt1-in_binary64` `tanh-def-a_binary64` `tanh-undef_binary64` `sqr-sin-a_binary64` `rem-square-sqrt_binary64` `tanh-def-b_binary64` `tanh-def-c_binary64`

Details

sample1.7min (52.1%)

analyze30.8s (15.9%)

prune18.6s (9.6%)

simplify14.4s (7.4%)

regimes12.5s (6.4%)

series9.6s (5.0%)

rewrite4.7s (2.4%)

localize2.1s (1.1%)

bsearch290.0ms (0.1%)

end1.0ms (0.0%)

Profiling