Details

analyze4.0s (18.6%)

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)

sample12.2s (56.1%)

Results

9.5s	5589×	body	1024	valid
1.2s	1242×	body	512	valid
682.0ms	190×	body	2048	valid
320.0ms	820×	body	128	valid
264.0ms	415×	body	256	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

11.9b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	11.9b	(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)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series60.0ms (0.3%)

Counts

4 → 88

Calls

4 calls:

41.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
10.0ms	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
5.0ms	(cos.f64 (-.f64 lambda1 lambda2))
4.0ms	(sin.f64 (-.f64 lambda1 lambda2))

rewrite24.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 → 89

Calls

4 calls:

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

simplify150.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

446×	`fma-neg_binary64`
437×	`associate-r_binary64`
403×	`associate-l_binary64`
392×	`distribute-rgt-neg-in_binary64`
354×	`distribute-lft-neg-in_binary64`

Counts

177 → 193

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	396	4016
1	844	3282
2	2780	3072
3	4739	2973
4	4992	2973
5	4918	2973

prune395.0ms (1.8%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	175	18	193
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	176	18	194

Error

5.7b

Counts

194 → 18

Alt Table

Status	Error	Program
	31.9b	(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)))))
	11.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 phi1) (cos.f64 phi2))) (.f64 (sin.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 (-.f64 lambda1 lambda2))) (cos.f64 (-.f64 lambda1 lambda2)))))))
	11.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3))))
	14.4b	(atan2.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (sin.f64 (-.f64 lambda1 lambda2))) (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)))))
▶	6.0b	(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)))))
	11.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (log1p.f64 (expm1.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))))
	23.7b	(atan2.f64 (.f64 (-.f64 (sin.f64 lambda1) (+.f64 (.f64 lambda2 (cos.f64 lambda1)) (.f64 1/2 (.f64 (sin.f64 lambda1) (pow.f64 lambda2 2))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	17.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 (.f64 (cos.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 (sin.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))))))))))
	40.3b	(atan2.f64 (.f64 (+.f64 (.f64 (sin.f64 lambda1) (cos.f64 (.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 (.f64 (neg.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)))))
	42.2b	(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 (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 (sin.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)))))))))
	11.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)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	12.0b	(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)))))
	31.3b	(atan2.f64 (.f64 (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)))))
	12.0b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (.f64 (cos.f64 phi1) (.f64 (cbrt.f64 (sin.f64 phi2)) (cbrt.f64 (sin.f64 phi2)))) (cbrt.f64 (sin.f64 phi2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	12.0b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	12.3b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 phi2) (cos.f64 phi1)) 3)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	23.5b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) lambda1 (fma.f64 -1 (sin.f64 lambda2) (.f64 (.f64 lambda1 lambda1) (-.f64 (.f64 1/2 (sin.f64 lambda2)) (.f64 (.f64 (cos.f64 lambda2) 1/6) 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)))))
	18.9b	(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)))))

Compiler

