Details

analyze8.6s (16.3%)

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)

sample21.0s (39.6%)

Results

15.5s	5442×	body	1024	valid
2.4s	427×	body	2048	valid
2.2s	1297×	body	512	valid
453.0ms	411×	body	256	valid
339.0ms	679×	body	128	valid
3.0ms	1×	body	1024	invalid

Compiler

Compiled 212 to 140 computations (34% saved)

simplify42.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

698×	`fma-def_binary64`
562×	`fma-neg_binary64`
317×	`cancel-sign-sub-inv_binary64`
288×	`distribute-rgt-neg-in_binary64`
278×	`unswap-sqr_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	103
1	59	99
2	127	99
3	292	99
4	710	99
5	1626	99
6	3178	99
7	4850	99

Stop Event

1×	node limit

Counts

1 → 2

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

23.6b

Counts

3 → 2

Alt Table

Status	Error	Program
	23.6b	(.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)))))))))
▶	23.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))

Status

Error

Program

23.6b

(*.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)))))))))

▶

23.6b

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

Compiler

Compiled 409 to 266 computations (35% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))
✓	0.6b	(-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))
✓	3.4b	(sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2))
✓	3.6b	(sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1)))

series255.0ms (0.5%)

Counts

4 → 132

Calls

4 calls:

150.0ms	(sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))
96.0ms	(-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))
4.0ms	(sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1)))
4.0ms	(sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2))

rewrite40.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

240×	`add-sqr-sqrt_binary64`
232×	`log1p-expm1-u_binary64`
232×	`expm1-log1p-u_binary64`
229×	`add-cbrt-cube_binary64`
224×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	91
1	485	91

Stop Event

1×	node limit

Counts

4 → 81

Calls

4 calls:

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

simplify136.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

554×	`*-commutative_binary64`
455×	`fma-def_binary64`
269×	`fma-neg_binary64`
241×	`+-commutative_binary64`
183×	`associate--r+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	480	8710
1	1679	8376
2	4417	8373

Stop Event

1×	node limit

Counts

213 → 189

prune1.6s (3.1%)

Pruning

44 alts after pruning (44 fresh and 0 done)

	Pruned	Kept	Total
New	291	44	335
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	293	44	337

Error

22.1b

Counts

337 → 44

Alt Table

Status	Error	Program
	39.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (+.f64 1 (+.f64 (.f64 1/4 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 lambda1 2))))) (.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) lambda1)))))) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (+.f64 (.f64 1/4 (.f64 (pow.f64 (cos.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 lambda1 2))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/2))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	23.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) 3))))))
	40.4b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (fma.f64 (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) (+.f64 (.f64 1/2 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))))) (.f64 1/8 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2)))))) (.f64 -1/8 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (+.f64 (.f64 (.f64 (pow.f64 (cos.f64 phi2) 2) (.f64 (.f64 lambda2 lambda2) (.f64 (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2) (pow.f64 (cos.f64 phi1) 2)))) (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)))) (.f64 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1)))))))
	37.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/2))) 2)))))))
	37.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (+.f64 1 (.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) lambda1))))) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	25.9b	(.f64 R (.f64 2 (atan2.f64 (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) 1) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	23.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (sin.f64 (.f64 -1/2 lambda1))) (fma.f64 1/8 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 lambda2)) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (.f64 1/48 (pow.f64 lambda2 3))))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))))
	35.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sqrt.f64 (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	23.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 2)))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 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 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))) (.f64 (cos.f64 (/.f64 lambda2 2)) (sin.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	39.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (fma.f64 1/4 (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (.f64 lambda2 lambda2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2))) 1) (fma.f64 1/4 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2)))) (fma.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))) (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	31.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 phi2 -1/2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))
	23.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))) (.f64 (cos.f64 (/.f64 lambda2 2)) (sin.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	31.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))))
	36.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (pow.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3/2) 1/3) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	34.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))) (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	37.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 1/2 (.f64 (cos.f64 (.f64 1/2 lambda2)) lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	25.3b	(.f64 R (.f64 2 (atan2.f64 (.f64 (cbrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (cbrt.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
▶	23.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	34.6b	(.f64 R (.f64 2 (atan2.f64 (fma.f64 1/2 (.f64 phi1 (.f64 (.f64 (sin.f64 (.f64 phi2 -1/2)) (cos.f64 (.f64 phi2 -1/2))) (sqrt.f64 (/.f64 1 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2)))))) (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2)))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 1/2 lambda2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	23.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 3)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	38.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (fma.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) phi2) 1) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	25.2b	(.f64 R (.f64 2 (atan2.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 -1/2 lambda1)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	38.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (/.f64 (sqrt.f64 (-.f64 (cos.f64 (-.f64 (.f64 (-.f64 lambda2 lambda1) 1/2) (.f64 (-.f64 lambda2 lambda1) 1/2))) (cos.f64 (-.f64 lambda2 lambda1)))) (sqrt.f64 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (sin.f64 (.f64 -1/2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 1/2 lambda2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	23.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))))) 2)))))))

