Details

analyze3.8s (17.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
7.8%	92%	0.2%	9
7.8%	92%	0.2%	10
10.1%	89.7%	0.2%	11
10.1%	89.7%	0.2%	12
13.9%	85.9%	0.2%	13
13.9%	85.9%	0.2%	14

Compiler

Compiled 29 to 18 computations (37.9% saved)

sample11.9s (53.9%)

Results

9.3s	5524×	body	1024	valid
1.1s	1286×	body	512	valid
680.0ms	166×	body	2048	valid
334.0ms	458×	body	256	valid
264.0ms	822×	body	128	valid

Compiler

Compiled 86 to 53 computations (38.4% saved)

simplify28.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

543×	`fma-def_binary64`
194×	`fma-neg_binary64`
83×	`cancel-sign-sub-inv_binary64`
59×	`distribute-rgt-neg-in_binary64`
47×	`distribute-rgt-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

15.6b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 108 to 55 computations (49.1% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
✓	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
✓	4.1b	(sin.f64 (-.f64 lambda1 lambda2))
✓	4.3b	(cos.f64 (-.f64 lambda1 lambda2))

series58.0ms (0.3%)

Counts

4 → 100

Calls

4 calls:

36.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
15.0ms	(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))
4.0ms	(sin.f64 (-.f64 lambda1 lambda2))

rewrite29.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
21×	`*-un-lft-identity_binary64`
21×	`add-cube-cbrt_binary64`
18×	`prod-diff_binary64`
13×	`sin-sum_binary64`

Counts

4 → 90

Calls

4 calls:

7.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
6.0ms	(cos.f64 (-.f64 lambda1 lambda2))
6.0ms	(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
4.0ms	(sin.f64 (-.f64 lambda1 lambda2))

simplify128.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

980×	`fma-neg_binary64`
457×	`associate-r_binary64`
441×	`distribute-rgt-neg-in_binary64`
422×	`associate-l_binary64`
395×	`distribute-lft-neg-in_binary64`

Counts

190 → 201

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	399	4414
1	862	3679
2	2913	3547
3	4681	3537
4	5070	3537

prune465.0ms (2.1%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	180	21	201
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	181	21	202

Error

6.0b

Counts

202 → 21

Alt Table

Status	Error	Program
	15.8b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (cbrt.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))) (cbrt.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	21.4b	(atan2.f64 (.f64 (+.f64 (.f64 (sin.f64 lambda1) (cos.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2))) (cbrt.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2))) (cbrt.f64 lambda2))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	26.6b	(atan2.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 phi2)) (.f64 lambda2 (.f64 (cos.f64 phi2) (cos.f64 lambda1)))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	47.1b	(atan2.f64 (.f64 (+.f64 (.f64 (sin.f64 (fma.f64 1 lambda1 (neg.f64 (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2))))) (cos.f64 (fma.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2) (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2))))) (.f64 (cos.f64 (fma.f64 1 lambda1 (neg.f64 (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2))))) (sin.f64 (fma.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2) (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2)))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	26.5b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (cos.f64 lambda2) (fma.f64 lambda1 (sin.f64 lambda2) (.f64 (.f64 (cos.f64 lambda2) (*.f64 lambda1 lambda1)) -1/2))))))
	22.7b	(atan2.f64 (.f64 (+.f64 (.f64 (sin.f64 (fma.f64 (.f64 (cbrt.f64 lambda1) (cbrt.f64 lambda1)) (cbrt.f64 lambda1) (neg.f64 (.f64 lambda2 1)))) (cos.f64 (fma.f64 (neg.f64 lambda2) 1 (.f64 lambda2 1)))) (.f64 (cos.f64 (fma.f64 (.f64 (cbrt.f64 lambda1) (cbrt.f64 lambda1)) (cbrt.f64 lambda1) (neg.f64 (.f64 lambda2 1)))) (sin.f64 (fma.f64 (neg.f64 lambda2) 1 (.f64 lambda2 1))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	27.3b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (cos.f64 lambda2) (fma.f64 (pow.f64 lambda1 3) (.f64 -1/6 (sin.f64 lambda2)) (fma.f64 lambda1 (sin.f64 lambda2) (.f64 (.f64 (cos.f64 lambda2) (.f64 lambda1 lambda1)) -1/2)))))))
	25.5b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) lambda1 (fma.f64 -1 (sin.f64 lambda2) (fma.f64 1/2 (.f64 lambda1 (.f64 lambda1 (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda2) (pow.f64 lambda1 3)) -1/6)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.7b	(atan2.f64 (.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (.f64 (cbrt.f64 (cos.f64 phi2)) (cbrt.f64 (cos.f64 phi2)))) (cbrt.f64 (cos.f64 phi2))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	23.7b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) lambda1 (sin.f64 (neg.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 phi1) (cos.f64 phi2))))))
▶	6.4b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	18.2b	(atan2.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) 3)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	16.1b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (log.f64 (exp.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))))
	15.6b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.8b	(atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	33.8b	(atan2.f64 (.f64 (sin.f64 lambda1) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	20.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 lambda1) (cos.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2))) (cbrt.f64 lambda2)))) (.f64 (sin.f64 lambda1) (sin.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2))) (cbrt.f64 lambda2))))))))
	27.4b	(atan2.f64 (.f64 (+.f64 (.f64 (sin.f64 (fma.f64 1 lambda1 (neg.f64 (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)))))) (cos.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)))))) (.f64 (cos.f64 (fma.f64 1 lambda1 (neg.f64 (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)))))) (sin.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2))))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	23.2b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (/.f64 (*.f64 (+.f64 (sin.f64 (-.f64 phi1 phi2)) (sin.f64 (+.f64 phi1 phi2))) (cos.f64 (-.f64 lambda1 lambda2))) 2)))
	21.7b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 lambda1))))

Compiler

Compiled 9435 to 2490 computations (73.6% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (sin.f64 lambda1) (cos.f64 lambda2))
✓	0.2b	(.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2))
	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
	4.3b	(cos.f64 (-.f64 lambda1 lambda2))

series47.0ms (0.2%)

Counts

2 → 44

Calls

2 calls:

36.0ms	(.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2))
10.0ms	(*.f64 (sin.f64 lambda1) (cos.f64 lambda2))

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64`
6×	`associate-r_binary64`
6×	`associate-l_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`

Counts

2 → 43

Calls

2 calls:

6.0ms	(.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2))
3.0ms	(*.f64 (sin.f64 lambda1) (cos.f64 lambda2))

