Date:	Tuesday, August 18th, 2020
Commit:	e43305aa on cleanup
Hostname:	warfa with Racket 7.5
Seed:	2020231
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

sample3.1min (69.9%)

Algorithm

65×

intervals

Results

1.1min	9315×	body	5120	exit
41.7s	37039×	body	1280	valid
13.0s	24494×	body	640	valid
12.5s	4934×	body	1280	overflowed
8.0s	41113×	body	80	overflowed
6.6s	126770×	body	80	valid
6.0s	4462×	body	640	overflowed
4.2s	15000×	body	320	valid
1.9s	86070×	pre	80	true
1.7s	2198×	body	320	overflowed
1.7s	10098×	body	160	valid
476.0ms	1104×	body	160	overflowed
404.0ms	938×	body	2560	valid
301.0ms	4465×	body	80	invalid
230.0ms	466×	body	640	invalid
207.0ms	282×	body	1280	invalid
172.0ms	2530×	body	80	nan
83.0ms	10×	body	5120	valid
76.0ms	237×	body	320	invalid
23.0ms	104×	body	160	invalid
19.0ms	102×	body	2560	nan
12.0ms	81×	body	1280	nan
6.0ms	48×	body	640	nan
5.0ms	130×	pre	80	false
2.0ms	24×	body	320	nan
1.0ms	14×	body	160	nan

Compiler

Compiled 10011 to 6926 computations (30.8% saved)

analyze29.8s (11.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

Compiler

Compiled 804 to 627 computations (22% saved)

simplify19.5s (7.3%)

Algorithm

178×	egg-herbie

prune12.2s (4.5%)

Compiler: Compiled 332306 to 161184 computations (51.5% saved)

series7.4s (2.8%)

Calls

379 calls:

349.0ms	(/.f64 (-.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)))) (+.f64 (cos.f64 delta) (.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))))))))
240.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)))
237.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))))
232.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))))
187.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (log.f64 (exp.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

regimes6.0s (2.2%)

Compiler: Compiled 45591 to 29747 computations (34.8% saved)

rewrite3.7s (1.4%)

Algorithm

113×	rewrite-expression-head

Rules

3597×	`*-un-lft-identity_binary64`
3209×	`add-sqr-sqrt_binary64`
2751×	`times-frac_binary64`
2305×	`add-exp-log_binary64`
2074×	`add-cube-cbrt_binary64`
937×	`add-cbrt-cube_binary64`
933×	`prod-exp_binary64`
845×	`associate-*l/_binary64`
781×	`div-exp_binary64`
772×	`pow1_binary64`
746×	`flip--_binary64`
745×	`flip3--_binary64`
716×	`pow-exp_binary64`
608×	`sqrt-prod_binary64`
561×	`add-log-exp_binary64`
559×	`associate-r_binary64`
532×	`difference-of-squares_binary64`
478×	`frac-times_binary64`
440×	`cbrt-prod_binary64`
424×	`distribute-lft-out_binary64`
400×	`frac-add_binary64`
367×	`pow-to-exp_binary64`
357×	`associate-/r*_binary64`
348×	`associate-l_binary64`
344×	`sqrt-div_binary64`
291×	`associate-/l*_binary64`
285×	`associate-*r/_binary64`
264×	`unpow-prod-down_binary64`
263×	`log-prod_binary64`
230×	`distribute-lft-out--_binary64`
217×	`cbrt-unprod_binary64`
215×	`cbrt-div_binary64`
180×	`flip-+_binary64`
179×	`flip3-+_binary64`
163×	`div-inv_binary64`
162×	`cbrt-undiv_binary64`
149×	`log-pow_binary64`
145×	`pow-prod-down_binary64`
144×	`unswap-sqr_binary64`
143×	`associate-/r/_binary64`
133×	`rec-exp_binary64` `1-exp_binary64`
107×	`cube-prod_binary64`
106×	`exp-prod_binary64`
100×	`sqr-pow_binary64`
91×	`*-commutative_binary64`
87×	`sub-neg_binary64`
71×	`clear-num_binary64` `frac-2neg_binary64`
63×	`swap-sqr_binary64`
60×	`diff-log_binary64`
58×	`pow1/3_binary64`
56×	`associate-/l/_binary64`
54×	`log-div_binary64`
53×	`unpow2_binary64`
51×	`cosh-undef_binary64`
42×	`div-sub_binary64`
40×	`associate--r+_binary64` `sum-log_binary64`
38×	`associate--l+_binary64`
33×	`difference-of-sqr-1_binary64` `sqrt-pow1_binary64`
31×	`pow1/2_binary64`
30×	`pow-unpow_binary64`
27×	`rem-log-exp_binary64` `+-commutative_binary64`
26×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
25×	`rem-sqrt-square_binary64`
24×	`unpow3_binary64` `cube-mult_binary64`
20×	`pow-flip_binary64`
19×	`sin-diff_binary64` `sin-mult_binary64`
17×	`frac-sub_binary64`
15×	`cos-diff_binary64` `pow-sqr_binary64` `pow-prod-up_binary64`
14×	`acos-asin_binary64` `pow-pow_binary64` `tan-quot_binary64`
12×	`difference-of-sqr--1_binary64` `cube-div_binary64` `inv-pow_binary64`
11×	`associate--l-_binary64` `exp-sum_binary64`
10×	`cos-mult_binary64` `pow-plus_binary64` `sin-cos-mult_binary64` `associate--r-_binary64`
9×	`associate-+r+_binary64` `pow2_binary64`
8×	`sinh-undef_binary64` `sin-sum_binary64`
6×	`cos-sum_binary64`
5×	`exp-diff_binary64` `un-div-inv_binary64`
4×	`associate-+r-_binary64` `rem-exp-log_binary64`
3×	`acos-neg_binary64` `distribute-lft-neg-in_binary64` `exp-to-pow_binary64` `distribute-rgt-out_binary64` `distribute-rgt-neg-in_binary64` `distribute-frac-neg_binary64`
2×	`rem-cbrt-cube_binary64` `associate-+l+_binary64` `rem-cube-cbrt_binary64`
1×	`sqrt-unprod_binary64` `distribute-rgt1-in_binary64` `sinh-def_binary64` `tanh-def-a_binary64` `tanh-undef_binary64` `neg-mul-1_binary64` `sqr-cos-a_binary64` `asin-acos_binary64` `tanh-def-b_binary64` `tanh-def-c_binary64` `distribute-lft-neg-out_binary64`

Calls

379 calls:

55.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (/.f64 (-.f64 x 1) (cbrt.f64 (+.f64 x 1)))))
47.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)))
36.0ms	(-.f64 (/.f64 1/8 (pow.f64 x 3)) (+.f64 (/.f64 1/2 x) (/.f64 1/16 (pow.f64 x 5))))
35.0ms	(log.f64 (-.f64 (/.f64 1/8 (pow.f64 x 3)) (+.f64 (/.f64 1/2 x) (/.f64 1/16 (pow.f64 x 5)))))
34.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

localize1.7s (0.6%)

bsearch303.0ms (0.1%)

Compiler: Compiled 38 to 35 computations (7.9% saved)

Details

sample3.1min (69.9%)

analyze29.8s (11.2%)

simplify19.5s (7.3%)

prune12.2s (4.5%)

series7.4s (2.8%)

regimes6.0s (2.2%)

rewrite3.7s (1.4%)

localize1.7s (0.6%)

bsearch303.0ms (0.1%)

end1.0ms (0%)

Profiling