Compiler

Compiled 35183 to 22331 computations (36.5% saved)

localize51.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.6b	(-.f64 1/2 (*.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))
	3.4b	(sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2))
✓	3.4b	(cos.f64 (-.f64 lambda2 lambda1))
	3.6b	(sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1)))

series13.0ms (0%)

Counts

2 → 16

Calls

2 calls:

9.0ms	(-.f64 1/2 (*.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))
4.0ms	(cos.f64 (-.f64 lambda2 lambda1))

rewrite49.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

559×	`prod-diff_binary64`
263×	`fma-def_binary64`
184×	`expm1-udef_binary64`
184×	`log1p-udef_binary64`
125×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	192	18
2	2667	16

Stop Event

1×	node limit

Counts

2 → 90

Calls

2 calls:

48.0ms	(-.f64 1/2 (*.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))
48.0ms	(cos.f64 (-.f64 lambda2 lambda1))

simplify30.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

714×	`fma-neg_binary64`
303×	`distribute-rgt-neg-in_binary64`
298×	`distribute-lft-neg-in_binary64`
294×	`fma-def_binary64`
249×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	60	357
1	210	345
2	693	308
3	2662	293

Stop Event

1×	node limit

Counts

106 → 121

prune3.6s (6.8%)

Pruning

57 alts after pruning (57 fresh and 0 done)

	Pruned	Kept	Total
New	404	17	421
Fresh	3	40	43
Picked	1	0	1
Done	0	0	0
Total	408	57	465

Error

21.9b

Counts

465 → 57

Alt Table

Status	Error	Program
	35.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 -1/2 lambda1)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/2))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	39.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (+.f64 1 (+.f64 (.f64 1/4 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 lambda1 2))))) (.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) lambda1)))))) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (+.f64 (.f64 1/4 (.f64 (pow.f64 (cos.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 lambda1 2))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	36.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (-.f64 (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (cos.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda1)) (cbrt.f64 (.f64 lambda1 lambda1)) lambda1))) (.f64 (sin.f64 (-.f64 lambda2 lambda1)) (sin.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda1)) (cbrt.f64 (.f64 lambda1 lambda1)) lambda1))))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	23.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) 3))))))
	40.4b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (fma.f64 (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) (+.f64 (.f64 1/2 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))))) (.f64 1/8 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2)))))) (.f64 -1/8 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (+.f64 (.f64 (.f64 (pow.f64 (cos.f64 phi2) 2) (.f64 (.f64 lambda2 lambda2) (.f64 (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2) (pow.f64 (cos.f64 phi1) 2)))) (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)))) (.f64 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/2))) 2)))))))
	24.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))))) 1) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	33.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 1/2 phi1)) 2))))))))
	33.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	37.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (+.f64 1 (.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) lambda1))))) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	25.9b	(.f64 R (.f64 2 (atan2.f64 (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) 1) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	47.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (sin.f64 1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (sqrt.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	34.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	47.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (sin.f64 1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	23.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	23.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (-.f64 1/4 (.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2) 1/4)) (/.f64 1 (fma.f64 (cos.f64 (-.f64 lambda2 lambda1)) 1/2 1/2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	37.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (sin.f64 (.f64 -1/2 lambda1))) (fma.f64 1/8 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 lambda2)) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (.f64 1/48 (pow.f64 lambda2 3))))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))))
	35.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sqrt.f64 (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	23.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 2)))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 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 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))) (.f64 (cos.f64 (/.f64 lambda2 2)) (sin.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	39.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (fma.f64 1/4 (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (.f64 lambda2 lambda2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2))) 1) (fma.f64 1/4 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2)))) (fma.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))) (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	31.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 phi2 -1/2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))
	23.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))) (.f64 (cos.f64 (/.f64 lambda2 2)) (sin.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	31.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	31.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))))
	36.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda1) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	31.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 phi2 -1/2)) 2))))))))
	37.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 1/2 (.f64 (cos.f64 (.f64 1/2 lambda2)) lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (pow.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3/2) 1/3) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	37.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))) (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	25.3b	(.f64 R (.f64 2 (atan2.f64 (.f64 (cbrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (cbrt.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 lambda2 (sin.f64 lambda1) (cos.f64 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda1) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (*.f64 phi2 -1/2))) 2))))))))
	36.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sqrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (sqrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	34.6b	(.f64 R (.f64 2 (atan2.f64 (fma.f64 1/2 (.f64 phi1 (.f64 (.f64 (sin.f64 (.f64 phi2 -1/2)) (cos.f64 (.f64 phi2 -1/2))) (sqrt.f64 (/.f64 1 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2)))))) (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2)))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 1/2 lambda2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	23.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 3)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 1/2 lambda2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
