Details

analyze863.0ms (15%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
49.9%	49.9%	0.2%	3
49.9%	49.9%	0.2%	4
49.9%	49.9%	0.2%	5
49.9%	49.9%	0.2%	6
74.9%	25%	0.2%	7
74.9%	25%	0.2%	8
74.9%	25%	0.2%	9
74.9%	25%	0.2%	10
87.3%	12.5%	0.2%	11
87.3%	12.5%	0.2%	12
87.3%	12.5%	0.2%	13
87.3%	12.5%	0.2%	14

Compiler

Compiled 34 to 30 computations (11.8% saved)

sample4.1s (70.8%)

Results

2.2s	6555×	body	128	valid
1.1s	811×	body	1024	valid
574.0ms	571×	body	512	valid
204.0ms	319×	body	256	valid

preprocess35.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

446×	`rule-ab-ba_binary64`
411×	`rule-a-*a1_binary64`
411×	`rule-a--a0_binary64`
411×	`rule-a-+a0_binary64`
407×	`rule-a-/a1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	88	294
1	595	259
2	2255	259
0	4	4
1	4	4

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
3
2

Call 2

Inputs
(sqrt.f64 (.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))))))
(sqrt.f64 (.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 Om) l) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))))))
(sqrt.f64 (.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 kx) Om) 2) (+.f64 (pow.f64 (sin.f64 l) 2) (pow.f64 (sin.f64 ky) 2)))))))))
(sqrt.f64 (.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 ky) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 l) 2)))))))))
(sqrt.f64 (.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 l) kx) 2) (+.f64 (pow.f64 (sin.f64 Om) 2) (pow.f64 (sin.f64 ky) 2)))))))))
(sqrt.f64 (.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 l) ky) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 Om) 2)))))))))
(sqrt.f64 (.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))))))

Outputs
(sqrt.f64 (.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))))))
(sqrt.f64 (+.f64 1/2 (.f64 1/2 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (*.f64 l (/.f64 2 Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))))))
(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))
(sqrt.f64 (.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 Om) l) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))))))
(sqrt.f64 (+.f64 1/2 (.f64 1/2 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 (/.f64 (*.f64 2 Om) l) 2))))))))
(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (fma.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 (/.f64 Om (/.f64 l 2)) 2) 1)))))
(sqrt.f64 (.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 kx) Om) 2) (+.f64 (pow.f64 (sin.f64 l) 2) (pow.f64 (sin.f64 ky) 2)))))))))
(sqrt.f64 (+.f64 1/2 (.f64 1/2 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (*.f64 kx (/.f64 2 Om)) 2) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 l) 2)))))))))
(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 kx Om)) 2) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 l) 2)) 1)))))
(sqrt.f64 (.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 ky) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 l) 2)))))))))
(sqrt.f64 (+.f64 1/2 (.f64 1/2 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (*.f64 ky (/.f64 2 Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 l) 2)))))))))
(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 ky Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 l) 2)) 1)))))
(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 ky Om)) 2) (fma.f64 (sin.f64 l) (sin.f64 l) (pow.f64 (sin.f64 kx) 2)) 1)))))
(sqrt.f64 (.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 l) kx) 2) (+.f64 (pow.f64 (sin.f64 Om) 2) (pow.f64 (sin.f64 ky) 2)))))))))
(sqrt.f64 (+.f64 1/2 (.f64 1/2 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (*.f64 l (/.f64 2 kx)) 2) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 Om) 2)))))))))
(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l kx)) 2) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 Om) 2)) 1)))))
(sqrt.f64 (.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 l) ky) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 Om) 2)))))))))
(sqrt.f64 (+.f64 1/2 (.f64 1/2 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (*.f64 l (/.f64 2 ky)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 Om) 2)))))))))
(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l ky)) 2) (fma.f64 (sin.f64 kx) (sin.f64 kx) (pow.f64 (sin.f64 Om) 2)) 1)))))
(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l ky)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 Om) 2)) 1)))))
(sqrt.f64 (.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))))))
(sqrt.f64 (+.f64 1/2 (.f64 1/2 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (*.f64 l (/.f64 2 Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))))))
(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))

Symmetry

(sort kx ky)

Compiler

Compiled 33 to 29 computations (12.1% saved)

simplify28.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

485×	`rule-a-*a1_binary64`
485×	`rule-a--a0_binary64`
485×	`rule-a-+a0_binary64`
484×	`rule-a-/a1_binary64`
419×	`rule-/ab-*+aa/1/2b_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	42
1	152	37
2	526	37
3	2692	37

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(sqrt.f64 (.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))))))

Outputs

(sqrt.f64 (*.f64 (/.f64 1 2) (+.f64 1 (/.f64 1 (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))))))

(sqrt.f64 (+.f64 1/2 (*.f64 1/2 (/.f64 1 (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 (*.f64 l (/.f64 2 Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))))))

(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))

prune5.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.8b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.8b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))

Compiler

Compiled 113 to 95 computations (15.9% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(pow.f64 (*.f64 2 (/.f64 l Om)) 2)
✓	0.2b	(pow.f64 (sin.f64 ky) 2)
✓	1.6b	(fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)
✓	10.5b	(sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))

series34.0ms (0.6%)

Counts

4 → 124

Calls

33 calls:

Time	Variable		Point	Expression
4.0ms	ky	@	0	(sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))
2.0ms	kx	@	-inf	(sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))
2.0ms	kx	@	inf	(sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))
2.0ms	kx	@	0	(sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))
2.0ms	ky	@	inf	(sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))

rewrite49.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

189×	`add-sqr-sqrt_binary64`
185×	`pow1_binary64`
185×	`rules-30_binary64`
185×	`rules-31_binary64`
185×	`rules-32_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	72
1	440	72

Stop Event

1×	node limit

Counts

4 → 138

Calls

Call 1

Inputs
(sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))
(fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)
(pow.f64 (sin.f64 ky) 2)
(pow.f64 (*.f64 2 (/.f64 l Om)) 2)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) (cbrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) (cbrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))) (cbrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) (sqrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1) (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) (cbrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))) (cbrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) (sqrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1) (.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1) (.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1) (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) (neg.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) (cbrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))) (.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) (cbrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) (.f64 (cbrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) (cbrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) (cbrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) (cbrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))) (.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) (sqrt.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1) (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) (/.f64 1 (sqrt.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1) (.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1) (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (sin.f64 ky) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (sin.f64 ky) 2) (.f64 (sin.f64 ky) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (sin.f64 ky) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (sin.f64 ky) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (sin.f64 ky) 2) (.f64 (sin.f64 ky) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (pow.f64 (sin.f64 ky) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (sin.f64 ky) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 (sin.f64 ky) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sin.f64 ky) (sin.f64 ky))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (sin.f64 ky) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (sin.f64 ky) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (sin.f64 ky)) (neg.f64 (sin.f64 ky)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (pow.f64 (sin.f64 ky) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (.f64 (sin.f64 ky) (cbrt.f64 (sin.f64 ky))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (sin.f64 ky) 2)) (.f64 (cbrt.f64 (pow.f64 (sin.f64 ky) 2)) (cbrt.f64 (pow.f64 (sin.f64 ky) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (sin.f64 ky) 2)) (cbrt.f64 (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (pow.f64 (sin.f64 ky) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (sin.f64 ky)) (.f64 (sin.f64 ky) (sqrt.f64 (sin.f64 ky))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (pow.f64 (sin.f64 ky) 2)) (sqrt.f64 (pow.f64 (sin.f64 ky) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sin.f64 ky) (/.f64 1 (sin.f64 ky)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (sin.f64 ky) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (sin.f64 ky) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (pow.f64 (sin.f64 ky) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (pow.f64 (sin.f64 ky) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (sin.f64 ky) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (sin.f64 ky) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sin.f64 ky) (sin.f64 ky) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (sin.f64 ky) 2) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (pow.f64 (sin.f64 ky) 2)) (cbrt.f64 (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (pow.f64 (sin.f64 ky) 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (pow.f64 (sin.f64 ky) 2)) (sqrt.f64 (pow.f64 (sin.f64 ky) 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (sin.f64 ky) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 2 (log.f64 (sin.f64 ky))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (sin.f64 ky) 2)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (.f64 (/.f64 2 (/.f64 Om l)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (/.f64 2 (/.f64 Om l)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (.f64 (/.f64 2 (/.f64 Om l)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (pow.f64 (/.f64 2 (/.f64 Om l)) 2)) (pow.f64 (/.f64 2 (/.f64 Om l)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (/.f64 2 (/.f64 Om l)) (/.f64 l Om)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 l Om) (.f64 (/.f64 2 (/.f64 Om l)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 2 (/.f64 Om l)) (/.f64 2 (/.f64 Om l)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (/.f64 2 (/.f64 Om l)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (/.f64 2 (/.f64 Om l))) (neg.f64 (/.f64 2 (/.f64 Om l))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (pow.f64 (/.f64 l Om) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (/.f64 2 (/.f64 Om l))) (cbrt.f64 (/.f64 2 (/.f64 Om l)))) (.f64 (/.f64 2 (/.f64 Om l)) (cbrt.f64 (/.f64 2 (/.f64 Om l)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)) (.f64 (cbrt.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)) (cbrt.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)) (cbrt.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2))) (cbrt.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 2 (/.f64 Om l))) (.f64 (/.f64 2 (/.f64 Om l)) (sqrt.f64 (/.f64 2 (/.f64 Om l)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)) (sqrt.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (/.f64 l Om) 2) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (pow.f64 (/.f64 2 (/.f64 Om l)) 2)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 2 (/.f64 Om l)) (/.f64 (/.f64 Om l) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 2 (/.f64 Om l)) (/.f64 1 (/.f64 2 (/.f64 Om l))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 2 (/.f64 Om l)) (/.f64 Om (.f64 2 l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (/.f64 2 (/.f64 Om l))) (/.f64 Om l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 2 l) (/.f64 2 (/.f64 Om l))) Om)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) (pow.f64 (/.f64 2 (/.f64 Om l)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 2 (/.f64 Om l)) (/.f64 2 (/.f64 Om l)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 4 (pow.f64 (/.f64 l Om) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)) (cbrt.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2))) (cbrt.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)) (sqrt.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 2 (log.f64 (/.f64 2 (/.f64 Om l)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (/.f64 2 (/.f64 Om l)) 2)))))))

simplify72.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

358×	`rule-ab-ba_binary64`
347×	`rule-a-*a1_binary64`
347×	`rule-a--a0_binary64`
347×	`rule-a-+a0_binary64`
347×	`rule-a-/a1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	218	5092
1	1615	5067

