Details

analyze405.0ms (13%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 39 to 31 computations (20.5% saved)

sample2.1s (68.5%)

Results

2.1s	8256×	body	128	valid
2.0ms	10×	body	128	invalid

preprocess35.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

104×	`fma-neg_binary32`
95×	`fma-def_binary32`
60×	`sub-neg_binary32`
45×	`cancel-sign-sub-inv_binary32`
30×	`distribute-rgt-in_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	88
1	59	84
2	98	84
3	124	84
4	155	84
5	191	84
6	231	84
7	319	84
8	490	84
9	531	84
10	585	84
11	635	84
12	726	84
13	773	84
14	791	84
15	794	84
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 cosTheta_i)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) cosTheta_i)))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u2)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u1)))

Outputs
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 cosTheta_i)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
(.f32 (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 cosTheta_i)))))
(.f32 (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 cosTheta_i)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) cosTheta_i)))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) cosTheta_i))))
(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) cosTheta_i))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u2)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u1)))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u2)))) (cos.f32 (.f32 u1 (*.f32 2 (PI.f32)))))
(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u2)))) (cos.f32 (.f32 2 (*.f32 u1 (PI.f32)))))
(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u2)))) (cos.f32 (.f32 u1 (*.f32 2 (PI.f32)))))

Compiler

Compiled 16 to 14 computations (12.5% saved)

simplify12.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

40×	`fma-neg_binary32`
22×	`sub-neg_binary32`
17×	`cancel-sign-sub-inv_binary32`
13×	`fma-def_binary32`
10×	`*-commutative_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	22
1	26	21
2	39	21
3	49	21
4	60	21
5	74	21
6	92	21
7	119	21
8	149	21
9	162	21
10	184	21
11	206	21
12	245	21
13	262	21
14	268	21
15	269	21

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Outputs
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (PI.f32) (*.f32 2 u2))))
(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))

prune10.0ms (0.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

0.2b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
	12.6b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 90 to 77 computations (14.4% saved)

localize37.0ms (1.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(cos.f32 (.f32 2 (.f32 (PI.f32) u2)))
✓	0.1b	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
✓	0.1b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
✓	0.4b	(*.f32 (PI.f32) u2)

series41.0ms (1.3%)

Counts

4 → 52

Calls

15 calls:

Time	Variable		Point	Expression
25.0ms	u2	@	inf	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
4.0ms	u1	@	-inf	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
2.0ms	u1	@	-inf	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
2.0ms	u1	@	inf	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
2.0ms	u1	@	0	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))

rewrite55.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