▶	23.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	38.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (fma.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) phi2) 1) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	25.2b	(.f64 R (.f64 2 (atan2.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 -1/2 lambda1)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	38.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (/.f64 (sqrt.f64 (-.f64 (cos.f64 (-.f64 (.f64 (-.f64 lambda2 lambda1) 1/2) (.f64 (-.f64 lambda2 lambda1) 1/2))) (cos.f64 (-.f64 lambda2 lambda1)))) (sqrt.f64 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	23.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))))) 2)))))))

Compiler

Compiled 48797 to 29237 computations (40.1% saved)

localize58.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	3.4b	(sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2))
	3.4b	(cos.f64 (-.f64 lambda2 lambda1))
	3.6b	(sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1)))
✓	7.7b	(cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))

series106.0ms (0.2%)

Counts

1 → 16

Calls

1 calls:

106.0ms

(cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))

rewrite40.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

684×	`log1p-expm1-u_binary64`
684×	`expm1-log1p-u_binary64`
274×	`prod-diff_binary64`
133×	`log1p-udef_binary64`
74×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	142	10
2	1820	10

Stop Event

1×	node limit

Counts

1 → 24

Calls

1 calls:

39.0ms

(cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

730×	`sqr-pow_binary64`
370×	`cube-prod_binary64`
362×	`unswap-sqr_binary64`
313×	`pow-sqr_binary64`
282×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	160
1	15	160
2	20	160
3	29	160
4	51	160
5	136	160
6	503	160
7	1167	160
8	1257	160
9	1393	160
10	1554	160
11	1785	160
12	2110	160
13	2534	160
14	3037	160
15	3637	160
16	4362	160
17	4685	160
18	4969	160

Stop Event

1×	node limit

Counts

40 → 26

prune3.1s (5.8%)

Pruning

57 alts after pruning (57 fresh and 0 done)

	Pruned	Kept	Total
New	301	17	318
Fresh	16	40	56
Picked	1	0	1
Done	0	0	0
Total	318	57	375

Error

21.8b

Counts

375 → 57

Alt Table

Status	Error	Program
	39.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (+.f64 1 (+.f64 (.f64 1/4 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 lambda1 2))))) (.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) lambda1)))))) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (+.f64 (.f64 1/4 (.f64 (pow.f64 (cos.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 lambda1 2))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/2))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	36.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (-.f64 (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (cos.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda1)) (cbrt.f64 (.f64 lambda1 lambda1)) lambda1))) (.f64 (sin.f64 (-.f64 lambda2 lambda1)) (sin.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda1)) (cbrt.f64 (.f64 lambda1 lambda1)) lambda1))))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	23.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) 3))))))
	38.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (fabs.f64 (sin.f64 (.f64 (-.f64 lambda2 lambda1) 1/2))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	40.4b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (fma.f64 (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) (+.f64 (.f64 1/2 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))))) (.f64 1/8 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2)))))) (.f64 -1/8 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (+.f64 (.f64 (.f64 (pow.f64 (cos.f64 phi2) 2) (.f64 (.f64 lambda2 lambda2) (.f64 (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2) (pow.f64 (cos.f64 phi1) 2)))) (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)))) (.f64 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/2))) 2)))))))
	23.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (-.f64 lambda2 lambda1) 1/2))) 3))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	24.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))))) 1) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	33.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 1/2 phi1)) 2))))))))
	33.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	35.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 1/2 lambda2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	33.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	47.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (sin.f64 1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	23.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	23.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (-.f64 1/4 (.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2) 1/4)) (/.f64 1 (fma.f64 (cos.f64 (-.f64 lambda2 lambda1)) 1/2 1/2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	37.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (sin.f64 (.f64 -1/2 lambda1))) (fma.f64 1/8 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 lambda2)) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (.f64 1/48 (pow.f64 lambda2 3))))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))))
	35.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sqrt.f64 (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 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 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (+.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 -1/2 (.f64 lambda1 (cos.f64 (.f64 1/2 lambda2))))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	23.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 2)))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