Stop Event

1×	node limit

Counts

262 → 209

Calls

Call 1

Inputs
1
(+.f64 1 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (+.f64 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) (.f64 -2 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 l 4)) (pow.f64 Om 4)))))
(+.f64 1 (+.f64 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3) (pow.f64 l 6)) (pow.f64 Om 6))) (.f64 -2 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 l 4)) (pow.f64 Om 4))))))
(.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)))
(+.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))))
(+.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (+.f64 (.f64 -1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3)))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l)))))
(+.f64 (.f64 1/512 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 5))) (/.f64 (pow.f64 Om 5) (pow.f64 l 5)))) (+.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (+.f64 (.f64 -1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3)))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))))))
(.f64 -2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)))
(+.f64 (.f64 -2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (.f64 -1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))))
(+.f64 (.f64 -2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))) (.f64 1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3))))))
(+.f64 (.f64 -2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))) (+.f64 (.f64 -1/512 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 5))) (/.f64 (pow.f64 Om 5) (pow.f64 l 5)))) (.f64 1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3)))))))
(.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)))
(+.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))))
(+.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (+.f64 (.f64 -1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3)))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l)))))
(+.f64 (.f64 1/512 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 5))) (/.f64 (pow.f64 Om 5) (pow.f64 l 5)))) (+.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (+.f64 (.f64 -1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3)))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))))))
1
(+.f64 1 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (+.f64 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) (.f64 -2 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 l 4)) (pow.f64 Om 4)))))
(+.f64 1 (+.f64 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3) (pow.f64 l 6)) (pow.f64 Om 6))) (.f64 -2 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 l 4)) (pow.f64 Om 4))))))
1
(+.f64 1 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (+.f64 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) (.f64 -2 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 l 4)) (pow.f64 Om 4)))))
(+.f64 1 (+.f64 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3) (pow.f64 l 6)) (pow.f64 Om 6))) (.f64 -2 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 l 4)) (pow.f64 Om 4))))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))
(+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2))))) (.f64 2 (.f64 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 2)) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (*.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))))
(+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2))))) (+.f64 (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 -4/3 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (pow.f64 (.f64 2 (.f64 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))) 2)) (pow.f64 kx 4)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))) (.f64 2 (.f64 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 2)) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (*.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2))))))))))
(+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2))))) (+.f64 (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 -4/3 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (pow.f64 (.f64 2 (.f64 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))) 2)) (pow.f64 kx 4)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))) (+.f64 (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 8/45 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (.f64 2 (/.f64 (.f64 (-.f64 (.f64 -4/3 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (pow.f64 (.f64 2 (.f64 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))) 2)) (pow.f64 l 2)) (.f64 (pow.f64 Om 2) (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))) (pow.f64 kx 6)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))) (.f64 2 (.f64 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 2)) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (*.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 Om 2)))))
(+.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1))) (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 2)) (pow.f64 Om 2)))) (sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (*.f64 (pow.f64 l 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 Om 2))))))
(+.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1))) (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 2)) (pow.f64 Om 2)))) (+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 Om 2))))) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1))) (.f64 (-.f64 (.f64 -4/3 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (pow.f64 (.f64 2 (.f64 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (*.f64 (pow.f64 l 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 Om 2)))))))) 2)) (pow.f64 ky 4))))))
(+.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1))) (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 2)) (pow.f64 Om 2)))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1))) (.f64 (-.f64 (.f64 8/45 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (.f64 2 (/.f64 (.f64 (pow.f64 l 2) (-.f64 (.f64 -4/3 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (pow.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1))) (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))) 2))) (.f64 (pow.f64 Om 2) (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 Om 2)))))))) (pow.f64 ky 6)))) (+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 Om 2))))) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1))) (.f64 (-.f64 (.f64 -4/3 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (pow.f64 (.f64 2 (.f64 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (*.f64 (pow.f64 l 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 Om 2)))))))) 2)) (pow.f64 ky 4)))))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
1
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
1
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
1
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2))))
(+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 2)) (pow.f64 Om 2))) (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))
(+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 2)) (pow.f64 Om 2))) (+.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2))) (.f64 -4/3 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 4)) (pow.f64 Om 2))))))
(+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 2)) (pow.f64 Om 2))) (+.f64 1 (+.f64 (.f64 8/45 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 6)) (pow.f64 Om 2))) (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2))) (.f64 -4/3 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 4)) (pow.f64 Om 2)))))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(+.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 2)) (pow.f64 Om 2)))))
(+.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) (+.f64 (.f64 -4/3 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 4)) (pow.f64 Om 2))) (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 2)) (pow.f64 Om 2))))))
(+.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) (+.f64 (.f64 -4/3 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 4)) (pow.f64 Om 2))) (+.f64 (.f64 8/45 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 6)) (pow.f64 Om 2))) (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 2)) (pow.f64 Om 2)))))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(pow.f64 ky 2)
(+.f64 (*.f64 -1/3 (pow.f64 ky 4)) (pow.f64 ky 2))
(+.f64 (.f64 -1/3 (pow.f64 ky 4)) (+.f64 (pow.f64 ky 2) (.f64 2/45 (pow.f64 ky 6))))
(+.f64 (.f64 -1/3 (pow.f64 ky 4)) (+.f64 (pow.f64 ky 2) (+.f64 (.f64 -1/315 (pow.f64 ky 8)) (*.f64 2/45 (pow.f64 ky 6)))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))

