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

series2.2min (37.5%)

Counts

279 → 5249

Calls

266 calls:

26.0s	(+.f32 (fma.f32 (neg.f32 s) (log1p.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))))) (.f32 (log.f32 (sqrt.f32 (+.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))))) -1))) (neg.f32 s))) (.f32 (log.f32 (sqrt.f32 (+.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))))) -1))) (neg.f32 s)))
19.6s	(+.f32 (.f32 (neg.f32 s) (log1p.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))))))) (.f32 (neg.f32 s) (log.f32 (+.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))))) -1))))
16.9s	(fma.f32 (neg.f32 s) (log1p.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))))) (*.f32 (log.f32 (sqrt.f32 (+.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))))) -1))) (neg.f32 s)))
9.7s	(exp.f32 (log1p.f32 (-.f32 (*.f32 maxCos ux) ux)))
8.6s	(pow.f32 (E.f32) (log1p.f32 (-.f32 (*.f32 maxCos ux) ux)))

regimes1.3min (21.8%)

Counts: 6123 → 25
Compiler: Compiled 1824248 to 1290338 computations (29.3% saved)

sample58.2s (16.7%)

Algorithm

50×

intervals

Results

27.5s	206400×	body	128	valid
7.5s	211367×	pre	128	true
439.0ms	4967×	body	128	nan
57.0ms	1024×	pre	128	false

Compiler

Compiled 12439 to 8656 computations (30.4% saved)

prune43.4s (12.5%)

Counts: 22720 → 941
Compiler: Compiled 1258768 to 735118 computations (41.6% saved)

simplify16.9s (4.9%)

Algorithm

146×	egg-herbie

Rules

53851×	`fma-def_binary32`
32928×	`fma-neg_binary32`
29399×	`times-frac_binary32`
26892×	`associate-l_binary32`
23825×	`associate-r_binary32`

Counts

15015 → 16438

analyze13.9s (4%)

Algorithm

25×

Search

True	Other	False	Iter
0%	3.2%	96.8%	0
0%	3.2%	96.8%	1
0.3%	2.9%	96.8%	2
1.4%	1.8%	96.8%	3
1.5%	1.6%	96.8%	4
2.1%	1.1%	96.8%	5
2.2%	0.9%	96.9%	6
2.4%	0.6%	96.9%	7
2.5%	0.6%	96.9%	8
2.6%	0.4%	96.9%	9
2.7%	0.4%	97%	10
2.8%	0.3%	97%	11
2.8%	0.2%	97%	12
2.8%	0.2%	97%	13
2.8%	0.1%	97%	14

Compiler

Compiled 1220 to 881 computations (27.8% saved)

localize5.5s (1.6%)

rewrite3.5s (1%)

Algorithm

96×	rewrite-expression-head

Rules

3364×	`add-sqr-sqrt_binary32`
2769×	`pow1_binary32`
2764×	`*-un-lft-identity_binary32`
2431×	`times-frac_binary32`
2156×	`add-cube-cbrt_binary32`

Counts

279 → 9741

Calls

266 calls:

98.0ms	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
48.0ms	(+.f32 (.f32 (neg.f32 s) (log1p.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))))))) (.f32 (neg.f32 s) (log.f32 (+.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))))) -1))))
47.0ms	(.f32 (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))) (sqrt.f32 (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))
47.0ms	(*.f32 (neg.f32 s) (log.f32 (+.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))))) -1)))
46.0ms	(/.f32 h (.f32 (.f32 (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))) (sqrt.f32 (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))) (sqrt.f32 (sqrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O))))))))))

end68.0ms (0%)

Compiler: Compiled 1095 to 797 computations (27.2% saved)

Details

series2.2min (37.5%)

regimes1.3min (21.8%)

sample58.2s (16.7%)

prune43.4s (12.5%)

simplify16.9s (4.9%)

analyze13.9s (4%)

localize5.5s (1.6%)

rewrite3.5s (1%)

end68.0ms (0%)

Profiling