Details

analyze2.8s (16.1%)

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
9.4%	90.4%	0.2%	9
9.4%	90.4%	0.2%	10
10.9%	88.9%	0.2%	11
10.9%	88.9%	0.2%	12
10.9%	88.9%	0.2%	13
10.9%	88.9%	0.2%	14

Compiler

Compiled 25 to 15 computations (40% saved)

sample7.9s (45.4%)

Alt Table

Status	Error	Program
▶	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))

Results

5.6s	4600×	body	1024	valid
1.2s	1832×	body	512	valid
359.0ms	136×	body	2048	valid
347.0ms	757×	body	256	valid
225.0ms	931×	body	128	valid

Compiler

Compiled 122 to 72 computations (41% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))
✓	0.5b	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
✓	2.9b	(cos.f64 (-.f64 lambda1 lambda2))
✓	3.1b	(sin.f64 (-.f64 lambda1 lambda2))

series48.0ms (0.3%)

Counts

4 → 112

Calls

4 calls:

30.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
9.0ms	(atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))
5.0ms	(sin.f64 (-.f64 lambda1 lambda2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))

rewrite73.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

307×	`expm1-udef_binary64`
307×	`log1p-udef_binary64`
168×	`add-sqr-sqrt_binary64`
159×	`log1p-expm1-u_binary64`
159×	`expm1-log1p-u_binary64`

Counts

4 → 106

Calls

4 calls:

69.0ms	(atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))
69.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
69.0ms	(cos.f64 (-.f64 lambda1 lambda2))
69.0ms	(sin.f64 (-.f64 lambda1 lambda2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	57
1	310	53
2	4173	53
3	5090	53
0	0	0
1	0	0

prune285.0ms (1.6%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	202	16	218
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	203	16	219

Error

0.7b

Counts

219 → 16

Alt Table

Status	Error	Program
	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (expm1.f64 (log1p.f64 (sin.f64 (-.f64 lambda1 lambda2))))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 (neg.f64 lambda2)) lambda1) (sin.f64 (neg.f64 lambda2)))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
	4.7b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (expm1.f64 (log1p.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))))))
▶	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	4.4b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (-.f64 (/.f64 (pow.f64 (cos.f64 phi1) 2) (-.f64 (cos.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))) (/.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 2) (-.f64 (cos.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))))))
	8.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 3) (pow.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
	1.0b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (log.f64 (exp.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))))))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (-.f64 (+.f64 (.f64 (cos.f64 (neg.f64 lambda2)) lambda1) (sin.f64 (neg.f64 lambda2))) (.f64 1/2 (.f64 (sin.f64 (neg.f64 lambda2)) (pow.f64 lambda1 2))))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
	14.3b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (sqrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) 2)))
	26.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (pow.f64 (sqrt.f64 (cos.f64 (-.f64 lambda1 lambda2))) 2)))))
	4.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (-.f64 (pow.f64 (cos.f64 phi1) 2) (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 2)) (-.f64 (cos.f64 phi1) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))))))
	14.2b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (exp.f64 (log.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 3)) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)) (/.f64 1 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))))
	1.4b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 (cos.f64 (neg.f64 lambda2)) (+.f64 (.f64 1/2 (.f64 (cos.f64 (neg.f64 lambda2)) (pow.f64 lambda1 2))) (*.f64 (sin.f64 (neg.f64 lambda2)) lambda1)))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (cbrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) 2))))

Compiler

Compiled 6724 to 1581 computations (76.5% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)
✓	1.5b	(-.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))
✓	2.9b	(cos.f64 (-.f64 lambda1 lambda2))
✓	3.1b	(sin.f64 (-.f64 lambda1 lambda2))

series100.0ms (0.6%)

Counts

4 → 68

Calls

4 calls:

63.0ms	(pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)
28.0ms	(-.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))
4.0ms	(sin.f64 (-.f64 lambda1 lambda2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))

rewrite80.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

300×	`expm1-udef_binary64`
300×	`log1p-udef_binary64`
166×	`add-sqr-sqrt_binary64`
160×	`log1p-expm1-u_binary64`
160×	`expm1-log1p-u_binary64`

Counts

4 → 120

Calls

4 calls:

74.0ms	(pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)
74.0ms	(-.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))
74.0ms	(cos.f64 (-.f64 lambda1 lambda2))
74.0ms	(sin.f64 (-.f64 lambda1 lambda2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	42
1	318	42
2	4112	42
3	4960	42
0	0	0
1	0	0

prune845.0ms (4.9%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	248	6	254
Fresh	3	12	15
Picked	1	0	1
Done	0	0	0
Total	252	18	270

Error

0.7b

Counts

270 → 18

Alt Table

Status	Error	Program
	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (expm1.f64 (log1p.f64 (sin.f64 (-.f64 lambda1 lambda2))))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 (neg.f64 lambda2)) lambda1) (sin.f64 (neg.f64 lambda2)))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
	8.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 3) (pow.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	4.7b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (expm1.f64 (log1p.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))))))
▶	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	4.4b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (-.f64 (/.f64 (pow.f64 (cos.f64 phi1) 2) (-.f64 (cos.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))) (/.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 2) (-.f64 (cos.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 3)) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	1.0b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (log.f64 (exp.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))))))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (-.f64 (+.f64 (.f64 (cos.f64 (neg.f64 lambda2)) lambda1) (sin.f64 (neg.f64 lambda2))) (.f64 1/2 (.f64 (sin.f64 (neg.f64 lambda2)) (pow.f64 lambda1 2))))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
	14.3b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (sqrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) 2)))
	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (log.f64 (exp.f64 (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	4.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (-.f64 (pow.f64 (cos.f64 phi1) 2) (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 2)) (-.f64 (cos.f64 phi1) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))))))
	14.2b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (exp.f64 (log.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))))))
	6.7b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (cbrt.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 3))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)) (/.f64 1 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))))
	1.4b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 (cos.f64 (neg.f64 lambda2)) (+.f64 (.f64 1/2 (.f64 (cos.f64 (neg.f64 lambda2)) (pow.f64 lambda1 2))) (*.f64 (sin.f64 (neg.f64 lambda2)) lambda1)))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (cbrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) 2))))
	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (log1p.f64 (expm1.f64 (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))))

Compiler

Compiled 16636 to 5530 computations (66.8% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)
✓	1.5b	(-.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))
✓	2.9b	(cos.f64 (-.f64 lambda1 lambda2))
✓	3.1b	(sin.f64 (-.f64 lambda1 lambda2))

series108.0ms (0.6%)

Counts

4 → 68

Calls

4 calls:

67.0ms	(pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)
30.0ms	(-.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))
5.0ms	(sin.f64 (-.f64 lambda1 lambda2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))

rewrite84.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

300×	`expm1-udef_binary64`
300×	`log1p-udef_binary64`
166×	`add-sqr-sqrt_binary64`
160×	`log1p-expm1-u_binary64`
160×	`expm1-log1p-u_binary64`

Counts

4 → 120

Calls

4 calls:

79.0ms	(pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)
79.0ms	(-.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))
79.0ms	(cos.f64 (-.f64 lambda1 lambda2))
79.0ms	(sin.f64 (-.f64 lambda1 lambda2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	42
1	318	42
2	4112	42
3	4960	42
0	0	0
1	0	0

prune1.1s (6.5%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	217	4	221
Fresh	3	14	17
Picked	1	0	1
Done	0	0	0
Total	221	18	239

Error

0.7b

Counts

239 → 18

Alt Table

Status	Error	Program
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (-.f64 (cos.f64 (neg.f64 lambda2)) (.f64 (sin.f64 (neg.f64 lambda2)) lambda1)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	14.3b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (sqrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) 2)))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (-.f64 (+.f64 (.f64 (cos.f64 (neg.f64 lambda2)) lambda1) (sin.f64 (neg.f64 lambda2))) (.f64 1/2 (.f64 (sin.f64 (neg.f64 lambda2)) (pow.f64 lambda1 2))))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	4.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (-.f64 (pow.f64 (cos.f64 phi1) 2) (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 2)) (-.f64 (cos.f64 phi1) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))))))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 (neg.f64 lambda2)) lambda1) (sin.f64 (neg.f64 lambda2)))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	14.2b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (exp.f64 (log.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))))))
	4.4b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (-.f64 (/.f64 (pow.f64 (cos.f64 phi1) 2) (-.f64 (cos.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))) (/.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 2) (-.f64 (cos.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 3)) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (expm1.f64 (log1p.f64 (sin.f64 (-.f64 lambda1 lambda2))))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (log.f64 (exp.f64 (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	8.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 3) (pow.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	4.7b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (expm1.f64 (log1p.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))))))
	6.7b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (cbrt.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 3))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)) (/.f64 1 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))))
	1.4b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 (cos.f64 (neg.f64 lambda2)) (+.f64 (.f64 1/2 (.f64 (cos.f64 (neg.f64 lambda2)) (pow.f64 lambda1 2))) (*.f64 (sin.f64 (neg.f64 lambda2)) lambda1)))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (cbrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) 2))))