Outputs
1
(+.f64 1 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 2 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 Om Om)))))
(+.f64 1 (.f64 2 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (.f64 Om Om))))))
(+.f64 1 (+.f64 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) (.f64 -2 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 l 4)) (pow.f64 Om 4)))))
(+.f64 1 (fma.f64 2 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 Om Om))) (.f64 -2 (*.f64 (pow.f64 l 4) (/.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 Om 4))))))
(+.f64 1 (fma.f64 2 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (.f64 Om Om)))) (.f64 -2 (*.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (/.f64 (pow.f64 l 4) (pow.f64 Om 4))))))
(+.f64 1 (+.f64 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3) (pow.f64 l 6)) (pow.f64 Om 6))) (.f64 -2 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 l 4)) (pow.f64 Om 4))))))
(+.f64 1 (fma.f64 2 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 Om Om))) (fma.f64 4 (.f64 (pow.f64 l 6) (/.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3) (pow.f64 Om 6))) (.f64 -2 (.f64 (pow.f64 l 4) (/.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 Om 4)))))))
(+.f64 1 (fma.f64 2 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (.f64 Om Om)))) (fma.f64 4 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3) (/.f64 (pow.f64 l 6) (pow.f64 Om 6))) (.f64 -2 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (/.f64 (pow.f64 l 4) (pow.f64 Om 4)))))))
(.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)))
(+.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))))
(fma.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)) (.f64 1/4 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))))
(+.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (+.f64 (.f64 -1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3)))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l)))))
(fma.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)) (fma.f64 -1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l)))))
(+.f64 (.f64 1/512 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 5))) (/.f64 (pow.f64 Om 5) (pow.f64 l 5)))) (+.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (+.f64 (.f64 -1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3)))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))))))
(fma.f64 1/512 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 5))) (/.f64 (pow.f64 Om 5) (pow.f64 l 5))) (fma.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)) (fma.f64 -1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3))) (.f64 1/4 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))))))
(.f64 -2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)))
(.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (.f64 -2 (/.f64 l Om)))
(+.f64 (.f64 -2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (.f64 -1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))))
(fma.f64 -2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)) (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (*.f64 -1/4 (/.f64 Om l))))
(fma.f64 -2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)) (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (*.f64 (/.f64 Om l) -1/4)))
(+.f64 (.f64 -2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))) (.f64 1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3))))))
(fma.f64 -2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)) (fma.f64 -1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l)) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (.f64 1/64 (/.f64 (pow.f64 Om 3) (pow.f64 l 3))))))
(fma.f64 -2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)) (fma.f64 -1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l)) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (.f64 (/.f64 (pow.f64 Om 3) (pow.f64 l 3)) 1/64))))
(+.f64 (.f64 -2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))) (+.f64 (.f64 -1/512 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 5))) (/.f64 (pow.f64 Om 5) (pow.f64 l 5)))) (.f64 1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3)))))))
(fma.f64 -2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)) (fma.f64 -1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l)) (fma.f64 -1/512 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 5))) (/.f64 (pow.f64 Om 5) (pow.f64 l 5))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (*.f64 1/64 (/.f64 (pow.f64 Om 3) (pow.f64 l 3)))))))
(fma.f64 -2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)) (fma.f64 -1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l)) (fma.f64 -1/512 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 5))) (/.f64 (pow.f64 Om 5) (pow.f64 l 5))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (*.f64 (/.f64 (pow.f64 Om 3) (pow.f64 l 3)) 1/64)))))
(.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)))
(+.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))))
(fma.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)) (.f64 1/4 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))))
(+.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (+.f64 (.f64 -1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3)))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l)))))
(fma.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)) (fma.f64 -1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l)))))
(+.f64 (.f64 1/512 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 5))) (/.f64 (pow.f64 Om 5) (pow.f64 l 5)))) (+.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om))) (+.f64 (.f64 -1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3)))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))))))
(fma.f64 1/512 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 5))) (/.f64 (pow.f64 Om 5) (pow.f64 l 5))) (fma.f64 2 (.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 l Om)) (fma.f64 -1/64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3))) (/.f64 (pow.f64 Om 3) (pow.f64 l 3))) (.f64 1/4 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (/.f64 Om l))))))
1
(+.f64 1 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 2 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 Om Om)))))
(+.f64 1 (.f64 2 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (.f64 Om Om))))))
(+.f64 1 (+.f64 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) (.f64 -2 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 l 4)) (pow.f64 Om 4)))))
(+.f64 1 (fma.f64 2 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 Om Om))) (.f64 -2 (*.f64 (pow.f64 l 4) (/.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 Om 4))))))
(+.f64 1 (fma.f64 2 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (.f64 Om Om)))) (.f64 -2 (*.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (/.f64 (pow.f64 l 4) (pow.f64 Om 4))))))
(+.f64 1 (+.f64 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3) (pow.f64 l 6)) (pow.f64 Om 6))) (.f64 -2 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 l 4)) (pow.f64 Om 4))))))
(+.f64 1 (fma.f64 2 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 Om Om))) (fma.f64 4 (.f64 (pow.f64 l 6) (/.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3) (pow.f64 Om 6))) (.f64 -2 (.f64 (pow.f64 l 4) (/.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 Om 4)))))))
(+.f64 1 (fma.f64 2 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (.f64 Om Om)))) (fma.f64 4 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3) (/.f64 (pow.f64 l 6) (pow.f64 Om 6))) (.f64 -2 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (/.f64 (pow.f64 l 4) (pow.f64 Om 4)))))))
1
(+.f64 1 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 2 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 Om Om)))))
(+.f64 1 (.f64 2 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (.f64 Om Om))))))
(+.f64 1 (+.f64 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) (.f64 -2 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 l 4)) (pow.f64 Om 4)))))
(+.f64 1 (fma.f64 2 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 Om Om))) (.f64 -2 (*.f64 (pow.f64 l 4) (/.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 Om 4))))))
(+.f64 1 (fma.f64 2 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (.f64 Om Om)))) (.f64 -2 (*.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (/.f64 (pow.f64 l 4) (pow.f64 Om 4))))))
(+.f64 1 (+.f64 (.f64 2 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3) (pow.f64 l 6)) (pow.f64 Om 6))) (.f64 -2 (/.f64 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 l 4)) (pow.f64 Om 4))))))
(+.f64 1 (fma.f64 2 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 Om Om))) (fma.f64 4 (.f64 (pow.f64 l 6) (/.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3) (pow.f64 Om 6))) (.f64 -2 (.f64 (pow.f64 l 4) (/.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (pow.f64 Om 4)))))))
(+.f64 1 (fma.f64 2 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (.f64 Om Om)))) (fma.f64 4 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 3) (/.f64 (pow.f64 l 6) (pow.f64 Om 6))) (.f64 -2 (.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 2) (/.f64 (pow.f64 l 4) (pow.f64 Om 4)))))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))
(sqrt.f64 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om))))))
(sqrt.f64 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l (/.f64 l (.f64 Om Om)))))))
(+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2))))) (.f64 2 (.f64 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 2)) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (*.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))))
(+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om)))))) (.f64 2 (.f64 (.f64 (.f64 kx kx) (/.f64 (.f64 l l) (.f64 Om Om))) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om))))))))))
(+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l (/.f64 l (.f64 Om Om))))))) (.f64 2 (.f64 (.f64 (.f64 kx kx) (.f64 l (/.f64 l (.f64 Om Om)))) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l (/.f64 l (.f64 Om Om)))))))))))
(+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2))))) (+.f64 (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 -4/3 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (pow.f64 (.f64 2 (.f64 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))) 2)) (pow.f64 kx 4)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))) (.f64 2 (.f64 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 2)) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (*.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2))))))))))
(+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om)))))) (fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om))))))) (.f64 (-.f64 (.f64 -4/3 (/.f64 (.f64 l l) (.f64 Om Om))) (pow.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om))))))) (/.f64 (.f64 l l) (.f64 Om Om)))) 2)) (pow.f64 kx 4))) (.f64 2 (.f64 (.f64 (.f64 kx kx) (/.f64 (.f64 l l) (.f64 Om Om))) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (*.f64 Om Om)))))))))))
(+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l (/.f64 l (.f64 Om Om))))))) (fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l (/.f64 l (.f64 Om Om)))))))) (.f64 (-.f64 (.f64 -4/3 (.f64 l (/.f64 l (.f64 Om Om)))) (pow.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l (/.f64 l (.f64 Om Om)))))))) (.f64 l (/.f64 l (.f64 Om Om))))) 2)) (pow.f64 kx 4))) (.f64 2 (.f64 (.f64 (.f64 kx kx) (.f64 l (/.f64 l (.f64 Om Om)))) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l (/.f64 l (*.f64 Om Om))))))))))))
(+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2))))) (+.f64 (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 -4/3 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (pow.f64 (.f64 2 (.f64 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))) 2)) (pow.f64 kx 4)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))) (+.f64 (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 8/45 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (.f64 2 (/.f64 (.f64 (-.f64 (.f64 -4/3 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (pow.f64 (.f64 2 (.f64 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))) 2)) (pow.f64 l 2)) (.f64 (pow.f64 Om 2) (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))) (pow.f64 kx 6)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))) (.f64 2 (.f64 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 2)) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (*.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))))))))
(+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om)))))) (fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om))))))) (.f64 (-.f64 (.f64 -4/3 (/.f64 (.f64 l l) (.f64 Om Om))) (pow.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om))))))) (/.f64 (.f64 l l) (.f64 Om Om)))) 2)) (pow.f64 kx 4))) (fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om))))))) (.f64 (-.f64 (/.f64 8/45 (/.f64 (.f64 Om Om) (.f64 l l))) (.f64 2 (.f64 (.f64 l l) (/.f64 (-.f64 (.f64 -4/3 (/.f64 (.f64 l l) (.f64 Om Om))) (pow.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om))))))) (/.f64 (.f64 l l) (.f64 Om Om)))) 2)) (.f64 (.f64 Om Om) (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om)))))))))) (pow.f64 kx 6))) (.f64 2 (.f64 (.f64 (.f64 kx kx) (/.f64 (.f64 l l) (.f64 Om Om))) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (*.f64 Om Om))))))))))))
(+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l (/.f64 l (.f64 Om Om))))))) (fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l (/.f64 l (.f64 Om Om)))))))) (.f64 (-.f64 (.f64 -4/3 (.f64 l (/.f64 l (.f64 Om Om)))) (pow.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l (/.f64 l (.f64 Om Om)))))))) (.f64 l (/.f64 l (.f64 Om Om))))) 2)) (pow.f64 kx 4))) (fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l (/.f64 l (.f64 Om Om)))))))) (.f64 (-.f64 (.f64 (.f64 l (/.f64 l (.f64 Om Om))) 8/45) (.f64 2 (.f64 (.f64 l l) (/.f64 (-.f64 (.f64 -4/3 (.f64 l (/.f64 l (.f64 Om Om)))) (pow.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l (/.f64 l (.f64 Om Om)))))))) (.f64 l (/.f64 l (.f64 Om Om))))) 2)) (.f64 (.f64 Om Om) (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l (/.f64 l (.f64 Om Om))))))))))) (pow.f64 kx 6))) (.f64 2 (.f64 (.f64 (.f64 kx kx) (.f64 l (/.f64 l (.f64 Om Om)))) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l (/.f64 l (.f64 Om Om)))))))))))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(+.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1))) (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 2)) (pow.f64 Om 2)))) (sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (*.f64 (pow.f64 l 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 Om 2))))))
(fma.f64 2 (.f64 (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (.f64 Om Om))) 1))) (.f64 (.f64 ky ky) (/.f64 (.f64 l l) (.f64 Om Om)))) (sqrt.f64 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (*.f64 Om Om))) 1)))
(fma.f64 2 (.f64 (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (.f64 Om Om)))) 1))) (.f64 (.f64 l l) (/.f64 (.f64 ky ky) (.f64 Om Om)))) (sqrt.f64 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)))
(+.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1))) (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 2)) (pow.f64 Om 2)))) (+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 Om 2))))) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1))) (.f64 (-.f64 (.f64 -4/3 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (pow.f64 (.f64 2 (.f64 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (*.f64 (pow.f64 l 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 Om 2)))))))) 2)) (pow.f64 ky 4))))))
(fma.f64 2 (.f64 (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (.f64 Om Om))) 1))) (.f64 (.f64 ky ky) (/.f64 (.f64 l l) (.f64 Om Om)))) (+.f64 (sqrt.f64 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (.f64 Om Om))) 1)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (.f64 Om Om))) 1))) (.f64 (pow.f64 ky 4) (-.f64 (.f64 -4/3 (/.f64 (.f64 l l) (.f64 Om Om))) (pow.f64 (.f64 2 (.f64 (/.f64 (.f64 l l) (.f64 Om Om)) (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (*.f64 Om Om))) 1))))) 2)))))))
(fma.f64 2 (.f64 (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (.f64 Om Om)))) 1))) (.f64 (.f64 l l) (/.f64 (.f64 ky ky) (.f64 Om Om)))) (+.f64 (sqrt.f64 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (.f64 Om Om)))) 1)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (.f64 Om Om)))) 1))) (.f64 (pow.f64 ky 4) (-.f64 (.f64 -4/3 (.f64 l (/.f64 l (.f64 Om Om)))) (pow.f64 (.f64 2 (.f64 (.f64 l (/.f64 l (.f64 Om Om))) (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))))) 2)))))))
(+.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1))) (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 2)) (pow.f64 Om 2)))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1))) (.f64 (-.f64 (.f64 8/45 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (.f64 2 (/.f64 (.f64 (pow.f64 l 2) (-.f64 (.f64 -4/3 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (pow.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1))) (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))) 2))) (.f64 (pow.f64 Om 2) (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 Om 2)))))))) (pow.f64 ky 6)))) (+.f64 (sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 Om 2))))) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1))) (.f64 (-.f64 (.f64 -4/3 (/.f64 (pow.f64 l 2) (pow.f64 Om 2))) (pow.f64 (.f64 2 (.f64 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)) (sqrt.f64 (/.f64 1 (+.f64 1 (.f64 4 (/.f64 (*.f64 (pow.f64 l 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 Om 2)))))))) 2)) (pow.f64 ky 4)))))))
(fma.f64 2 (.f64 (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (.f64 Om Om))) 1))) (.f64 (.f64 ky ky) (/.f64 (.f64 l l) (.f64 Om Om)))) (fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (.f64 Om Om))) 1))) (.f64 (-.f64 (/.f64 8/45 (/.f64 (.f64 Om Om) (.f64 l l))) (.f64 2 (.f64 (-.f64 (.f64 -4/3 (/.f64 (.f64 l l) (.f64 Om Om))) (pow.f64 (.f64 2 (.f64 (/.f64 (.f64 l l) (.f64 Om Om)) (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (.f64 Om Om))) 1))))) 2)) (/.f64 (.f64 l l) (.f64 (.f64 Om Om) (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (.f64 Om Om))) 1)))))) (pow.f64 ky 6))) (+.f64 (sqrt.f64 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (.f64 Om Om))) 1)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (.f64 Om Om))) 1))) (.f64 (pow.f64 ky 4) (-.f64 (.f64 -4/3 (/.f64 (.f64 l l) (.f64 Om Om))) (pow.f64 (.f64 2 (.f64 (/.f64 (.f64 l l) (.f64 Om Om)) (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (.f64 Om Om))) 1))))) 2))))))))
(fma.f64 2 (.f64 (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (.f64 Om Om)))) 1))) (.f64 (.f64 l l) (/.f64 (.f64 ky ky) (.f64 Om Om)))) (+.f64 (sqrt.f64 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (.f64 Om Om)))) 1)) (.f64 1/2 (+.f64 (.f64 (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (.f64 Om Om)))) 1))) (.f64 (-.f64 (.f64 (.f64 l (/.f64 l (.f64 Om Om))) 8/45) (.f64 2 (.f64 (.f64 l l) (/.f64 (-.f64 (.f64 -4/3 (.f64 l (/.f64 l (.f64 Om Om)))) (pow.f64 (.f64 2 (.f64 (.f64 l (/.f64 l (.f64 Om Om))) (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (.f64 Om Om)))) 1))))) 2)) (.f64 (.f64 Om Om) (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (.f64 Om Om)))) 1)))))) (pow.f64 ky 6))) (.f64 (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (.f64 Om Om)))) 1))) (.f64 (pow.f64 ky 4) (-.f64 (.f64 -4/3 (.f64 l (/.f64 l (.f64 Om Om)))) (pow.f64 (.f64 2 (.f64 (.f64 l (/.f64 l (.f64 Om Om))) (sqrt.f64 (/.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))))) 2))))))))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
(sqrt.f64 (+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))))
(sqrt.f64 (fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1))
(sqrt.f64 (fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1))
1
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))
(.f64 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 Om Om))) 4)
(.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (.f64 Om Om)))) 4)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))
(.f64 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 Om Om))) 4)
(.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (.f64 Om Om)))) 4)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2)))
(.f64 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 Om Om))) 4)
(.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (.f64 Om Om)))) 4)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
1
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
1
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2))))
(+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om)))))
(+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l (/.f64 l (.f64 Om Om))))))
(+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 2)) (pow.f64 Om 2))) (+.f64 1 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2)))))
(fma.f64 4 (.f64 (.f64 kx kx) (/.f64 (.f64 l l) (.f64 Om Om))) (+.f64 1 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om))))))
(+.f64 1 (/.f64 (+.f64 (.f64 4 (.f64 (.f64 l l) (.f64 kx kx))) (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l l)))) (.f64 Om Om)))
(+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 2)) (pow.f64 Om 2))) (+.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2))) (.f64 -4/3 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 4)) (pow.f64 Om 2))))))
(fma.f64 4 (.f64 (.f64 kx kx) (/.f64 (.f64 l l) (.f64 Om Om))) (+.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om))) (.f64 -4/3 (.f64 (pow.f64 kx 4) (/.f64 (.f64 l l) (*.f64 Om Om)))))))
(fma.f64 4 (.f64 (.f64 kx kx) (.f64 l (/.f64 l (.f64 Om Om)))) (+.f64 1 (/.f64 (+.f64 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l l))) (.f64 -4/3 (.f64 (.f64 l l) (pow.f64 kx 4)))) (*.f64 Om Om))))
(+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 2)) (pow.f64 Om 2))) (+.f64 1 (+.f64 (.f64 8/45 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 6)) (pow.f64 Om 2))) (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 Om 2))) (.f64 -4/3 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 kx 4)) (pow.f64 Om 2)))))))
(fma.f64 4 (.f64 (.f64 kx kx) (/.f64 (.f64 l l) (.f64 Om Om))) (+.f64 1 (fma.f64 8/45 (.f64 (pow.f64 kx 6) (/.f64 (.f64 l l) (.f64 Om Om))) (fma.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (/.f64 (.f64 l l) (.f64 Om Om))) (.f64 -4/3 (.f64 (pow.f64 kx 4) (/.f64 (.f64 l l) (.f64 Om Om))))))))
(fma.f64 4 (.f64 (.f64 kx kx) (.f64 l (/.f64 l (.f64 Om Om)))) (+.f64 1 (fma.f64 8/45 (.f64 (.f64 l l) (/.f64 (pow.f64 kx 6) (.f64 Om Om))) (/.f64 (+.f64 (.f64 4 (.f64 (pow.f64 (sin.f64 ky) 2) (.f64 l l))) (.f64 -4/3 (.f64 (.f64 l l) (pow.f64 kx 4)))) (.f64 Om Om)))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) 1)
(fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 2)) (pow.f64 Om 2)))))
(+.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (.f64 Om Om))) (.f64 4 (.f64 (.f64 ky ky) (/.f64 (.f64 l l) (.f64 Om Om))))))
(+.f64 1 (/.f64 (+.f64 (.f64 4 (.f64 (.f64 l l) (.f64 ky ky))) (.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l l)))) (.f64 Om Om)))
(+.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) (+.f64 (.f64 -4/3 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 4)) (pow.f64 Om 2))) (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 2)) (pow.f64 Om 2))))))
(+.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (.f64 Om Om))) (fma.f64 -4/3 (/.f64 (.f64 (.f64 l l) (pow.f64 ky 4)) (.f64 Om Om)) (.f64 4 (.f64 (.f64 ky ky) (/.f64 (.f64 l l) (*.f64 Om Om)))))))
(+.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (.f64 Om Om)))) (/.f64 (+.f64 (.f64 4 (.f64 (.f64 l l) (.f64 ky ky))) (.f64 -4/3 (.f64 (.f64 l l) (pow.f64 ky 4)))) (*.f64 Om Om))))
(+.f64 1 (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 l 2)) (pow.f64 Om 2))) (+.f64 (.f64 -4/3 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 4)) (pow.f64 Om 2))) (+.f64 (.f64 8/45 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 6)) (pow.f64 Om 2))) (.f64 4 (/.f64 (.f64 (pow.f64 l 2) (pow.f64 ky 2)) (pow.f64 Om 2)))))))
(+.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 l l) (.f64 Om Om))) (fma.f64 -4/3 (/.f64 (.f64 (.f64 l l) (pow.f64 ky 4)) (.f64 Om Om)) (fma.f64 8/45 (.f64 (pow.f64 ky 6) (/.f64 (.f64 l l) (.f64 Om Om))) (.f64 4 (.f64 (.f64 ky ky) (/.f64 (.f64 l l) (.f64 Om Om))))))))
(+.f64 1 (fma.f64 4 (.f64 (pow.f64 (sin.f64 kx) 2) (.f64 l (/.f64 l (.f64 Om Om)))) (fma.f64 -4/3 (.f64 (.f64 l l) (/.f64 (pow.f64 ky 4) (.f64 Om Om))) (/.f64 (+.f64 (.f64 4 (.f64 (.f64 l l) (.f64 ky ky))) (.f64 8/45 (.f64 (.f64 l l) (pow.f64 ky 6)))) (.f64 Om Om)))))
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(+.f64 1 (.f64 4 (/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 l 2)) (pow.f64 Om 2))))
(fma.f64 4 (.f64 (.f64 l l) (/.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 Om Om))) 1)
(fma.f64 4 (.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (.f64 l (/.f64 l (*.f64 Om Om)))) 1)
(pow.f64 ky 2)
(*.f64 ky ky)
(+.f64 (*.f64 -1/3 (pow.f64 ky 4)) (pow.f64 ky 2))
(fma.f64 -1/3 (pow.f64 ky 4) (*.f64 ky ky))
(+.f64 (.f64 -1/3 (pow.f64 ky 4)) (+.f64 (pow.f64 ky 2) (.f64 2/45 (pow.f64 ky 6))))
(fma.f64 -1/3 (pow.f64 ky 4) (+.f64 (.f64 ky ky) (.f64 (pow.f64 ky 6) 2/45)))
(+.f64 (.f64 -1/3 (pow.f64 ky 4)) (+.f64 (pow.f64 ky 2) (+.f64 (.f64 -1/315 (pow.f64 ky 8)) (*.f64 2/45 (pow.f64 ky 6)))))
(fma.f64 -1/3 (pow.f64 ky 4) (+.f64 (.f64 ky ky) (fma.f64 -1/315 (pow.f64 ky 8) (.f64 (pow.f64 ky 6) 2/45))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))
(*.f64 4 (/.f64 (pow.f64 l 2) (pow.f64 Om 2)))
(.f64 4 (/.f64 (.f64 l l) (*.f64 Om Om)))
(.f64 4 (.f64 l (/.f64 l (*.f64 Om Om))))