▶	23.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	35.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 lambda2 (sin.f64 lambda1) (cos.f64 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	39.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (fma.f64 1/4 (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (.f64 lambda2 lambda2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2))) 1) (fma.f64 1/4 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2)))) (fma.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))) (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	31.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 phi2 -1/2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))
	35.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 -1/2 lambda1)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	23.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))) (.f64 (cos.f64 (/.f64 lambda2 2)) (sin.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	31.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	31.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))))
	37.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (sin.f64 (.f64 -1/2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	36.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda1) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (pow.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3/2) 1/3) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	24.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))) (.f64 (cos.f64 (/.f64 lambda2 2)) (sin.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda1) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 lambda1)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	36.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (*.f64 phi2 -1/2))) 2))))))))
	34.6b	(.f64 R (.f64 2 (atan2.f64 (fma.f64 1/2 (.f64 phi1 (.f64 (.f64 (sin.f64 (.f64 phi2 -1/2)) (cos.f64 (.f64 phi2 -1/2))) (sqrt.f64 (/.f64 1 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2)))))) (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2)))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))))))))
	23.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 3)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	47.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (sin.f64 1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	33.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 1/2 lambda2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	31.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2))))))))
	23.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (/.f64 (-.f64 (.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cos.f64 (+.f64 lambda2 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	38.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (fma.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) phi2) 1) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	25.2b	(.f64 R (.f64 2 (atan2.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 -1/2 lambda1)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	31.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (sqrt.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	23.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))))) 2)))))))

Compiler

Compiled 46571 to 24316 computations (47.8% saved)

localize61.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.5b	(-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))
	3.4b	(sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2))
	3.6b	(sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1)))
	7.7b	(cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))

series326.0ms (0.6%)

Counts

1 → 20

Calls

1 calls:

326.0ms

