Date:	Tuesday, November 9th, 2021
Commit:	73345388 on master
Hostname:	warfa with Racket 8.1
Seed:	2021313
Parameters:	256 points for 4 iterations
Flags:	`precision:fallbackreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplify` default

Details

series22.8min (28.9%)

Counts

3911 → 97047

Calls

3559 calls:

1.6min	(/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) b) 2)) x-scale) x-scale)) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) b) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (/.f64 (/.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) x-scale) y-scale))) (/.f64 (/.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) x-scale) y-scale))
1.1min	(.f64 (.f64 (/.f64 8 (pow.f64 (.f64 x-scale y-scale) 2)) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (.f64 (.f64 (.f64 b a) (.f64 b (neg.f64 a))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (/.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 x-scale y-scale))))))
56.8s	(-.f64 1 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (.f64 x x)))) 3))
50.0s	(.f64 (cbrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 2 x2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 (/.f64 (-.f64 (fma.f64 2 x2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) -3) (+.f64 x1 x1)))))) (cbrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 2 x2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 (/.f64 (-.f64 (fma.f64 2 x2 (.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) -3) (+.f64 x1 x1)))))))
37.6s	(-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (/.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 x-scale y-scale))))

sample19.9min (25.1%)

Algorithm

1033×

intervals

Results

3.8min	3590002×	body	128	valid
2.8min	275902×	body	1024	valid
2.3min	17838×	body	8192	exit
1.1min	86921×	body	2048	valid
45.4s	146695×	body	512	valid
41.2s	365235×	body	128	invalid
22.9s	11087×	body	4096	valid
19.7s	33804×	body	1024	invalid
18.8s	101561×	body	256	valid
17.4s	170634×	body	128	nan
17.3s	577632×	pre	128	true
12.0s	2177×	body	4096	invalid
8.7s	17567×	body	1024	nan
8.7s	2607×	body	2048	invalid
6.4s	18256×	body	512	invalid
4.4s	22038×	body	128	overflowed
4.1s	2948×	body	1024	overflowed
3.5s	1342×	body	8192	valid
3.3s	9622×	body	512	nan
2.2s	5365×	body	2048	nan
1.9s	9200×	body	256	invalid
1.5s	4988×	body	256	nan
1.3s	1643×	body	512	overflowed
721.0ms	40×	body	8192	invalid
354.0ms	805×	body	256	overflowed
208.0ms	360×	body	2048	overflowed
81.0ms	1797×	pre	128	false
8.0ms	14×	body	4096	nan
3.0ms	1×	body	8192	nan

Compiler

Compiled 164245 to 107470 computations (34.6% saved)

regimes10.7min (13.6%)

Counts: 56299 → 734
Compiler: Compiled 12309054 to 8045664 computations (34.6% saved)

prune10.0min (12.6%)

Counts: 393869 → 12943
Compiler: Compiled 21772019 to 11189859 computations (48.6% saved)

analyze7.3min (9.2%)

Algorithm

519×	search
2×	random

Search

True	Other	False	Iter
0%	88%	12%	0
2.8%	85.2%	12%	1
5.7%	81.7%	12.6%	2
13.1%	72.8%	14.1%	3
17.7%	66.5%	15.8%	4
24.5%	58.9%	16.7%	5
28.8%	53%	18.2%	6
33.8%	46.1%	20%	7
37%	41.9%	21%	8
40.9%	36.9%	22.2%	9
43.6%	33%	23.4%	10
46.1%	29.7%	24.1%	11
48.2%	26.9%	24.8%	12
50.6%	23.7%	25.8%	13
51.9%	22%	26.1%	14

Compiler

Compiled 11538 to 7969 computations (30.9% saved)

simplify6.4min (8.1%)

Algorithm

2601×

egg-herbie

Rules

810962×	`fma-def_binary64`
655605×	`fma-neg_binary64`
378791×	`times-frac_binary64`
350203×	`distribute-rgt-in_binary64`
344060×	`associate-l_binary64`

Counts

307481 → 293665

rewrite1.4min (1.8%)

Algorithm

1573×

rewrite-expression-head

Rules

234962×	`times-frac_binary64`
154775×	`*-un-lft-identity_binary64`
143671×	`add-sqr-sqrt_binary64`
115993×	`add-cube-cbrt_binary64`
61916×	`sqrt-prod_binary64`

Counts

3911 → 209918

Calls

3556 calls:

2.8s	(.f64 (/.f64 (/.f64 i (/.f64 (fma.f64 i 2 (+.f64 alpha beta)) (sqrt.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta))))) (sqrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))) (/.f64 (/.f64 (+.f64 i (+.f64 alpha beta)) (/.f64 (fma.f64 i 2 (+.f64 alpha beta)) (sqrt.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta))))) (sqrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))))
1.8s	(*.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x)) (/.f64 (/.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 x)))
473.0ms	(*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1))))) (/.f64 (sqrt.f64 (sqrt.f64 x)) (/.f64 (sqrt.f64 (+.f64 1 (sqrt.f64 (+.f64 x 1)))) (sqrt.f64 (sqrt.f64 x)))))
425.0ms	(/.f64 (/.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (/.f64 (sqrt.f64 (exp.f64 w)) 1)) (/.f64 (sqrt.f64 (exp.f64 w)) (pow.f64 (sqrt.f64 l) (exp.f64 w))))
243.0ms	(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 (/.f64 1 (tan.f64 B)) (/.f64 1 x)))

localize23.3s (0.5%)

Compiler: Compiled 12240 to 10200 computations (16.7% saved)

bsearch9.5s (0.2%)

Compiler: Compiled 1248 to 842 computations (32.5% saved)

end1.7s (0%)

Compiler: Compiled 24126 to 14298 computations (40.7% saved)

Details

series22.8min (28.9%)

sample19.9min (25.1%)

regimes10.7min (13.6%)

prune10.0min (12.6%)

analyze7.3min (9.2%)

simplify6.4min (8.1%)

rewrite1.4min (1.8%)

localize23.3s (0.5%)

bsearch9.5s (0.2%)

end1.7s (0%)

Profiling