679×	`prod-diff_binary32`
204×	`expm1-udef_binary32`
204×	`log1p-udef_binary32`
133×	`add-sqr-sqrt_binary32`
129×	`pow1_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	45
1	266	37
2	3250	37

Stop Event

1×	node limit

Counts

4 → 96

Calls

Call 1

Inputs
(*.f32 (PI.f32) u2)
(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))))
(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
(cos.f32 (.f32 2 (.f32 (PI.f32) u2)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (.f32 (PI.f32) u2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 (PI.f32) u2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (.f32 (PI.f32) u2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (.f32 (PI.f32) u2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (.f32 (PI.f32) u2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (.f32 (PI.f32) u2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 u2) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (.f32 (PI.f32) u2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (.f32 (PI.f32) u2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (.f32 (PI.f32) u2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (.f32 (PI.f32) u2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (PI.f32) u2)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (PI.f32) (.f32 u2 2))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (PI.f32) (.f32 u2 2))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) (sqrt.f32 (log1p.f32 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (log1p.f32 u1) 3/2) (pow.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 3) (pow.f32 (log1p.f32 u1) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (PI.f32) (.f32 u2 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (PI.f32) (.f32 u2 2))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (PI.f32) (.f32 u2 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (PI.f32) (*.f32 u2 2))))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (sqrt.f32 (log1p.f32 u1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (log1p.f32 u1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (sqrt.f32 (log1p.f32 u1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (sqrt.f32 (log1p.f32 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (sqrt.f32 (log1p.f32 u1))) (cbrt.f32 (log1p.f32 u1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (log1p.f32 u1) 1/4) (pow.f32 (log1p.f32 u1) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (pow.f32 (cbrt.f32 (log1p.f32 u1)) 2)) (sqrt.f32 (cbrt.f32 (log1p.f32 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 -1) (sqrt.f32 (log1p.f32 u1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 1 1/2) (sqrt.f32 (log1p.f32 u1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (pow.f32 (cbrt.f32 (log1p.f32 u1)) 2) 1/2) (pow.f32 (cbrt.f32 (log1p.f32 u1)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 -1 1/2) (sqrt.f32 (log1p.f32 u1)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (log1p.f32 u1) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (log1p.f32 u1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (log1p.f32 u1) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (sqrt.f32 (log1p.f32 u1))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (log1p.f32 u1) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f32 (sqrt.f32 (log1p.f32 u1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (sqrt.f32 (log1p.f32 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (sqrt.f32 (log1p.f32 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (log1p.f32 u1) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (sqrt.f32 (log1p.f32 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (log1p.f32 u1)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (sqrt.f32 (log1p.f32 u1))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (sqrt.f32 (log1p.f32 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (sqrt.f32 (log1p.f32 u1))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) (fma.f32 (neg.f32 (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 1 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (neg.f32 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1))) (fma.f32 (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 1 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1))) (fma.f32 (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 1 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (.f32 (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2))) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1))) (fma.f32 (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 1 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1))) (fma.f32 (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 1 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 1 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 1 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (.f32 (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2))) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (.f32 (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2))) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sin.f32 (.f32 (PI.f32) u2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (fma.f32 (neg.f32 (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (sqrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 1 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (neg.f32 (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (fma.f32 (neg.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (fma.f32 (neg.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (.f32 (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2))) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (fma.f32 (neg.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (fma.f32 (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (fma.f32 (neg.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) 2) (cbrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) (sqrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (cos.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))) (-.f32 (cos.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (pow.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) 3) (pow.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 3)) (+.f32 (.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (+.f32 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 (.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2))) (+.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2) (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (cos.f32 (.f32 (PI.f32) (*.f32 u2 2)))))))))

simplify46.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

677×	`fma-def_binary32`
559×	`associate-l_binary32`
399×	`times-frac_binary32`
346×	`associate-/r*_binary32`
307×	`associate-/l*_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	139	1936
1	421	1724
2	1407	1554

Stop Event

1×	node limit

Counts

148 → 147

Calls

Call 1

