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

sample2.2min (62.4%)

Algorithm

77×

intervals

Results

44.3s	43624×	body	1280	valid
27.4s	3991×	body	5120	exit
14.3s	29757×	body	640	valid
8.3s	175549×	body	80	valid
5.7s	2222×	body	1280	overflowed
5.4s	23677×	body	320	valid
3.6s	31873×	body	160	valid
3.5s	18223×	body	80	overflowed
3.1s	125574×	pre	80	true
2.7s	1966×	body	640	overflowed
1.0s	3090×	body	2560	valid
831.0ms	1055×	body	320	overflowed
698.0ms	3158×	body	2560	nan
473.0ms	2611×	body	1280	nan
403.0ms	8218×	body	80	nan
356.0ms	5232×	body	80	invalid
221.0ms	472×	body	640	invalid
218.0ms	307×	body	1280	invalid
201.0ms	462×	body	160	overflowed
189.0ms	1288×	body	640	nan
138.0ms	270×	body	5120	valid
70.0ms	220×	body	320	invalid
70.0ms	663×	body	320	nan
24.0ms	323×	body	160	nan
23.0ms	104×	body	160	invalid
3.0ms	140×	pre	80	false

analyze29.9s (14.2%)

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

simplify14.2s (6.7%)

Algorithm

218×	egg-herbie

prune11.3s (5.4%)

Filtered: 13903 candidates to 8923 candidates (35.8%)

regimes9.0s (4.2%)

Accuracy

Total 37.8b remaining (31%)

Threshold costs 5.9b (4.8%)

7.1b	49%	Cubic critical, narrow range
6.9b	0%	Cubic critical, medium range
5.3b	38.4%	Quotient of products
4.7b	84.1%	Quadratic roots, full range
4.3b	69.6%	Equirectangular approximation to distance on a great circle

series8.3s (3.9%)

Calls

455 calls:

311.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))
182.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)))
177.0ms	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (pow.f64 (sin.f64 phi1) 2))))
170.0ms	(sqrt.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))))
166.0ms	(sqrt.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.2%)

Algorithm

141×	rewrite-expression-head

Calls

455 calls:

165.0ms	(/.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3)) (+.f64 (.f64 (/.f64 x (+.f64 x 1)) (/.f64 x (+.f64 x 1))) (/.f64 (+.f64 x (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 x 1)))) (-.f64 x 1))))
131.0ms	(-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3))
48.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)))
41.0ms	(log.f64 (exp.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))))
41.0ms	(-.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 2))) (/.f64 (pow.f64 (tan.f64 x) 2) (+.f64 1 (pow.f64 (tan.f64 x) 2))))

Rules

5204×	`*-un-lft-identity_binary64`
4575×	`times-frac_binary64`
4403×	`add-sqr-sqrt_binary64`
3255×	`add-exp-log_binary64`
2786×	`add-cube-cbrt_binary64`
1652×	`add-cbrt-cube_binary64`
1295×	`prod-exp_binary64`
1091×	`div-exp_binary64`
1007×	`associate-*l/_binary64`
924×	`pow1_binary64`
896×	`flip--_binary64`
895×	`flip3--_binary64`
728×	`add-log-exp_binary64`
725×	`pow-exp_binary64`
665×	`difference-of-squares_binary64`
589×	`unpow-prod-down_binary64`
579×	`associate-r_binary64`
576×	`frac-times_binary64`
558×	`sqrt-div_binary64`
557×	`associate-/r*_binary64`
551×	`distribute-lft-out--_binary64`
540×	`cbrt-unprod_binary64`
535×	`distribute-lft-out_binary64`
475×	`cube-prod_binary64`
463×	`frac-add_binary64`
453×	`sqrt-prod_binary64`
452×	`associate-/l*_binary64`
415×	`associate-l_binary64`
412×	`cbrt-undiv_binary64`
391×	`associate-*r/_binary64`
377×	`cbrt-prod_binary64`
371×	`pow-to-exp_binary64`
269×	`div-inv_binary64`
232×	`associate-/r/_binary64`
199×	`pow-prod-down_binary64`
160×	`flip-+_binary64`
159×	`flip3-+_binary64`
157×	`1-exp_binary64`
150×	`rec-exp_binary64`
145×	`sqr-pow_binary64`
143×	`unswap-sqr_binary64`
125×	`log-prod_binary64`
118×	`sub-neg_binary64`
103×	`clear-num_binary64` `frac-2neg_binary64`
97×	`*-commutative_binary64`
92×	`log-pow_binary64`
86×	`exp-prod_binary64`
78×	`diff-log_binary64`
75×	`sum-log_binary64`
69×	`associate-/l/_binary64`
64×	`cbrt-div_binary64`
42×	`difference-of-sqr-1_binary64` `pow-unpow_binary64`
40×	`pow1/2_binary64` `sqrt-pow1_binary64`
39×	`+-commutative_binary64`
38×	`pow1/3_binary64` `cosh-undef_binary64`
37×	`div-sub_binary64`
36×	`distribute-rgt-in_binary64` `rem-sqrt-square_binary64` `distribute-lft-in_binary64`
33×	`log-div_binary64`
31×	`unpow3_binary64` `cube-mult_binary64`
25×	`swap-sqr_binary64`
21×	`associate-+r+_binary64` `cos-diff_binary64` `associate--l+_binary64`
20×	`pow-pow_binary64`
19×	`cube-div_binary64`
17×	`sin-diff_binary64`
16×	`rem-log-exp_binary64`
14×	`frac-sub_binary64` `pow-sqr_binary64` `pow-prod-up_binary64`
13×	`tan-quot_binary64`
12×	`pow-flip_binary64` `rem-cube-cbrt_binary64`
11×	`acos-asin_binary64`
10×	`cos-mult_binary64` `inv-pow_binary64` `sin-mult_binary64`
9×	`sinh-def_binary64` `pow-plus_binary64` `cos-sum_binary64`
8×	`unpow2_binary64` `sinh-undef_binary64` `asin-acos_binary64`
7×	`associate--r+_binary64` `pow2_binary64`
6×	`difference-cubes_binary64` `associate--l-_binary64` `sin-cos-mult_binary64` `distribute-rgt-out--_binary64`
5×	`associate-+r-_binary64` `exp-diff_binary64`
4×	`rem-cbrt-cube_binary64`
3×	`exp-sum_binary64` `acos-neg_binary64` `distribute-lft-neg-in_binary64` `distribute-rgt-out_binary64` `rem-exp-log_binary64` `distribute-rgt-neg-in_binary64` `associate--r-_binary64` `distribute-frac-neg_binary64` `sin-sum_binary64`
2×	`distribute-rgt-neg-out_binary64` `cosh-def_binary64` `associate-+l+_binary64`
1×	`sqrt-unprod_binary64` `distribute-rgt1-in_binary64` `associate-+l-_binary64` `tanh-def-a_binary64` `tanh-undef_binary64` `neg-mul-1_binary64` `sqr-cos-a_binary64` `tanh-def-b_binary64` `sub-div_binary64` `unsub-neg_binary64` `tanh-def-c_binary64`

Details

sample2.2min (62.4%)

analyze29.9s (14.2%)

simplify14.2s (6.7%)

prune11.3s (5.4%)

regimes9.0s (4.2%)

series8.3s (3.9%)

rewrite4.7s (2.2%)

localize1.9s (0.9%)

bsearch204.0ms (0.1%)

end1.0ms (0.0%)

Profiling