(-.f64 1/2 (*.f64 1/2 (fma.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))

rewrite48.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

282×	`expm1-udef_binary64`
282×	`log1p-udef_binary64`
213×	`fma-neg_binary64`
161×	`add-sqr-sqrt_binary64`
151×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	24
1	320	12
2	4076	12

Stop Event

1×	node limit

Counts

1 → 30

Calls

1 calls:

47.0ms

(-.f64 1/2 (*.f64 1/2 (fma.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))

simplify38.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

687×	`fma-neg_binary64`
591×	`distribute-rgt-neg-in_binary64`
533×	`associate-l_binary64`
533×	`fma-def_binary64`
296×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	32	448
1	91	409
2	230	366
3	522	362
4	1277	362
5	3354	362

Stop Event

1×	node limit

Counts

50 → 41

prune3.0s (5.7%)

Pruning

58 alts after pruning (58 fresh and 0 done)

	Pruned	Kept	Total
New	284	14	298
Fresh	12	44	56
Picked	1	0	1
Done	0	0	0
Total	297	58	355

Error

21.7b

Counts

355 → 58

Alt Table

Status	Error	Program
	33.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 1/2 phi1)) 2))))))))
	32.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/2))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	36.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (-.f64 (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (cos.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda1)) (cbrt.f64 (.f64 lambda1 lambda1)) lambda1))) (.f64 (sin.f64 (-.f64 lambda2 lambda1)) (sin.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda1)) (cbrt.f64 (.f64 lambda1 lambda1)) lambda1))))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	23.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) 3))))))
	40.4b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (fma.f64 (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) (+.f64 (.f64 1/2 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))))) (.f64 1/8 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2)))))) (.f64 -1/8 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (+.f64 (.f64 (.f64 (pow.f64 (cos.f64 phi2) 2) (.f64 (.f64 lambda2 lambda2) (.f64 (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2) (pow.f64 (cos.f64 phi1) 2)))) (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)))) (.f64 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/2))) 2)))))))
	23.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (-.f64 lambda2 lambda1) 1/2))) 3))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	24.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))))) 1) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	33.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 1/2 phi1)) 2))))))))
	33.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	23.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))) (.f64 (cos.f64 (/.f64 lambda2 2)) (sin.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	35.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 1/2 lambda2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	33.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	47.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (sin.f64 1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	31.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 phi2 -1/2)) 2))))))))
	23.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (-.f64 1/4 (.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2) 1/4)) (/.f64 1 (fma.f64 (cos.f64 (-.f64 lambda2 lambda1)) 1/2 1/2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	37.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (sin.f64 (.f64 -1/2 lambda1))) (fma.f64 1/8 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 lambda2)) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (.f64 1/48 (pow.f64 lambda2 3))))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))))
	35.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sqrt.f64 (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	23.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 2)))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 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 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 lambda2 (sin.f64 lambda1) (cos.f64 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	31.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 phi2 -1/2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))
	23.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))) (.f64 (cos.f64 (/.f64 lambda2 2)) (sin.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	31.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	31.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))))
	36.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda1) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (pow.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3/2) 1/3) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	32.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda1) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	23.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	37.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (sin.f64 (.f64 -1/2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 lambda1)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (*.f64 phi2 -1/2))) 2))))))))
	34.6b	(.f64 R (.f64 2 (atan2.f64 (fma.f64 1/2 (.f64 phi1 (.f64 (.f64 (sin.f64 (.f64 phi2 -1/2)) (cos.f64 (.f64 phi2 -1/2))) (sqrt.f64 (/.f64 1 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2)))))) (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2)))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))))))))
	23.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 3)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	47.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (sin.f64 1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	33.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 1/2 lambda2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (+.f64 (sin.f64 (.f64 -1/2 lambda1)) (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (.f64 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 lambda2)) -1/8))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	23.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (/.f64 (-.f64 (.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cos.f64 (+.f64 lambda2 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	35.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 -1/2 lambda1)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	38.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (fabs.f64 (sin.f64 (.f64 (-.f64 lambda2 lambda1) 1/2))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	34.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 1/2 lambda2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	37.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (+.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 -1/2 (.f64 lambda1 (cos.f64 (.f64 1/2 lambda2))))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	36.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	33.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 -1/2 lambda1)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	38.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (fma.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) phi2) 1) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	25.2b	(.f64 R (.f64 2 (atan2.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	31.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (sqrt.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	23.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	33.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 phi2 -1/2)) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))

Compiler

Compiled 40066 to 19955 computations (50.2% saved)

regimes8.1s (15.3%)

Accuracy

Total 1.6b remaining (6.8%)

Threshold costs 0b (0%)

Counts

272 → 1

Compiler

Compiled 287932 to 188692 computations (34.5% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary64`
9×	`+-commutative_binary64`
9×	`sub-neg_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	96
1	54	96
2	72	96
3	82	96
4	88	96
5	89	96

Stop Event

1×

saturated

end2.6s (4.9%)

Compiler: Compiled 5595 to 3621 computations (35.3% saved)

Details

analyze8.6s (16.3%)

sample21.0s (39.6%)

simplify42.0ms (0.1%)

prune8.0ms (0%)

localize28.0ms (0.1%)

series255.0ms (0.5%)

rewrite40.0ms (0.1%)

simplify136.0ms (0.3%)

prune1.6s (3.1%)

localize51.0ms (0.1%)

series13.0ms (0%)

rewrite49.0ms (0.1%)

simplify30.0ms (0.1%)

prune3.6s (6.8%)

localize58.0ms (0.1%)

series106.0ms (0.2%)

rewrite40.0ms (0.1%)

simplify77.0ms (0.1%)

prune3.1s (5.8%)

localize61.0ms (0.1%)

series326.0ms (0.6%)

rewrite48.0ms (0.1%)

simplify38.0ms (0.1%)

prune3.0s (5.7%)

regimes8.1s (15.3%)

simplify4.0ms (0%)

end2.6s (4.9%)

Profiling