Inputs
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))))
(+.f32 (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (.f32 1/2 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (*.f32 -1 (log.f32 (/.f32 1 u1)))))) u1))))
(+.f32 (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (+.f32 (.f32 1/2 (/.f32 (.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1))))))) 2)) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (pow.f32 u1 2)))) (.f32 1/2 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) u1)))))
(+.f32 (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (+.f32 (.f32 1/2 (/.f32 (.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (-.f32 1/3 (.f32 1/2 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1))))))) 2)) (pow.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) 2))))) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (pow.f32 u1 3)))) (+.f32 (.f32 1/2 (/.f32 (.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1))))))) 2)) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (pow.f32 u1 2)))) (.f32 1/2 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (*.f32 -1 (log.f32 (/.f32 1 u1)))))) u1))))))
(.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1))) (.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32))))))
(+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (.f32 (-.f32 1/2 (pow.f32 (.f32 -1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) 2)) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (pow.f32 u1 2)))) (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1))) (.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))))
(+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (.f32 (+.f32 (.f32 -1/2 (/.f32 (-.f32 1/2 (pow.f32 (.f32 -1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) 2)) (log.f32 (/.f32 -1 u1)))) 1/3) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (pow.f32 u1 3)))) (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (.f32 (-.f32 1/2 (pow.f32 (.f32 -1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) 2)) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (pow.f32 u1 2)))) (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1))) (.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))))))
(sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))
(+.f32 (.f32 -2 (.f32 (pow.f32 u2 2) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 2)))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(+.f32 (.f32 2/3 (.f32 (pow.f32 u2 4) (.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 4)))) (+.f32 (.f32 -2 (.f32 (pow.f32 u2 2) (.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 2)))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))
(+.f32 (.f32 2/3 (.f32 (pow.f32 u2 4) (.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 4)))) (+.f32 (.f32 -2 (.f32 (pow.f32 u2 2) (.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 2)))) (+.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (.f32 -4/45 (.f32 (pow.f32 u2 6) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 6)))))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (*.f32 -1 (log.f32 (/.f32 1 u1))))))
(+.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (.f32 1/2 (/.f32 1 (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) u1))))
(+.f32 (.f32 1/2 (/.f32 1 (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) u1))) (+.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (.f32 1/2 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1))))))) 2)) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (pow.f32 u1 2))))))
(+.f32 (.f32 1/2 (/.f32 1 (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) u1))) (+.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (+.f32 (.f32 1/2 (/.f32 (-.f32 1/3 (.f32 1/2 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1))))))) 2)) (pow.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) 2)))) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (pow.f32 u1 3)))) (.f32 1/2 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1))))))) 2)) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (pow.f32 u1 2)))))))
(sqrt.f32 (log.f32 (/.f32 -1 u1)))
(+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 u1))))
(+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 u1))) (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (-.f32 1/2 (pow.f32 (*.f32 -1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) 2)) (pow.f32 u1 2))))))
(+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (+.f32 (.f32 -1/2 (/.f32 (-.f32 1/2 (pow.f32 (.f32 -1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) 2)) (log.f32 (/.f32 -1 u1)))) 1/3) (pow.f32 u1 3)))) (+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 u1))) (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (-.f32 1/2 (pow.f32 (*.f32 -1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) 2)) (pow.f32 u1 2)))))))
1
(+.f32 1 (.f32 -2 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))))
(+.f32 1 (+.f32 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))) (.f32 -2 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2)))))
(+.f32 1 (+.f32 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))) (+.f32 (.f32 -2 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (.f32 -4/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))

Outputs
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(*.f32 u2 (PI.f32))
(.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))))
(.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))) (cos.f32 (.f32 (*.f32 u2 (PI.f32)) 2)))
(.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
(.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))))
(+.f32 (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (.f32 1/2 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (*.f32 -1 (log.f32 (/.f32 1 u1)))))) u1))))
(fma.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))) (cos.f32 (.f32 (.f32 u2 (PI.f32)) 2)) (.f32 1/2 (/.f32 (/.f32 (cos.f32 (.f32 (*.f32 u2 (PI.f32)) 2)) (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1))))))) u1)))
(fma.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (.f32 1/2 (/.f32 (/.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)) u1) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))))))
(fma.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (.f32 1/2 (/.f32 (/.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) u1) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))))))
(+.f32 (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (+.f32 (.f32 1/2 (/.f32 (.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1))))))) 2)) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (pow.f32 u1 2)))) (.f32 1/2 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) u1)))))
(fma.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))) (cos.f32 (.f32 (.f32 u2 (PI.f32)) 2)) (.f32 1/2 (+.f32 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1))))))) 2)) (/.f32 (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))) (.f32 u1 u1)) (cos.f32 (.f32 (.f32 u2 (PI.f32)) 2)))) (/.f32 (/.f32 (cos.f32 (.f32 (*.f32 u2 (PI.f32)) 2)) (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1))))))) u1))))
(fma.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (.f32 1/2 (fma.f32 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) 2)) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (/.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (.f32 u1 u1)) (/.f32 (/.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) u1) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))))))
(fma.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (+.f32 (.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) 2)) (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (.f32 u1 u1))) (/.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) u1))))
(+.f32 (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (+.f32 (.f32 1/2 (/.f32 (.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (-.f32 1/3 (.f32 1/2 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1))))))) 2)) (pow.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) 2))))) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (pow.f32 u1 3)))) (+.f32 (.f32 1/2 (/.f32 (.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1))))))) 2)) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (pow.f32 u1 2)))) (.f32 1/2 (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (*.f32 -1 (log.f32 (/.f32 1 u1)))))) u1))))))
(fma.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))) (cos.f32 (.f32 (.f32 u2 (PI.f32)) 2)) (fma.f32 1/2 (.f32 (/.f32 (cos.f32 (.f32 (.f32 u2 (PI.f32)) 2)) (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1))))))) (/.f32 (+.f32 1/3 (.f32 -1/2 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1))))))) 2)) (pow.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))) 2)))) (pow.f32 u1 3))) (.f32 1/2 (+.f32 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1))))))) 2)) (/.f32 (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))) (.f32 u1 u1)) (cos.f32 (.f32 (.f32 u2 (PI.f32)) 2)))) (/.f32 (/.f32 (cos.f32 (.f32 (*.f32 u2 (PI.f32)) 2)) (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1))))))) u1)))))
(fma.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (.f32 1/2 (+.f32 (.f32 (/.f32 (+.f32 1/3 (.f32 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) 2)) (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) -1/2)) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (/.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (pow.f32 u1 3))) (fma.f32 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) 2)) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (/.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (.f32 u1 u1)) (/.f32 (/.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) u1) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))))))))
(fma.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (.f32 1/2 (+.f32 (/.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) u1) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (+.f32 (/.f32 (+.f32 1/3 (.f32 1/2 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) 2)) (+.f32 (log.f32 -1) (log.f32 u1))))) (pow.f32 u1 3)) (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) 2)) (.f32 u1 u1)))))))
(.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (cos.f32 (.f32 (*.f32 u2 (PI.f32)) 2)) (sqrt.f32 (log.f32 (/.f32 -1 u1))))
(.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (log.f32 (/.f32 -1 u1))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (log.f32 (/.f32 -1 u1))))
(+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1))) (.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32))))))
(fma.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 (.f32 u2 (PI.f32)) 2)) u1)) (.f32 (cos.f32 (.f32 (.f32 u2 (PI.f32)) 2)) (sqrt.f32 (log.f32 (/.f32 -1 u1)))))
(fma.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) u1)) (.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sqrt.f32 (log.f32 (/.f32 -1 u1)))))
(fma.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) u1))))
(+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (.f32 (-.f32 1/2 (pow.f32 (.f32 -1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) 2)) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (pow.f32 u1 2)))) (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1))) (.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))))
(fma.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (-.f32 1/2 (pow.f32 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) -1/2) 2)) (/.f32 (.f32 u1 u1) (cos.f32 (.f32 (.f32 u2 (PI.f32)) 2))))) (fma.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 (.f32 u2 (PI.f32)) 2)) u1)) (.f32 (cos.f32 (.f32 (*.f32 u2 (PI.f32)) 2)) (sqrt.f32 (log.f32 (/.f32 -1 u1))))))
(+.f32 (.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sqrt.f32 (log.f32 (/.f32 -1 u1)))) (.f32 (.f32 1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (+.f32 (.f32 (/.f32 (-.f32 1/2 (pow.f32 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) -1/2) 2)) (.f32 u1 u1)) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (/.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) u1))))
(fma.f32 (.f32 1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (.f32 (+.f32 (/.f32 (-.f32 1/2 (.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))) 1/4)) u1) 1) (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) u1)) (.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) (sqrt.f32 (log.f32 (/.f32 -1 u1)))))
(+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (.f32 (+.f32 (.f32 -1/2 (/.f32 (-.f32 1/2 (pow.f32 (.f32 -1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) 2)) (log.f32 (/.f32 -1 u1)))) 1/3) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (pow.f32 u1 3)))) (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (.f32 (-.f32 1/2 (pow.f32 (.f32 -1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) 2)) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (pow.f32 u1 2)))) (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) u1))) (.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))))))
(fma.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (fma.f32 -1/2 (/.f32 (-.f32 1/2 (pow.f32 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) -1/2) 2)) (log.f32 (/.f32 -1 u1))) 1/3) (/.f32 (pow.f32 u1 3) (cos.f32 (.f32 (.f32 u2 (PI.f32)) 2))))) (fma.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (-.f32 1/2 (pow.f32 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) -1/2) 2)) (/.f32 (.f32 u1 u1) (cos.f32 (.f32 (.f32 u2 (PI.f32)) 2))))) (fma.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 (.f32 u2 (PI.f32)) 2)) u1)) (.f32 (cos.f32 (.f32 (*.f32 u2 (PI.f32)) 2)) (sqrt.f32 (log.f32 (/.f32 -1 u1)))))))
(+.f32 (fma.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) u1)) (.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sqrt.f32 (log.f32 (/.f32 -1 u1))))) (.f32 (.f32 1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (+.f32 (.f32 (/.f32 (fma.f32 -1/2 (/.f32 (-.f32 1/2 (pow.f32 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) -1/2) 2)) (log.f32 (/.f32 -1 u1))) 1/3) (pow.f32 u1 3)) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (.f32 (/.f32 (-.f32 1/2 (pow.f32 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) -1/2) 2)) (.f32 u1 u1)) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))))))
(+.f32 (.f32 (.f32 1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (+.f32 (.f32 (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) u1) (+.f32 (/.f32 (fma.f32 -1/2 (/.f32 (-.f32 1/2 (.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))) 1/4)) (log.f32 (/.f32 -1 u1))) 1/3) (.f32 u1 u1)) (/.f32 (-.f32 1/2 (.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))) 1/4)) u1))) (/.f32 (cos.f32 (.f32 u2 (.f32 2 (PI.f32)))) u1))) (.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (log.f32 (/.f32 -1 u1)))))
(sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))
(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
(+.f32 (.f32 -2 (.f32 (pow.f32 u2 2) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 2)))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(fma.f32 -2 (.f32 (.f32 u2 u2) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(fma.f32 -2 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 u2 (*.f32 u2 (pow.f32 (PI.f32) 2)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (fma.f32 -2 (.f32 u2 (*.f32 u2 (pow.f32 (PI.f32) 2))) 1) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(+.f32 (.f32 2/3 (.f32 (pow.f32 u2 4) (.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 4)))) (+.f32 (.f32 -2 (.f32 (pow.f32 u2 2) (.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 2)))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))
(fma.f32 2/3 (.f32 (pow.f32 u2 4) (.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 4))) (fma.f32 -2 (.f32 (.f32 u2 u2) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))
(fma.f32 2/3 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))) (fma.f32 -2 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 u2 (*.f32 u2 (pow.f32 (PI.f32) 2)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))
(+.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 -2 (.f32 u2 (.f32 u2 (pow.f32 (PI.f32) 2))) (.f32 (pow.f32 (PI.f32) 4) (*.f32 2/3 (pow.f32 u2 4))))))
(+.f32 (.f32 2/3 (.f32 (pow.f32 u2 4) (.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 4)))) (+.f32 (.f32 -2 (.f32 (pow.f32 u2 2) (.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 2)))) (+.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (.f32 -4/45 (.f32 (pow.f32 u2 6) (*.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 6)))))))
(fma.f32 2/3 (.f32 (pow.f32 u2 4) (.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 4))) (+.f32 (fma.f32 -2 (.f32 (.f32 u2 u2) (.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 2))) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))) (.f32 -4/45 (.f32 (pow.f32 u2 6) (.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (pow.f32 (PI.f32) 6))))))
(fma.f32 2/3 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))) (fma.f32 -2 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 u2 (.f32 u2 (pow.f32 (PI.f32) 2)))) (fma.f32 -4/45 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
(+.f32 (.f32 (fma.f32 -2 (.f32 u2 (.f32 u2 (pow.f32 (PI.f32) 2))) 1) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 -4/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (.f32 (pow.f32 (PI.f32) 4) (*.f32 2/3 (pow.f32 u2 4))))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (cos.f32 (.f32 (*.f32 u2 (PI.f32)) 2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (cos.f32 (.f32 (*.f32 u2 (PI.f32)) 2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (cos.f32 (.f32 (*.f32 u2 (PI.f32)) 2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (cos.f32 (.f32 (*.f32 u2 (PI.f32)) 2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (cos.f32 (.f32 (*.f32 u2 (PI.f32)) 2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (cos.f32 (.f32 (*.f32 u2 (PI.f32)) 2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (cos.f32 (.f32 (*.f32 u2 (PI.f32)) 2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))))
(.f32 (cos.f32 (.f32 (*.f32 u2 (PI.f32)) 2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))
(.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(.f32 (cos.f32 (.f32 u2 (*.f32 2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
(sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (*.f32 -1 (log.f32 (/.f32 1 u1))))))
(sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1))))))
(sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))
(+.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (.f32 1/2 (/.f32 1 (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) u1))))
(+.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))) (/.f32 1/2 (*.f32 u1 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))))))
(+.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (/.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) u1))
(+.f32 (.f32 1/2 (/.f32 1 (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) u1))) (+.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (.f32 1/2 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1))))))) 2)) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (pow.f32 u1 2))))))
(+.f32 (/.f32 1/2 (.f32 u1 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))))) (+.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))) (.f32 1/2 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1))))))) 2)) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))) (.f32 u1 u1))))))
(+.f32 (/.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) u1) (fma.f32 1/2 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) 2)) (.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (.f32 u1 u1))) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))))
(fma.f32 1/2 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) 2)) (.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (.f32 u1 u1))) (+.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (/.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) u1)))
(+.f32 (.f32 1/2 (/.f32 1 (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) u1))) (+.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (+.f32 (.f32 1/2 (/.f32 (-.f32 1/3 (.f32 1/2 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1))))))) 2)) (pow.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) 2)))) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (pow.f32 u1 3)))) (.f32 1/2 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1))))))) 2)) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (.f32 -1 (log.f32 (/.f32 1 u1)))))) (pow.f32 u1 2)))))))
(+.f32 (/.f32 1/2 (.f32 u1 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))))) (+.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))) (.f32 1/2 (+.f32 (/.f32 (+.f32 1/3 (.f32 -1/2 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1))))))) 2)) (pow.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))) 2)))) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))) (pow.f32 u1 3))) (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1))))))) 2)) (.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 -1) (neg.f32 (neg.f32 (log.f32 u1)))))) (.f32 u1 u1)))))))
(+.f32 (/.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) u1) (fma.f32 1/2 (+.f32 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) 2)) (.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (.f32 u1 u1))) (/.f32 (+.f32 1/3 (.f32 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) 2)) (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) -1/2)) (.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (pow.f32 u1 3)))) (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))))
(+.f32 (/.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) u1) (+.f32 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1))) (.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) (+.f32 (/.f32 (+.f32 1/3 (.f32 1/2 (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) 2)) (+.f32 (log.f32 -1) (log.f32 u1))))) (pow.f32 u1 3)) (/.f32 (-.f32 1/2 (pow.f32 (/.f32 1/2 (sqrt.f32 (-.f32 (neg.f32 (log.f32 u1)) (log.f32 -1)))) 2)) (*.f32 u1 u1))))))
(sqrt.f32 (log.f32 (/.f32 -1 u1)))
(+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 u1))))
(+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 1/2 (.f32 (/.f32 1 u1) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))))))
(fma.f32 1/2 (/.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) u1) (sqrt.f32 (log.f32 (/.f32 -1 u1))))
(fma.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1/2 u1) (sqrt.f32 (log.f32 (/.f32 -1 u1))))
(+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 u1))) (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (-.f32 1/2 (pow.f32 (*.f32 -1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) 2)) (pow.f32 u1 2))))))
(+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 1/2 (+.f32 (.f32 (/.f32 1 u1) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (-.f32 1/2 (pow.f32 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) -1/2) 2)) (*.f32 u1 u1))))))
(fma.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (+.f32 (/.f32 1 u1) (/.f32 (-.f32 1/2 (pow.f32 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) -1/2) 2)) (*.f32 u1 u1)))) (sqrt.f32 (log.f32 (/.f32 -1 u1))))
(fma.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (+.f32 (/.f32 1 u1) (/.f32 (-.f32 1/2 (.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))) 1/4)) (*.f32 u1 u1)))) (sqrt.f32 (log.f32 (/.f32 -1 u1))))
(+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (+.f32 (.f32 -1/2 (/.f32 (-.f32 1/2 (pow.f32 (.f32 -1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) 2)) (log.f32 (/.f32 -1 u1)))) 1/3) (pow.f32 u1 3)))) (+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (+.f32 (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 1 u1))) (.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (-.f32 1/2 (pow.f32 (*.f32 -1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) 2)) (pow.f32 u1 2)))))))
(fma.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (fma.f32 -1/2 (/.f32 (-.f32 1/2 (pow.f32 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) -1/2) 2)) (log.f32 (/.f32 -1 u1))) 1/3) (pow.f32 u1 3))) (+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 1/2 (+.f32 (.f32 (/.f32 1 u1) (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (/.f32 (-.f32 1/2 (pow.f32 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) -1/2) 2)) (*.f32 u1 u1)))))))
(fma.f32 (.f32 1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (/.f32 (fma.f32 -1/2 (/.f32 (-.f32 1/2 (pow.f32 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) -1/2) 2)) (log.f32 (/.f32 -1 u1))) 1/3) (pow.f32 u1 3)) (fma.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) (+.f32 (/.f32 1 u1) (/.f32 (-.f32 1/2 (pow.f32 (.f32 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1)))) -1/2) 2)) (*.f32 u1 u1)))) (sqrt.f32 (log.f32 (/.f32 -1 u1)))))
(+.f32 (sqrt.f32 (log.f32 (/.f32 -1 u1))) (.f32 (.f32 1/2 (sqrt.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))))) (+.f32 (+.f32 (/.f32 (-.f32 1/2 (.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))) 1/4)) (.f32 u1 u1)) (/.f32 1 u1)) (/.f32 (fma.f32 -1/2 (/.f32 (-.f32 1/2 (*.f32 (/.f32 1 (log.f32 (/.f32 -1 u1))) 1/4)) (log.f32 (/.f32 -1 u1))) 1/3) (pow.f32 u1 3)))))
1
(+.f32 1 (.f32 -2 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))))
(+.f32 1 (.f32 -2 (.f32 (*.f32 u2 u2) (pow.f32 (PI.f32) 2))))
(fma.f32 -2 (.f32 u2 (.f32 u2 (pow.f32 (PI.f32) 2))) 1)
(+.f32 1 (+.f32 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))) (.f32 -2 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2)))))
(+.f32 1 (fma.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (.f32 -2 (.f32 (.f32 u2 u2) (pow.f32 (PI.f32) 2)))))
(+.f32 1 (fma.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (.f32 (.f32 u2 u2) (.f32 (pow.f32 (PI.f32) 2) -2))))
(fma.f32 -2 (.f32 u2 (.f32 u2 (pow.f32 (PI.f32) 2))) (fma.f32 (pow.f32 u2 4) (*.f32 (pow.f32 (PI.f32) 4) 2/3) 1))
(+.f32 1 (+.f32 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4))) (+.f32 (.f32 -2 (.f32 (pow.f32 u2 2) (pow.f32 (PI.f32) 2))) (.f32 -4/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))))))
(+.f32 1 (fma.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (fma.f32 -2 (.f32 (.f32 u2 u2) (pow.f32 (PI.f32) 2)) (.f32 -4/45 (*.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6))))))
(+.f32 1 (fma.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) (fma.f32 -4/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (.f32 (.f32 u2 u2) (*.f32 (pow.f32 (PI.f32) 2) -2)))))
(+.f32 1 (fma.f32 -2 (.f32 u2 (.f32 u2 (pow.f32 (PI.f32) 2))) (fma.f32 -4/45 (.f32 (pow.f32 u2 6) (pow.f32 (PI.f32) 6)) (.f32 (pow.f32 (PI.f32) 4) (*.f32 2/3 (pow.f32 u2 4))))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))
(cos.f32 (.f32 (.f32 u2 (PI.f32)) 2))
(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
(cos.f32 (.f32 u2 (.f32 2 (PI.f32))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))
(cos.f32 (.f32 (.f32 u2 (PI.f32)) 2))
(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
(cos.f32 (.f32 u2 (.f32 2 (PI.f32))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))
(cos.f32 (.f32 (.f32 u2 (PI.f32)) 2))
(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
(cos.f32 (.f32 u2 (.f32 2 (PI.f32))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))
(cos.f32 (.f32 (.f32 u2 (PI.f32)) 2))
(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
(cos.f32 (.f32 u2 (.f32 2 (PI.f32))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))
(cos.f32 (.f32 (.f32 u2 (PI.f32)) 2))
(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
(cos.f32 (.f32 u2 (.f32 2 (PI.f32))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))
(cos.f32 (.f32 (.f32 u2 (PI.f32)) 2))
(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
(cos.f32 (.f32 u2 (.f32 2 (PI.f32))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))
(cos.f32 (.f32 (.f32 u2 (PI.f32)) 2))
(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
(cos.f32 (.f32 u2 (.f32 2 (PI.f32))))
(cos.f32 (.f32 2 (.f32 u2 (PI.f32))))
(cos.f32 (.f32 (.f32 u2 (PI.f32)) 2))
(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
(cos.f32 (.f32 u2 (.f32 2 (PI.f32))))

prune280.0ms (9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	139	8	147
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	140	9	149

Error

0.1b

Counts

149 → 9

Alt Table

Status	Error	Program
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (PI.f32) (*.f32 u2 2))))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 (PI.f32) (.f32 u2 2)))) 2)))
	8.9b	(.f32 (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (sqrt.f32 (log1p.f32 u1)))) (cos.f32 (.f32 2 (.f32 (PI.f32) u2))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (fma.f32 (.f32 (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2))) (cbrt.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)) (neg.f32 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1))) (fma.f32 (neg.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)) 1 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2) 1))))
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))))))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) u2)) 3))))
	2.3b	(+.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 -2 (.f32 u2 (.f32 u2 (pow.f32 (PI.f32) 2))) (.f32 (pow.f32 (PI.f32) 4) (*.f32 2/3 (pow.f32 u2 4))))))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (cos.f32 (.f32 (PI.f32) (*.f32 u2 2))))))
	12.6b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 4675 to 2931 computations (37.3% saved)