Compiled 8724 to 2357 computations (73% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series58.0ms (0.3%)

Counts

1 → 48

Calls

1 calls:

58.0ms

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

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64`
2×	`associate--r+_binary64`
2×	`cos-diff_binary64`
1×	`distribute-lft-in_binary64`
1×	`distribute-rgt-in_binary64`

Counts

1 → 18

Calls

1 calls:

4.0ms

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

simplify144.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

912×	`fma-neg_binary64`
788×	`fma-def_binary64`
488×	`*-commutative_binary64`
456×	`cancel-sign-sub-inv_binary64`
213×	`distribute-rgt-neg-in_binary64`

Counts

66 → 63

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	148	2182
1	444	2112
2	1503	2009
3	3866	2001
4	4985	2001
5	4998	2001
6	4997	2001
7	4928	2001

prune512.0ms (2.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	208	8	216
Fresh	12	5	17
Picked	1	0	1
Done	0	0	0
Total	221	13	234

Error

0.0b

Counts

234 → 13

Alt Table

Status	Error	Program
	23.5b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) lambda1 (fma.f64 -1 (sin.f64 lambda2) (.f64 (.f64 lambda1 lambda1) (-.f64 (.f64 1/2 (sin.f64 lambda2)) (.f64 (.f64 (cos.f64 lambda2) 1/6) 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)))))
	7.4b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (log.f64 (exp.f64 (-.f64 (.f64 (sin.f64 phi2) (cos.f64 phi1)) (.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 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.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)))))
	7.5b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (log.f64 (/.f64 (exp.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) (exp.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))))
	14.4b	(atan2.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (sin.f64 (-.f64 lambda1 lambda2))) (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)))))
	6.0b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (fma.f64 (cos.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (neg.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (sin.f64 phi1))))))
	11.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (log1p.f64 (expm1.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))))
	6.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (expm1.f64 (log1p.f64 (-.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 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	12.0b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (.f64 (cos.f64 phi1) (.f64 (cbrt.f64 (sin.f64 phi2)) (cbrt.f64 (sin.f64 phi2)))) (cbrt.f64 (sin.f64 phi2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	6.5b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (cbrt.f64 (pow.f64 (-.f64 (.f64 (sin.f64 phi2) (cos.f64 phi1)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) 3)))
	39.0b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (exp.f64 (log.f64 (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))))
	40.3b	(atan2.f64 (.f64 (+.f64 (.f64 (sin.f64 lambda1) (cos.f64 (.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 (.f64 (neg.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)))))

Compiler

Compiled 10250 to 2185 computations (78.7% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series121.0ms (0.6%)

Counts

3 → 104

Calls

3 calls:

56.0ms

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

55.0ms

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

10.0ms

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

rewrite22.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 lambda1) (sin.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))

6.0ms

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

4.0ms

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

simplify140.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

832×	`associate-r_binary64`
697×	`associate-l_binary64`
683×	`fma-neg_binary64`
361×	`*-commutative_binary64`
240×	`fma-def_binary64`

Counts

179 → 177

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	342	4644
1	1049	4148
2	3916	4148
3	4884	4148
4	4973	4148

prune608.0ms (2.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	221	1	222
Fresh	0	12	12
Picked	1	0	1
Done	0	0	0
Total	222	13	235

Error

0.0b

Counts

235 → 13

Alt Table

Status	Error	Program
	39.0b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (exp.f64 (log.f64 (-.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 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 phi1) (cos.f64 phi2)))) (log.f64 (exp.f64 (.f64 (sin.f64 lambda1) (.f64 (sin.f64 phi1) (.f64 (cos.f64 phi2) (sin.f64 lambda2))))))))
	23.5b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) lambda1 (fma.f64 -1 (sin.f64 lambda2) (.f64 (.f64 lambda1 lambda1) (-.f64 (.f64 1/2 (sin.f64 lambda2)) (.f64 (.f64 (cos.f64 lambda2) 1/6) 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)))))
	7.4b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (log.f64 (exp.f64 (-.f64 (.f64 (sin.f64 phi2) (cos.f64 phi1)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi2) (sin.f64 phi1)))))))
	7.5b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (log.f64 (/.f64 (exp.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) (exp.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))))
	14.4b	(atan2.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (sin.f64 (-.f64 lambda1 lambda2))) (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)))))
	6.0b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (fma.f64 (cos.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (neg.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (sin.f64 phi1))))))
	11.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (log1p.f64 (expm1.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))))
	6.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (expm1.f64 (log1p.f64 (-.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 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	12.0b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (.f64 (cos.f64 phi1) (.f64 (cbrt.f64 (sin.f64 phi2)) (cbrt.f64 (sin.f64 phi2)))) (cbrt.f64 (sin.f64 phi2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	6.5b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (cbrt.f64 (pow.f64 (-.f64 (.f64 (sin.f64 phi2) (cos.f64 phi1)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) 3)))
	40.3b	(atan2.f64 (.f64 (+.f64 (.f64 (sin.f64 lambda1) (cos.f64 (.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 (.f64 (neg.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)))))

Compiler

Compiled 13317 to 2577 computations (80.6% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(-.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)))))
	0.2b	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
	0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
✓	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))

series192.0ms (0.9%)

Counts

2 → 96

Calls

2 calls:

112.0ms

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

79.0ms

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

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
7×	`pow1_binary64`
4×	`sin-cos-mult_binary64`
4×	`add-log-exp_binary64`

Counts

2 → 47

Calls

2 calls:

10.0ms

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

4.0ms

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

simplify143.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

759×	`fma-neg_binary64`
605×	`associate-r_binary64`
545×	`associate-l_binary64`
388×	`fma-def_binary64`
296×	`*-commutative_binary64`

Counts

143 → 142

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	328	6169
1	1115	5594
2	4372	5588
3	5038	5588

prune666.0ms (3.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	228	6	234
Fresh	6	6	12
Picked	1	0	1
Done	0	0	0
Total	235	12	247

Error

0.0b

Counts

247 → 12

Alt Table

Status	Error	Program
	36.4b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (exp.f64 (log.f64 (-.f64 (.f64 (sin.f64 phi2) (cos.f64 phi1)) (.f64 (cos.f64 phi2) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
	12.0b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (.f64 (cos.f64 phi1) (.f64 (cbrt.f64 (sin.f64 phi2)) (cbrt.f64 (sin.f64 phi2)))) (cbrt.f64 (sin.f64 phi2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	14.4b	(atan2.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (sin.f64 (-.f64 lambda1 lambda2))) (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)))))
	0.2b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (expm1.f64 (log1p.f64 (-.f64 (.f64 (sin.f64 phi2) (cos.f64 phi1)) (.f64 (cos.f64 phi2) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
	1.6b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (log.f64 (/.f64 (exp.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) (exp.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.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)) (fma.f64 (cos.f64 phi1) (sin.f64 phi2) (.f64 (neg.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))) (cos.f64 phi2))))
	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)) (log1p.f64 (expm1.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
	6.5b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (cbrt.f64 (pow.f64 (-.f64 (.f64 (sin.f64 phi2) (cos.f64 phi1)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) 3)))
	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 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 phi1) (cos.f64 phi2)))) (log.f64 (exp.f64 (.f64 (sin.f64 lambda1) (.f64 (sin.f64 phi1) (.f64 (cos.f64 phi2) (sin.f64 lambda2))))))))
	23.5b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) lambda1 (fma.f64 -1 (sin.f64 lambda2) (.f64 (.f64 lambda1 lambda1) (-.f64 (.f64 1/2 (sin.f64 lambda2)) (.f64 (.f64 (cos.f64 lambda2) 1/6) 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)))))
	40.3b	(atan2.f64 (.f64 (+.f64 (.f64 (sin.f64 lambda1) (cos.f64 (.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 (.f64 (neg.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)))))
	1.6b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (log.f64 (exp.f64 (-.f64 (.f64 (sin.f64 phi2) (cos.f64 phi1)) (.f64 (cos.f64 phi2) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))

Compiler

Compiled 12458 to 2180 computations (82.5% saved)

regimes1.8s (8.3%)

Accuracy

Total 0.1b remaining (61.2%)

Threshold costs 0.1b (61.2%)

Counts

192 → 1

Compiler

Compiled 49381 to 28128 computations (43% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

24×	`*-commutative_binary64`
17×	`+-commutative_binary64`
16×	`sub-neg_binary64`
14×	`distribute-rgt-neg-in_binary64`
14×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	73
1	45	73
2	62	73
3	87	73
4	114	73
5	140	73
6	153	73
7	159	73
8	160	73
9	160	73

end315.0ms (1.5%)

Compiler: Compiled 611 to 352 computations (42.4% 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

analyze4.0s (18.6%)

sample12.2s (56.1%)

simplify28.0ms (0.1%)

prune3.0ms (0%)

localize21.0ms (0.1%)

series60.0ms (0.3%)

rewrite24.0ms (0.1%)

simplify150.0ms (0.7%)

prune395.0ms (1.8%)

localize26.0ms (0.1%)

series58.0ms (0.3%)

rewrite5.0ms (0%)

simplify144.0ms (0.7%)

prune512.0ms (2.4%)

localize29.0ms (0.1%)

series121.0ms (0.6%)

rewrite22.0ms (0.1%)

simplify140.0ms (0.6%)

prune608.0ms (2.8%)

localize28.0ms (0.1%)

series192.0ms (0.9%)

rewrite17.0ms (0.1%)

simplify143.0ms (0.7%)

prune666.0ms (3.1%)

regimes1.8s (8.3%)

simplify7.0ms (0%)

end315.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