Details

analyze9.3s (16.4%)

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
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0%	99.8%	0.2%	11
0%	99.8%	0.2%	12
0.6%	99.2%	0.2%	13
1.8%	98%	0.2%	14

Compiler

Compiled 71 to 47 computations (33.8% saved)

sample22.7s (40.2%)

Symmetry

(sort lambda1 lambda2)

(sort phi1 phi2)

Results

16.5s	5452×	body	1024	valid
2.8s	451×	body	2048	valid
2.4s	1243×	body	512	valid
457.0ms	735×	body	128	valid
429.0ms	375×	body	256	valid
5.0ms	2×	body	1024	invalid
2.0ms	1×	body	512	invalid

Compiler

Compiled 212 to 140 computations (34% saved)

simplify162.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

698×	`fma-def_binary64`
571×	`fma-neg_binary64`
563×	`sub-neg_binary64`
520×	`distribute-rgt-neg-in_binary64`
460×	`sqr-pow_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	103
1	59	99
2	123	99
3	247	99
4	552	99
5	1018	99
6	1698	99
7	2589	99
8	3560	99
9	3893	99
10	4414	99
11	4607	99
12	4426	99
13	4413	99
14	4778	99
15	4761	99

prune8.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

24.8b

Counts

3 → 2

Alt Table

Status	Error	Program
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))))))
▶	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))

Status

Error

Program

24.8b

(*.f64 R (*.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))))))

▶

24.8b

(*.f64 R (*.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))

Compiler

Compiled 409 to 260 computations (36.4% saved)

localize27.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)
✓	0.7b	(-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))
✓	2.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
✓	4.9b	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

series140.0ms (0.2%)

Counts

4 → 120

Calls

4 calls:

118.0ms	(-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))
12.0ms	(pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)
5.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
4.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

rewrite77.0ms (0.1%)

Algorithm

2×	batch-egg-rewrite

Rules

75× egg-rr

Counts

4 → 75

Calls

2 calls:

75.0ms

((sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	75
1	446	75
2	4888	75
3	5500	75
0	0	0
1	0	0

simplify119.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

498×	`fma-neg_binary64`
333×	`sub-neg_binary64`
321×	`distribute-rgt-neg-in_binary64`
318×	`associate-r_binary64`
299×	`neg-mul-1_binary64`

Counts

195 → 160

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	243	3880
1	795	3828
2	2835	3714
3	4903	3714
4	5089	3714

prune1.5s (2.6%)

Pruning

39 alts after pruning (39 fresh and 0 done)

	Pruned	Kept	Total
New	288	39	327
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	290	39	329

Error

22.9b

Counts

329 → 39

Alt Table

Status	Error	Program
	35.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (.f64 (sin.f64 (.f64 1/2 phi1)) (-.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 phi2 (cos.f64 (*.f64 1/2 phi1)))))))))))
	31.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 1/2 (.f64 (cos.f64 (.f64 1/2 phi1)) phi2))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	25.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 lambda2 2))) (cos.f64 (/.f64 lambda1 2)) (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))))) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	32.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi2) (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda2)) 2) (cos.f64 phi1)) (pow.f64 (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) 2)))))))
	26.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) 3)))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	33.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	36.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 (+.f64 (+.f64 1 (.f64 phi2 (+.f64 (.f64 (sin.f64 (.f64 1/2 phi1)) (cos.f64 (.f64 1/2 phi1))) (.f64 (.f64 1/4 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)) phi2)))) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda1 lambda2))) 2) (-.f64 (.f64 1/2 (.f64 (.f64 phi2 phi2) (cos.f64 phi1))) (cos.f64 phi1)))) (fma.f64 1/4 (.f64 (.f64 phi2 phi2) (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2)) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) 3))))))))
	31.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (*.f64 1/2 phi1)) 2)))))))
	38.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (+.f64 (sin.f64 (.f64 1/2 lambda1)) (.f64 (cos.f64 (.f64 1/2 lambda1)) (-.f64 (.f64 1/48 (pow.f64 lambda2 3)) (.f64 1/2 lambda2)))) (.f64 (.f64 (sin.f64 (.f64 1/2 lambda1)) (.f64 lambda2 lambda2)) -1/8))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	24.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (sqrt.f64 (pow.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) 2))))))
	25.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (fma.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 lambda2 2))) (cos.f64 (/.f64 lambda1 2)) (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	25.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 3)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 1)) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	33.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 -1/2 phi2))) (sin.f64 (.f64 -1/2 phi2))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	24.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) 2)))))))
	35.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 1/2 (.f64 (cos.f64 (.f64 -1/2 lambda2)) lambda1) (sin.f64 (.f64 -1/2 lambda2)))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)) 2)) (+.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))))))))
	24.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	33.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 -1/2 phi2)) 2) (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 2)))))))
	39.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	37.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (.f64 1/2 lambda1))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
▶	24.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	33.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 2))))))))
	34.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (.f64 -1/2 lambda2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	36.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	38.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 (+.f64 1 (.f64 (cos.f64 phi2) (-.f64 (.f64 lambda2 (.f64 (cos.f64 (.f64 1/2 lambda1)) (.f64 (sin.f64 (.f64 1/2 lambda1)) (cos.f64 phi1)))) (.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 lambda1)) 2))))) (pow.f64 (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) 2))))))
	34.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (*.f64 1/2 lambda1))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	32.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (*.f64 -1/2 lambda2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	33.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (*.f64 -1/2 phi2)) 2)))))))
	24.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	34.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 lambda1)) 2)) (pow.f64 (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) 2)))))))
	24.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))) 3)))))
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))))) 2)))))))
	30.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 2)))))))
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (log.f64 (exp.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))))
	35.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (.f64 (sin.f64 (.f64 1/2 phi1)) (-.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 phi2 (cos.f64 (.f64 1/2 phi1))))))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))

Compiler

Compiled 30283 to 18324 computations (39.5% saved)

localize41.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)
✓	0.7b	(-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))
	2.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
	4.9b	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

series212.0ms (0.4%)

Counts

1 → 48

Calls

1 calls:

211.0ms

(-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))

rewrite36.0ms (0.1%)

Algorithm

2×	batch-egg-rewrite

Rules

17× egg-rr

Counts

1 → 17

Calls

2 calls:

35.0ms

((-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2))))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	66
1	579	48
2	5205	48
0	0	0
1	0	0

simplify133.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

972×	`cancel-sign-sub-inv_binary64`
724×	`fma-neg_binary64`
327×	`sub-neg_binary64`
265×	`associate-r_binary64`
234×	`fma-def_binary64`

Counts

65 → 54

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	194	5078
1	659	4987
2	2493	4986
3	4834	4986
4	5024	4986

prune1.5s (2.7%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	245	9	254
Fresh	14	24	38
Picked	1	0	1
Done	0	0	0
Total	260	33	293

Error

10.6b

Counts

293 → 33

Alt Table

Status	Error	Program
	38.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (.f64 (sin.f64 (.f64 -1/2 phi2)) (+.f64 (sin.f64 (.f64 -1/2 phi2)) (.f64 phi1 (cos.f64 (.f64 -1/2 phi2))))))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	25.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 lambda2 2))) (cos.f64 (/.f64 lambda1 2)) (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))))) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	26.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) 3)))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	33.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	36.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 (+.f64 (+.f64 1 (.f64 phi2 (+.f64 (.f64 (sin.f64 (.f64 1/2 phi1)) (cos.f64 (.f64 1/2 phi1))) (.f64 (.f64 1/4 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)) phi2)))) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda1 lambda2))) 2) (-.f64 (.f64 1/2 (.f64 (.f64 phi2 phi2) (cos.f64 phi1))) (cos.f64 phi1)))) (fma.f64 1/4 (.f64 (.f64 phi2 phi2) (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2)) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	31.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (*.f64 1/2 phi1)) 2)))))))
	24.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 4)) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) 2)))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	38.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (+.f64 (sin.f64 (.f64 1/2 lambda1)) (.f64 (cos.f64 (.f64 1/2 lambda1)) (-.f64 (.f64 1/48 (pow.f64 lambda2 3)) (.f64 1/2 lambda2)))) (.f64 (.f64 (sin.f64 (.f64 1/2 lambda1)) (.f64 lambda2 lambda2)) -1/8))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	24.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	25.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (fma.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 lambda2 2))) (cos.f64 (/.f64 lambda1 2)) (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	25.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 3)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 1)) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	36.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	30.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 2)))))))
	31.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 (fma.f64 2 (.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 (cos.f64 (.f64 1/2 phi2)) (sin.f64 (.f64 1/2 phi2))))) 1) (fma.f64 (cos.f64 phi2) (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda2)) 2) (cos.f64 phi1)) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2) (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (pow.f64 (sin.f64 (.f64 1/2 phi2)) 2)))))))))
	24.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) 2)))))))
	35.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 1/2 (.f64 (cos.f64 (.f64 -1/2 lambda2)) lambda1) (sin.f64 (.f64 -1/2 lambda2)))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	35.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (sin.f64 (.f64 -1/2 phi2)) (+.f64 (.f64 (cos.f64 (.f64 -1/2 phi2)) (-.f64 (.f64 1/2 phi1) (.f64 1/48 (pow.f64 phi1 3)))) (.f64 (sin.f64 (.f64 -1/2 phi2)) (.f64 (.f64 phi1 phi1) -1/8)))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)) 2)) (+.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))))))))
	33.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 -1/2 phi2)) 2) (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 2)))))))
	39.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	34.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (.f64 -1/2 lambda2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	36.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	38.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 (+.f64 1 (.f64 (cos.f64 phi2) (-.f64 (.f64 lambda2 (.f64 (cos.f64 (.f64 1/2 lambda1)) (.f64 (sin.f64 (.f64 1/2 lambda1)) (cos.f64 phi1)))) (.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 lambda1)) 2))))) (pow.f64 (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) 2))))))
	34.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (*.f64 1/2 lambda1))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	33.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (*.f64 -1/2 phi2)) 2)))))))
	34.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
▶	11.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	11.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (log.f64 (exp.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))))
	24.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))) 3)))))
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))))) 2)))))))
	34.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 (fma.f64 2 (.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 (cos.f64 (.f64 1/2 phi2)) (sin.f64 (.f64 1/2 phi2))))) 1) (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 lambda1)) 2)) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2) (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (pow.f64 (sin.f64 (.f64 1/2 phi2)) 2)))))))))

Compiler

Compiled 27816 to 18062 computations (35.1% saved)

localize46.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)
	0.7b	(-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))
	2.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
✓	32.2b	(fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (*.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))

series67.0ms (0.1%)

Counts

2 → 48

Calls

2 calls:

35.0ms

(pow.f64 (-.f64 (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)

31.0ms

(fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (*.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))

rewrite76.0ms (0.1%)

Algorithm

2×	batch-egg-rewrite

Rules

58× egg-rr

Counts

2 → 58

Calls

2 calls:

74.0ms

((fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (*.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2)))) (pow.f64 (-.f64 (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	63
1	364	34
2	4341	34
3	5092	34
0	0	0
1	0	0

simplify55.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

798×	`fma-neg_binary64`
488×	`unswap-sqr_binary64`
318×	`associate-r_binary64`
315×	`associate-l_binary64`
281×	`fma-def_binary64`

Counts

106 → 75

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	57	934
1	180	924
2	564	890
3	2226	864
4	5060	864

prune2.2s (3.9%)

Pruning

39 alts after pruning (39 fresh and 0 done)

	Pruned	Kept	Total
New	239	22	261
Fresh	15	17	32
Picked	1	0	1
Done	0	0	0
Total	255	39	294

Error

10.4b

Counts

294 → 39

Alt Table

Status	Error	Program
	11.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	24.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (log1p.f64 (expm1.f64 (.f64 (cos.f64 (/.f64 phi1 2)) (+.f64 (sin.f64 (/.f64 phi2 2)) (sin.f64 (/.f64 phi2 2))))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	11.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 (+.f64 1 (.f64 2 (.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 (cos.f64 (.f64 1/2 phi2)) (sin.f64 (.f64 1/2 phi2))))))) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2) (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2)) (+.f64 (.f64 (cos.f64 phi2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda1 lambda2))) 2) (cos.f64 phi1))) (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (pow.f64 (sin.f64 (*.f64 1/2 phi2)) 2)))))))))
	12.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	26.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) 3)))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	33.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (/.f64 (.f64 (-.f64 (pow.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) 3) (pow.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))) 3)) (sin.f64 (.f64 1/2 (+.f64 phi2 phi1)))) (+.f64 (pow.f64 (sin.f64 (.f64 1/2 (+.f64 phi2 phi1))) 2) (.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))) (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))))))))))))
	32.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 2)))))))
	27.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (sqrt.f64 (pow.f64 (.f64 (cos.f64 (/.f64 phi1 2)) (+.f64 (sin.f64 (/.f64 phi2 2)) (sin.f64 (/.f64 phi2 2)))) 2))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	36.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 (+.f64 (+.f64 1 (.f64 phi2 (+.f64 (.f64 (sin.f64 (.f64 1/2 phi1)) (cos.f64 (.f64 1/2 phi1))) (.f64 (.f64 1/4 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)) phi2)))) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda1 lambda2))) 2) (-.f64 (.f64 1/2 (.f64 (.f64 phi2 phi2) (cos.f64 phi1))) (cos.f64 phi1)))) (fma.f64 1/4 (.f64 (.f64 phi2 phi2) (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2)) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	11.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	24.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (pow.f64 (cbrt.f64 (.f64 (cos.f64 (/.f64 phi1 2)) (+.f64 (sin.f64 (/.f64 phi2 2)) (sin.f64 (/.f64 phi2 2))))) 3)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	38.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (+.f64 (sin.f64 (.f64 1/2 lambda1)) (.f64 (cos.f64 (.f64 1/2 lambda1)) (-.f64 (.f64 1/48 (pow.f64 lambda2 3)) (.f64 1/2 lambda2)))) (.f64 (.f64 (sin.f64 (.f64 1/2 lambda1)) (.f64 lambda2 lambda2)) -1/8))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	23.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (.f64 -1/2 lambda2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	25.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 (fma.f64 2 (.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 (cos.f64 (.f64 1/2 phi2)) (sin.f64 (.f64 1/2 phi2))))) 1) (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 lambda1)) 2)) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2) (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (pow.f64 (sin.f64 (.f64 1/2 phi2)) 2)))))))))
	25.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (fma.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 lambda2 2))) (cos.f64 (/.f64 lambda1 2)) (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	33.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (*.f64 1/2 phi2)) 2)))))))
	25.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 3)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	11.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (log1p.f64 (expm1.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 1)) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	11.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	23.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (+.f64 (pow.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) 2) (pow.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))) 2))))))))
	22.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 (fma.f64 2 (.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 (cos.f64 (.f64 1/2 phi2)) (sin.f64 (.f64 1/2 phi2))))) 1) (fma.f64 (cos.f64 phi2) (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda2)) 2) (cos.f64 phi1)) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2) (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (pow.f64 (sin.f64 (.f64 1/2 phi2)) 2)))))))))
	35.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 1/2 (.f64 (cos.f64 (.f64 -1/2 lambda2)) lambda1) (sin.f64 (.f64 -1/2 lambda2)))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	24.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) 2)))))))
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)) 2)) (+.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))))))))
	11.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	39.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	29.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 (+.f64 1 (fma.f64 1/4 (.f64 (cos.f64 phi2) (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda2)) 2) (.f64 (cos.f64 phi1) (.f64 lambda1 lambda1)))) (fma.f64 2 (.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 (cos.f64 (.f64 1/2 phi2)) (sin.f64 (.f64 1/2 phi2))))) (.f64 1/6 (.f64 (cos.f64 phi2) (.f64 (sin.f64 (.f64 -1/2 lambda2)) (.f64 (cos.f64 (.f64 -1/2 lambda2)) (.f64 (cos.f64 phi1) (pow.f64 lambda1 3))))))))) (+.f64 (fma.f64 1/4 (.f64 (cos.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (.f64 lambda1 lambda1)) (pow.f64 (cos.f64 (.f64 -1/2 lambda2)) 2))) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2) (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (pow.f64 (sin.f64 (.f64 1/2 phi2)) 2)))) (.f64 (cos.f64 phi2) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda2)) 2) (cos.f64 phi1)) (.f64 (sin.f64 (.f64 -1/2 lambda2)) (.f64 (cos.f64 (.f64 -1/2 lambda2)) (*.f64 (cos.f64 phi1) lambda1)))))))))))
	30.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (*.f64 1/2 phi1)) 2)))))))
	36.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	34.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (*.f64 1/2 lambda1))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	34.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	24.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (.f64 -1/2 lambda2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
▶	11.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (log.f64 (exp.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))))
	25.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 lambda2 2))) (cos.f64 (/.f64 lambda1 2)) (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))))) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	30.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 2)))))))
	24.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))) 3)))))
	32.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 phi2 2))) (cos.f64 (/.f64 phi1 2)) (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 2))) (sqrt.f64 (-.f64 (+.f64 (fma.f64 (cos.f64 phi2) (.f64 lambda2 (.f64 (cos.f64 (.f64 1/2 lambda1)) (.f64 (cos.f64 phi1) (sin.f64 (.f64 1/2 lambda1))))) (fma.f64 2 (.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 (cos.f64 (.f64 1/2 phi2)) (sin.f64 (.f64 1/2 phi2))))) 1)) (.f64 1/4 (.f64 (cos.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 lambda1)) 2)) (.f64 lambda2 lambda2))))) (fma.f64 1/4 (.f64 (pow.f64 (cos.f64 (.f64 1/2 lambda1)) 2) (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 lambda1)) 2)) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2) (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (pow.f64 (sin.f64 (.f64 1/2 phi2)) 2))))))))))

Compiler

Compiled 39508 to 27559 computations (30.2% saved)

localize41.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (*.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2)
	0.3b	(pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)
	0.7b	(-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))
	2.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

series34.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

34.0ms

(pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (*.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2)

rewrite60.0ms (0.1%)

Algorithm

2×	batch-egg-rewrite

Rules

42× egg-rr

Counts

1 → 42

Calls

2 calls:

58.0ms	((pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (*.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	33
1	331	12
2	3621	12
3	4917	12
0	0	0
1	0	0

simplify48.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

798×	`fma-neg_binary64`
488×	`unswap-sqr_binary64`
318×	`associate-r_binary64`
315×	`associate-l_binary64`
281×	`fma-def_binary64`

Counts

66 → 58

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	56	910
1	179	900
2	564	866
3	2226	840
4	5060	840

prune2.3s (4.2%)

Pruning

38 alts after pruning (38 fresh and 0 done)

	Pruned	Kept	Total
New	278	18	296
Fresh	18	20	38
Picked	1	0	1
Done	0	0	0
Total	297	38	335

Error

10.4b

Counts

335 → 38

Alt Table

Status	Error	Program
	11.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (log1p.f64 (expm1.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	25.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 lambda2 2))) (cos.f64 (/.f64 lambda1 2)) (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))))) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	24.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (log1p.f64 (expm1.f64 (.f64 (cos.f64 (/.f64 phi1 2)) (+.f64 (sin.f64 (/.f64 phi2 2)) (sin.f64 (/.f64 phi2 2))))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	11.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	26.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) 3)))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	11.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	27.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (sqrt.f64 (pow.f64 (.f64 (cos.f64 (/.f64 phi1 2)) (+.f64 (sin.f64 (/.f64 phi2 2)) (sin.f64 (/.f64 phi2 2)))) 2))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	36.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 (+.f64 (+.f64 1 (.f64 phi2 (+.f64 (.f64 (sin.f64 (.f64 1/2 phi1)) (cos.f64 (.f64 1/2 phi1))) (.f64 (.f64 1/4 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)) phi2)))) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda1 lambda2))) 2) (-.f64 (.f64 1/2 (.f64 (.f64 phi2 phi2) (cos.f64 phi1))) (cos.f64 phi1)))) (fma.f64 1/4 (.f64 (.f64 phi2 phi2) (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2)) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	25.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 (fma.f64 2 (.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 (cos.f64 (.f64 1/2 phi2)) (sin.f64 (.f64 1/2 phi2))))) 1) (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 lambda1)) 2)) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2) (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (pow.f64 (sin.f64 (*.f64 1/2 phi2)) 2)))))))))
	24.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) (pow.f64 (cbrt.f64 (.f64 (cos.f64 (/.f64 phi1 2)) (+.f64 (sin.f64 (/.f64 phi2 2)) (sin.f64 (/.f64 phi2 2))))) 3)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	38.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (+.f64 (sin.f64 (.f64 1/2 lambda1)) (.f64 (cos.f64 (.f64 1/2 lambda1)) (-.f64 (.f64 1/48 (pow.f64 lambda2 3)) (.f64 1/2 lambda2)))) (.f64 (.f64 (sin.f64 (.f64 1/2 lambda1)) (.f64 lambda2 lambda2)) -1/8))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	25.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (fma.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))))) (fma.f64 (neg.f64 (sin.f64 (/.f64 lambda2 2))) (cos.f64 (/.f64 lambda1 2)) (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	33.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (.f64 1/2 phi2)) 2)))))))
	33.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (/.f64 (.f64 (sin.f64 (.f64 1/2 (+.f64 phi2 phi1))) (-.f64 (pow.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) 3) (pow.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))) 3))) (+.f64 (pow.f64 (sin.f64 (.f64 1/2 (+.f64 phi2 phi1))) 2) (.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))) (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))))))))))))
	25.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 3)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 1)) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	32.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 (+.f64 (fma.f64 (cos.f64 phi2) (.f64 lambda2 (.f64 (cos.f64 (.f64 1/2 lambda1)) (.f64 (cos.f64 phi1) (sin.f64 (.f64 1/2 lambda1))))) (fma.f64 2 (.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 (cos.f64 (.f64 1/2 phi2)) (sin.f64 (.f64 1/2 phi2))))) 1)) (.f64 1/4 (.f64 (cos.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 lambda1)) 2)) (.f64 lambda2 lambda2))))) (fma.f64 1/4 (.f64 (pow.f64 (cos.f64 (.f64 1/2 lambda1)) 2) (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 lambda1)) 2)) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2) (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (pow.f64 (sin.f64 (*.f64 1/2 phi2)) 2))))))))))
	12.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	30.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 2)))))))
	11.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 (+.f64 1 (.f64 2 (.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 (cos.f64 (.f64 1/2 phi2)) (sin.f64 (.f64 1/2 phi2))))))) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2) (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2)) (+.f64 (.f64 (cos.f64 phi2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda1 lambda2))) 2) (cos.f64 phi1))) (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (pow.f64 (sin.f64 (.f64 1/2 phi2)) 2)))))))))
	24.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) 2)))))))
	35.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 1/2 (.f64 (cos.f64 (.f64 -1/2 lambda2)) lambda1) (sin.f64 (.f64 -1/2 lambda2)))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	32.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda1 lambda2))) 2)))))))
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)) 2)) (+.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))))))))
	39.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	22.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 (fma.f64 2 (.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 (cos.f64 (.f64 1/2 phi2)) (sin.f64 (.f64 1/2 phi2))))) 1) (fma.f64 (cos.f64 phi2) (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda2)) 2) (cos.f64 phi1)) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2) (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (pow.f64 (sin.f64 (*.f64 1/2 phi2)) 2)))))))))
	34.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (*.f64 1/2 lambda1))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	34.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	24.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))) 3)))))
	23.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (+.f64 (pow.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) 2) (pow.f64 (*.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))) 2))))))))
	29.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 (+.f64 1 (fma.f64 1/4 (.f64 (cos.f64 phi2) (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda2)) 2) (.f64 (cos.f64 phi1) (.f64 lambda1 lambda1)))) (fma.f64 2 (.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 (cos.f64 (.f64 1/2 phi2)) (sin.f64 (.f64 1/2 phi2))))) (.f64 1/6 (.f64 (cos.f64 phi2) (.f64 (sin.f64 (.f64 -1/2 lambda2)) (.f64 (cos.f64 (.f64 -1/2 lambda2)) (.f64 (cos.f64 phi1) (pow.f64 lambda1 3))))))))) (+.f64 (fma.f64 1/4 (.f64 (cos.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (.f64 lambda1 lambda1)) (pow.f64 (cos.f64 (.f64 -1/2 lambda2)) 2))) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2) (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (pow.f64 (sin.f64 (.f64 1/2 phi2)) 2)))) (.f64 (cos.f64 phi2) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda2)) 2) (cos.f64 phi1)) (.f64 (sin.f64 (.f64 -1/2 lambda2)) (.f64 (cos.f64 (.f64 -1/2 lambda2)) (.f64 (cos.f64 phi1) lambda1)))))))))))
	24.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (.f64 -1/2 lambda2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	11.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	23.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (.f64 -1/2 lambda2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	11.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (log1p.f64 (expm1.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (-.f64 (.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2)))) 2)))))))
	36.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))
	24.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2))) (sqrt.f64 (log.f64 (exp.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2)))))))))
	30.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (+.f64 (fma.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2)) (neg.f64 (.f64 (sin.f64 (/.f64 phi2 2)) (cos.f64 (/.f64 phi1 2))))) 0) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))

Compiler

Compiled 33392 to 22514 computations (32.6% saved)

regimes13.4s (23.7%)

Accuracy

Total 0.7b remaining (5.3%)

Threshold costs 0.7b (5.3%)

Counts

323 → 1

Compiler

Compiled 426232 to 303172 computations (28.9% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

19×	`*-commutative_binary64`
10×	`+-commutative_binary64`
9×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	173
1	86	173
2	103	173
3	114	173
4	119	173
5	118	173

end2.2s (3.9%)

Remove

(sort phi1 phi2)

(sort lambda1 lambda2)

Compiler

Compiled 4336 to 3138 computations (27.6% saved)

Details

analyze9.3s (16.4%)

sample22.7s (40.2%)

simplify162.0ms (0.3%)

prune8.0ms (0%)

localize27.0ms (0%)

series140.0ms (0.2%)

rewrite77.0ms (0.1%)

simplify119.0ms (0.2%)

prune1.5s (2.6%)

localize41.0ms (0.1%)

series212.0ms (0.4%)

rewrite36.0ms (0.1%)

simplify133.0ms (0.2%)

prune1.5s (2.7%)

localize46.0ms (0.1%)

series67.0ms (0.1%)

rewrite76.0ms (0.1%)

simplify55.0ms (0.1%)

prune2.2s (3.9%)

localize41.0ms (0.1%)

series34.0ms (0.1%)

rewrite60.0ms (0.1%)

simplify48.0ms (0.1%)

prune2.3s (4.2%)

regimes13.4s (23.7%)

simplify8.0ms (0%)

end2.2s (3.9%)

Profiling