localize52.0ms (1.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 2 (cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))))))
✓	0.1b	(cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3)))
✓	0.3b	(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))
✓	1.0b	(pow.f32 (PI.f32) 3)

series6.0ms (0.2%)

Calls

5 calls:

Time	Variable		Point	Expression
3.0ms	u2	@	-inf	(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))
1.0ms	u2	@	0	(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))
1.0ms	u2	@	inf	(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))
0.0ms	u2	@	0	(cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3)))
0.0ms	u2	@	inf	(cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3)))

end0.0ms (0%)

Calls

1 calls:

Time	Variable		Point	Expression
0.0ms	u2	@	-inf	(cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3)))

Iter	Nodes	Cost
0	30	88
1	59	84
2	98	84
3	124	84
4	155	84
5	191	84
6	231	84
7	319	84
8	490	84
9	531	84
10	585	84
11	635	84
12	726	84
13	773	84
14	791	84
15	794	84
0	3	3

Iter	Nodes	Cost
0	14	22
1	26	21
2	39	21
3	49	21
4	60	21
5	74	21
6	92	21
7	119	21
8	149	21
9	162	21
10	184	21
11	206	21
12	245	21
13	262	21
14	268	21
15	269	21

Iter	Nodes	Cost
0	30	88
1	59	84
2	98	84
3	124	84
4	155	84
5	191	84
6	231	84
7	319	84
8	490	84
9	531	84
10	585	84
11	635	84
12	726	84
13	773	84
14	791	84
15	794	84
0	3	3

Iter	Nodes	Cost
0	14	22
1	26	21
2	39	21
3	49	21
4	60	21
5	74	21
6	92	21
7	119	21
8	149	21
9	162	21
10	184	21
11	206	21
12	245	21
13	262	21
14	268	21
15	269	21

Details

analyze405.0ms (13%)

sample2.1s (68.5%)

preprocess35.0ms (1.1%)

simplify12.0ms (0.4%)

prune10.0ms (0.3%)

localize37.0ms (1.2%)

series41.0ms (1.3%)

rewrite55.0ms (1.8%)

simplify46.0ms (1.5%)

prune280.0ms (9%)

localize52.0ms (1.7%)

series6.0ms (0.2%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	30	88
1	59	84
2	98	84
3	124	84
4	155	84
5	191	84
6	231	84
7	319	84
8	490	84
9	531	84
10	585	84
11	635	84
12	726	84
13	773	84
14	791	84
15	794	84
0	3	3

Iter	Nodes	Cost
0	14	22
1	26	21
2	39	21
3	49	21
4	60	21
5	74	21
6	92	21
7	119	21
8	149	21
9	162	21
10	184	21
11	206	21
12	245	21
13	262	21
14	268	21
15	269	21