▶	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (log1p.f64 (expm1.f64 (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))))
	1.0b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (log.f64 (exp.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))))))

Compiler

Compiled 16215 to 5060 computations (68.8% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)
✓	1.5b	(-.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))
✓	2.9b	(cos.f64 (-.f64 lambda1 lambda2))
✓	3.1b	(sin.f64 (-.f64 lambda1 lambda2))

series142.0ms (0.8%)

Counts

4 → 68

Calls

4 calls:

67.0ms	(-.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))
66.0ms	(pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)
5.0ms	(sin.f64 (-.f64 lambda1 lambda2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))

rewrite83.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

300×	`expm1-udef_binary64`
300×	`log1p-udef_binary64`
166×	`add-sqr-sqrt_binary64`
160×	`log1p-expm1-u_binary64`
160×	`expm1-log1p-u_binary64`

Counts

4 → 120

Calls

4 calls:

79.0ms	(pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)
79.0ms	(-.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))
79.0ms	(cos.f64 (-.f64 lambda1 lambda2))
79.0ms	(sin.f64 (-.f64 lambda1 lambda2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	42
1	318	42
2	4112	42
3	4960	42
0	0	0
1	0	0

prune1.2s (7%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	252	2	254
Fresh	1	16	17
Picked	1	0	1
Done	0	0	0
Total	254	18	272

Error

0.7b

Counts

272 → 18

Alt Table

Status	Error	Program
	30.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (pow.f64 (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 2)) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (log1p.f64 (expm1.f64 (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))))
	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (expm1.f64 (log1p.f64 (sin.f64 (-.f64 lambda1 lambda2))))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (-.f64 (cos.f64 (neg.f64 lambda2)) (.f64 (sin.f64 (neg.f64 lambda2)) lambda1)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	14.3b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (sqrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) 2)))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (-.f64 (+.f64 (.f64 (cos.f64 (neg.f64 lambda2)) lambda1) (sin.f64 (neg.f64 lambda2))) (.f64 1/2 (.f64 (sin.f64 (neg.f64 lambda2)) (pow.f64 lambda1 2))))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	4.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (-.f64 (pow.f64 (cos.f64 phi1) 2) (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 2)) (-.f64 (cos.f64 phi1) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))))))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 (neg.f64 lambda2)) lambda1) (sin.f64 (neg.f64 lambda2)))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	14.2b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (exp.f64 (log.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))))))
	4.4b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (-.f64 (/.f64 (pow.f64 (cos.f64 phi1) 2) (-.f64 (cos.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))) (/.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 2) (-.f64 (cos.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 3)) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	30.7b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (exp.f64 (log.f64 (sin.f64 (-.f64 lambda1 lambda2))))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (log1p.f64 (expm1.f64 (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))))
	1.0b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (log.f64 (exp.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))))))
	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (log.f64 (exp.f64 (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	8.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 3) (pow.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	4.7b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (expm1.f64 (log1p.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))))))
	6.7b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (cbrt.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 3))) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3))))))
	1.4b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 (cos.f64 (neg.f64 lambda2)) (+.f64 (.f64 1/2 (.f64 (cos.f64 (neg.f64 lambda2)) (pow.f64 lambda1 2))) (*.f64 (sin.f64 (neg.f64 lambda2)) lambda1)))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (cbrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) 2))))

Compiler

Compiled 16433 to 5676 computations (65.5% saved)

regimes1.9s (11.1%)

Accuracy

Total 0.2b remaining (23.1%)

Threshold costs 0.2b (23.1%)

Counts

196 → 1

Compiler

Compiled 64281 to 34590 computations (46.2% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	102
1	57	102
2	71	102
3	80	102
4	84	102
5	83	102

end442.0ms (2.6%)

Compiler: Compiled 1025 to 540 computations (47.3% saved)

Details

analyze2.8s (16.1%)

sample7.9s (45.4%)

localize16.0ms (0.1%)

series48.0ms (0.3%)

rewrite73.0ms (0.4%)

prune285.0ms (1.6%)

localize25.0ms (0.1%)

series100.0ms (0.6%)

rewrite80.0ms (0.5%)

prune845.0ms (4.9%)

localize35.0ms (0.2%)

series108.0ms (0.6%)

rewrite84.0ms (0.5%)

prune1.1s (6.5%)

localize29.0ms (0.2%)

series142.0ms (0.8%)

rewrite83.0ms (0.5%)

prune1.2s (7%)

regimes1.9s (11.1%)

simplify4.0ms (0%)

end442.0ms (2.6%)

Profiling