simplify85.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

550×	`sub-neg_binary64`
517×	`cancel-sign-sub-inv_binary64`
287×	`fma-neg_binary64`
223×	`associate-r_binary64`
214×	`distribute-rgt-neg-in_binary64`

Counts

87 → 110

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	194	2184
1	543	2076
2	1805	2011
3	4402	2011
4	5191	2011

prune560.0ms (2.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	207	11	218
Fresh	18	2	20
Picked	1	0	1
Done	0	0	0
Total	226	13	239

Error

0.1b

Counts

239 → 13

Alt Table

Status	Error	Program
	6.8b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (log.f64 (pow.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (cos.f64 phi2) (sin.f64 phi1))))))
	0.2b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	37.2b	(atan2.f64 (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2))) (sqrt.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	6.5b	(atan2.f64 (.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2))) (cbrt.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)))) (cbrt.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	18.7b	(atan2.f64 (log.f64 (exp.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.6b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	23.9b	(atan2.f64 (.f64 (cos.f64 phi2) (+.f64 (-.f64 (.f64 (cos.f64 lambda2) lambda1) (sin.f64 lambda2)) (.f64 1/2 (.f64 (sin.f64 lambda2) (.f64 lambda1 lambda1))))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.2b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
▶	0.2b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	26.6b	(atan2.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 phi2)) (.f64 lambda2 (.f64 (cos.f64 phi2) (cos.f64 lambda1)))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	6.6b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cbrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (.f64 (cbrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	8.7b	(atan2.f64 (/.f64 (.f64 (-.f64 (.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (+.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	6.5b	(atan2.f64 (.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (cos.f64 phi2)) (cbrt.f64 (cos.f64 phi2)))) (cbrt.f64 (cos.f64 phi2))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 10596 to 2322 computations (78.1% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2))
✓	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)))
✓	0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
✓	0.3b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))

series108.0ms (0.5%)

Counts

3 → 104

Calls

3 calls:

49.0ms

(*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)))

49.0ms

(*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))

10.0ms

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

rewrite24.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-cbrt-cube_binary64`
29×	`add-exp-log_binary64`
29×	`pow1_binary64`
17×	`cbrt-unprod_binary64`
17×	`prod-exp_binary64`

Counts

3 → 75

Calls

3 calls:

7.0ms

(*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)))

6.0ms

(*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))

4.0ms

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

simplify109.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

835×	`associate-r_binary64`
696×	`associate-l_binary64`
609×	`fma-neg_binary64`
551×	`distribute-rgt-neg-in_binary64`
357×	`*-commutative_binary64`

Counts

179 → 170

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	342	4644
1	1038	4148
2	3853	4140
3	5453	4140

prune651.0ms (3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	226	8	234
Fresh	8	4	12
Picked	1	0	1
Done	0	0	0
Total	235	12	247

Error

0.0b

Counts

247 → 12

Alt Table

Status	Error	Program
	6.8b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (log.f64 (pow.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (cos.f64 phi2) (sin.f64 phi1))))))
	2.8b	(atan2.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1)))) 3)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
▶	0.2b	(atan2.f64 (log1p.f64 (expm1.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	6.5b	(atan2.f64 (.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2))) (cbrt.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)))) (cbrt.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	12.5b	(atan2.f64 (log.f64 (exp.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	2.5b	(atan2.f64 (/.f64 (.f64 (-.f64 (.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (+.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	6.6b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cbrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (.f64 (cbrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.3b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2)))) (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))))) (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	0.3b	(atan2.f64 (.f64 (.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (.f64 (cbrt.f64 (cos.f64 phi2)) (cbrt.f64 (cos.f64 phi2)))) (cbrt.f64 (cos.f64 phi2))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	0.2b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (log.f64 (exp.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
	23.9b	(atan2.f64 (.f64 (cos.f64 phi2) (+.f64 (-.f64 (.f64 (cos.f64 lambda2) lambda1) (sin.f64 lambda2)) (.f64 1/2 (.f64 (sin.f64 lambda2) (.f64 lambda1 lambda1))))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	26.4b	(atan2.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 phi2)) (.f64 lambda2 (.f64 (cos.f64 phi2) (cos.f64 lambda1)))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))

Compiler

Compiled 14513 to 2738 computations (81.1% saved)

localize31.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
✓	0.2b	(expm1.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))
	0.3b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
✓	0.3b	(log1p.f64 (expm1.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1))))))

series110.0ms (0.5%)

Counts

2 → 72

Calls

2 calls:

72.0ms

(expm1.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))

38.0ms

(log1p.f64 (expm1.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1))))))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`log1p-expm1-u_binary64`
2×	`*-un-lft-identity_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`
2×	`add-cbrt-cube_binary64`

Counts

2 → 22

Calls

2 calls:

0.0ms

(expm1.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))

0.0ms

(log1p.f64 (expm1.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1))))))

simplify102.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

682×	`associate-r_binary64`
451×	`associate-l_binary64`
402×	`fma-neg_binary64`
308×	`*-commutative_binary64`
294×	`fma-def_binary64`

Counts

94 → 87

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	314	4256
1	962	4132
2	4006	4123
3	5275	4123

prune570.0ms (2.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	191	2	193
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	193	12	205

Error

0.0b

Counts

205 → 12

Alt Table

Status	Error	Program
	0.5b	(atan2.f64 (log1p.f64 (.f64 (.f64 (cbrt.f64 (expm1.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))) (cbrt.f64 (expm1.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))))))) (cbrt.f64 (expm1.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	2.8b	(atan2.f64 (log1p.f64 (cbrt.f64 (pow.f64 (expm1.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi2))) 3))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	6.8b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (log.f64 (pow.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (cos.f64 phi2) (sin.f64 phi1))))))
	2.8b	(atan2.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1)))) 3)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
✓	0.2b	(atan2.f64 (log1p.f64 (expm1.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	6.5b	(atan2.f64 (.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2))) (cbrt.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)))) (cbrt.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	12.5b	(atan2.f64 (log.f64 (exp.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	2.5b	(atan2.f64 (/.f64 (.f64 (-.f64 (.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (+.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	6.6b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cbrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (.f64 (cbrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.3b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2)))) (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))))) (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	0.3b	(atan2.f64 (.f64 (.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (.f64 (cbrt.f64 (cos.f64 phi2)) (cbrt.f64 (cos.f64 phi2)))) (cbrt.f64 (cos.f64 phi2))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	26.4b	(atan2.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 phi2)) (.f64 lambda2 (.f64 (cos.f64 phi2) (cos.f64 lambda1)))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))

Compiler

Compiled 13486 to 2640 computations (80.4% saved)

regimes2.8s (12.7%)

Accuracy

Total 0.1b remaining (69%)

Threshold costs 0.1b (69%)

Counts

279 → 1

Compiler

Compiled 76788 to 42981 computations (44% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

21×	`*-commutative_binary64`
14×	`+-commutative_binary64`
13×	`sub-neg_binary64`
11×	`neg-sub0_binary64`
11×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	82
1	50	82
2	67	82
3	87	82
4	111	82
5	124	82
6	132	82
7	135	82
8	135	82

end341.0ms (1.5%)

Compiler: Compiled 795 to 391 computations (50.8% saved)

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39

Details

analyze3.8s (17.4%)

sample11.9s (53.9%)

simplify28.0ms (0.1%)

prune3.0ms (0%)

localize19.0ms (0.1%)

series58.0ms (0.3%)

rewrite29.0ms (0.1%)

simplify128.0ms (0.6%)

prune465.0ms (2.1%)

localize26.0ms (0.1%)

series47.0ms (0.2%)

rewrite11.0ms (0%)

simplify85.0ms (0.4%)

prune560.0ms (2.5%)

localize28.0ms (0.1%)

series108.0ms (0.5%)

rewrite24.0ms (0.1%)

simplify109.0ms (0.5%)

prune651.0ms (3%)

localize31.0ms (0.1%)

series110.0ms (0.5%)

rewrite2.0ms (0%)

simplify102.0ms (0.5%)

prune570.0ms (2.6%)

regimes2.8s (12.7%)

simplify6.0ms (0%)

end341.0ms (1.5%)

Profiling

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39