Date:	Wednesday, March 23rd, 2022
Commit:	a2b39986 on main
Hostname:	warfa with Racket 8.1
Seed:	2022082
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 (29%)

Counts

256 → 5122

Calls

245 calls:

1.2min	(/.f32 (sqrt.f32 (+.f32 (/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) -1)) (sqrt.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) 1)))
10.0s	(exp.f32 (log1p.f32 (-.f32 (*.f32 maxCos ux) ux)))
3.1s	(.f32 (/.f32 (/.f32 1 (cbrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (fabs.f32 (cbrt.f32 (cbrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))) (/.f32 (/.f32 h (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (sqrt.f32 (cbrt.f32 (cbrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))))
2.7s	(/.f32 (/.f32 h (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (sqrt.f32 (cbrt.f32 (cbrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))))
2.5s	(.f32 (/.f32 1 (fabs.f32 (cbrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))) (/.f32 (/.f32 h (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (sqrt.f32 (cbrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))))

regimes1.4min (19.1%)

Counts: 6961 → 25
Compiler: Compiled 2316837 to 1602706 computations (30.8% saved)

sample1.0min (13.6%)

Results

56.5s	206400×	body	128	valid
1.5s	5870×	body	128	invalid

Compiler

Compiled 3103 to 2231 computations (28.1% saved)

prune1.0min (13.5%)

Counts: 26204 → 932
Compiler: Compiled 1817040 to 1086391 computations (40.2% saved)

end55.4s (12.4%)

Compiler: Compiled 10894 to 7512 computations (31% saved)

simplify23.5s (5.3%)

Algorithm

145×	egg-herbie

Rules

52800×	`fma-def_binary32`
30650×	`fma-neg_binary32`
29520×	`times-frac_binary32`
24466×	`associate-l_binary32`
22925×	`associate-r_binary32`

Counts

18805 → 18571

analyze14.5s (3.2%)

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)

rewrite10.6s (2.4%)

Algorithm

95×	rewrite-expression-head

Rules

13418×	`times-frac_binary32`
12194×	`add-sqr-sqrt_binary32`
10315×	`*-un-lft-identity_binary32`
5337×	`cbrt-prod_binary32`
5101×	`sqrt-prod_binary32`

Counts

256 → 13658

Calls

245 calls:

3.1s	(.f32 (/.f32 (/.f32 1 (cbrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (fabs.f32 (cbrt.f32 (cbrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))))) (/.f32 (/.f32 h (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (sqrt.f32 (cbrt.f32 (cbrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)))))))))))
259.0ms	(.f32 (/.f32 1 (fabs.f32 (cbrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))) (/.f32 (/.f32 h (sqrt.f32 (+.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O)))))))) (sqrt.f32 (cbrt.f32 (-.f32 eta (/.f32 sinTheta_O (sqrt.f32 (sqrt.f32 (-.f32 1 (.f32 sinTheta_O sinTheta_O))))))))))
251.0ms	(/.f32 (sqrt.f32 (+.f32 (/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) -1)) (sqrt.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) 1)))
91.0ms	(*.f32 (fabs.f32 (cbrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1))))))) (sqrt.f32 (cbrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1))))))))
91.0ms	(/.f32 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) (-.f32 (.f32 alpha alpha) 1)) (-.f32 (.f32 alpha alpha) 1)) (.f32 (.f32 (.f32 (.f32 (PI.f32) (PI.f32)) (PI.f32)) (.f32 (.f32 (log.f32 (.f32 alpha alpha)) (log.f32 (.f32 alpha alpha))) (log.f32 (.f32 alpha alpha)))) (.f32 (.f32 (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta)) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta)))))

Details

series2.2min (29%)

regimes1.4min (19.1%)

sample1.0min (13.6%)

prune1.0min (13.5%)

end55.4s (12.4%)

simplify23.5s (5.3%)

analyze14.5s (3.2%)

rewrite10.6s (2.4%)

localize6.4s (1.4%)

Profiling