prune368.0ms (6.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	208	1	209
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	208	2	210

Error

0.6b

Counts

210 → 2

Alt Table

Status	Error	Program
✓	0.8b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))
▶	23.5b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 1)))

Compiler

Compiled 8497 to 5871 computations (30.9% saved)

localize3.0ms (0.1%)

prune2.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.6b

Counts

2 → 2

Alt Table

Status	Error	Program
✓	0.8b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))
✓	23.5b	(sqrt.f64 (+.f64 1/2 (/.f64 1/2 1)))

Compiler

Compiled 42 to 38 computations (9.5% saved)

regimes151.0ms (2.6%)

Accuracy

Total -23.4b remaining (-2363.6%)

Threshold costs -23.4b (-2363.6%)

Counts

9 → 1

Compiler

Compiled 682 to 562 computations (17.6% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	37
1	23	37

Stop Event

1×

saturated

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))

Outputs
(sqrt.f64 (+.f64 1/2 (/.f64 1/2 (sqrt.f64 (fma.f64 (pow.f64 (*.f64 2 (/.f64 l Om)) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) 1)))))

end51.0ms (0.9%)

Stop Event

1×

done

Remove

(sort kx ky)

Compiler

Compiled 142 to 119 computations (16.2% saved)

Details

analyze863.0ms (15%)

sample4.1s (70.8%)

preprocess35.0ms (0.6%)

simplify28.0ms (0.5%)

prune5.0ms (0.1%)

localize18.0ms (0.3%)

series34.0ms (0.6%)

rewrite49.0ms (0.8%)

simplify72.0ms (1.3%)

prune368.0ms (6.4%)

localize3.0ms (0.1%)

prune2.0ms (0%)

regimes151.0ms (2.6%)

simplify1.0ms (0%)

end51.0ms (0.9%)

Profiling