Details

analyze3.7s (14.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.1s (47.4%)

Alt Table

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

Results

9.3s	5576×	body	1024	valid
1.2s	1243×	body	512	valid
790.0ms	196×	body	2048	valid
293.0ms	788×	body	128	valid
288.0ms	453×	body	256	valid

Compiler

Compiled 142 to 87 computations (38.7% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series54.0ms (0.2%)

Counts

4 → 72

Calls

4 calls:

37.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
9.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))
4.0ms	(sin.f64 (-.f64 lambda1 lambda2))

rewrite79.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

763×	`prod-diff_binary64`
143×	`add-sqr-sqrt_binary64`
134×	`log1p-expm1-u_binary64`
134×	`expm1-log1p-u_binary64`
132×	`add-log-exp_binary64`

Counts

4 → 113

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	36
1	263	36
2	3487	36
3	4972	36
0	0	0
1	0	0

prune355.0ms (1.4%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	170	15	185
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	171	15	186

Error

5.3b

Counts

186 → 15

Alt Table

Status	Error	Program
	33.5b	(atan2.f64 (.f64 (+.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (neg.f64 (sqrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (sqrt.f64 (.f64 (cos.f64 lambda1) (sin.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)))))
	25.1b	(atan2.f64 (.f64 (+.f64 (.f64 (cos.f64 (neg.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)))))
	12.8b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (sin.f64 phi1) (cos.f64 phi2))))) 1)))
	32.6b	(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)))))
	17.3b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (sin.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (neg.f64 lambda2))))))
	11.8b	(atan2.f64 (.f64 (expm1.f64 (log1p.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.9b	(atan2.f64 (.f64 (cbrt.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 3)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
▶	5.8b	(atan2.f64 (.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.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)))))
	38.3b	(atan2.f64 (.f64 (+.f64 (fma.f64 (sqrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (sqrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.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.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)) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
	21.7b	(atan2.f64 (.f64 (-.f64 (exp.f64 (log1p.f64 (sin.f64 (-.f64 lambda1 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)))))
	12.1b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 phi1) 3) (pow.f64 (cos.f64 phi2) 3))) (cos.f64 (-.f64 lambda1 lambda2)))))
	18.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)) (cos.f64 lambda1))))
	5.9b	(atan2.f64 (.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.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)))))
	26.0b	(atan2.f64 (.f64 (-.f64 (+.f64 (.f64 (cos.f64 (neg.f64 lambda2)) lambda1) (sin.f64 (neg.f64 lambda2))) (+.f64 (.f64 1/2 (.f64 (sin.f64 (neg.f64 lambda2)) (pow.f64 lambda1 2))) (.f64 1/6 (.f64 (cos.f64 (neg.f64 lambda2)) (pow.f64 lambda1 3))))) (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 7861 to 1794 computations (77.2% saved)

localize37.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1))))
✓	0.7b	(cbrt.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)))
✓	4.9b	(cos.f64 (-.f64 lambda1 lambda2))
✓	30.1b	(fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))

series1.4s (5.4%)

Counts

4 → 80

Calls

4 calls:

883.0ms	(.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1))))
464.0ms	(cbrt.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)))
27.0ms	(fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))

rewrite106.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

304×	`fma-def_binary64`
264×	`expm1-udef_binary64`
264×	`log1p-udef_binary64`
175×	`fma-neg_binary64`
159×	`add-sqr-sqrt_binary64`

Counts

4 → 113

Calls

4 calls:

101.0ms	(.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1))))
101.0ms	(cbrt.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)))
101.0ms	(cos.f64 (-.f64 lambda1 lambda2))
101.0ms	(fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	47
1	311	40
2	3564	40
3	4991	40
4	4933	40
0	0	0
1	0	0

prune523.0ms (2.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	286	5	291
Fresh	7	7	14
Picked	1	0	1
Done	0	0	0
Total	294	12	306

Error

0.1b

Counts

306 → 12

Alt Table

Status	Error	Program
	0.4b	(atan2.f64 (.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.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)) (fma.f64 (pow.f64 (cbrt.f64 (cos.f64 lambda1)) 2) (.f64 (cbrt.f64 (cos.f64 lambda1)) (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))
	21.7b	(atan2.f64 (.f64 (-.f64 (exp.f64 (log1p.f64 (sin.f64 (-.f64 lambda1 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)))))
▶	0.4b	(atan2.f64 (.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.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)) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))
	33.5b	(atan2.f64 (.f64 (+.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (neg.f64 (sqrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (sqrt.f64 (.f64 (cos.f64 lambda1) (sin.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)))))
	5.8b	(atan2.f64 (.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.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)) (log1p.f64 (expm1.f64 (cos.f64 (-.f64 lambda1 lambda2)))))))
	12.8b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (sin.f64 phi1) (cos.f64 phi2))))) 1)))
	38.3b	(atan2.f64 (.f64 (+.f64 (fma.f64 (sqrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (sqrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.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.4b	(atan2.f64 (.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.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 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) 3)) (fma.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (-.f64 (.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))))))
	12.1b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 phi1) 3) (pow.f64 (cos.f64 phi2) 3))) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.4b	(atan2.f64 (.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.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)) (fma.f64 (.f64 (cos.f64 lambda1) (pow.f64 (cbrt.f64 (cos.f64 lambda2)) 2)) (cbrt.f64 (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))
	11.8b	(atan2.f64 (.f64 (expm1.f64 (log1p.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.9b	(atan2.f64 (.f64 (cbrt.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 3)) (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 19665 to 3197 computations (83.7% saved)

localize33.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
✓	0.5b	(.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1))))
✓	0.7b	(cbrt.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)))
✓	30.1b	(fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))

series2.7s (10.7%)

Counts

4 → 96

Calls

4 calls:

1.4s	(fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
870.0ms	(.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1))))
451.0ms	(cbrt.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)))
25.0ms	(fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))

rewrite78.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

648×	`log-prod_binary64`
231×	`expm1-udef_binary64`
231×	`log1p-udef_binary64`
230×	`fma-def_binary64`
216×	`log-pow_binary64`

Counts

4 → 120

Calls

4 calls:

74.0ms	(fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
74.0ms	(.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1))))
74.0ms	(cbrt.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)))
74.0ms	(fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	61
1	301	50
2	3021	40
3	5438	40
0	0	0
1	0	0

prune645.0ms (2.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	315	5	320
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	320	12	332

Error

0.0b

Counts

332 → 12

Alt Table

Status	Error	Program
	12.1b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 phi1) 3) (pow.f64 (cos.f64 phi2) 3))) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.4b	(atan2.f64 (.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (log.f64 (/.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (cos.f64 lambda1)) (+.f64 1 (expm1.f64 (.f64 (sin.f64 lambda2) (cos.f64 lambda1))))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))
	5.8b	(atan2.f64 (.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.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)) (log1p.f64 (expm1.f64 (cos.f64 (-.f64 lambda1 lambda2)))))))
▶	0.2b	(atan2.f64 (.f64 (+.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.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)) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))
	12.8b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (sin.f64 phi1) (cos.f64 phi2))))) 1)))
	38.9b	(atan2.f64 (.f64 (+.f64 (fma.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 2/3))) (cbrt.f64 (exp.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 2/3))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 2/3))))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.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)) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))
	11.8b	(atan2.f64 (.f64 (expm1.f64 (log1p.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.7b	(atan2.f64 (.f64 (-.f64 (exp.f64 (log1p.f64 (sin.f64 (-.f64 lambda1 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)))))
	33.5b	(atan2.f64 (.f64 (+.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (neg.f64 (sqrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (sqrt.f64 (.f64 (cos.f64 lambda1) (sin.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)))))
	10.1b	(atan2.f64 (.f64 (+.f64 (log.f64 (/.f64 (pow.f64 (exp.f64 (cos.f64 lambda2)) (sin.f64 lambda1)) (pow.f64 (exp.f64 (sin.f64 lambda2)) (cos.f64 lambda1)))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.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)) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))
	38.3b	(atan2.f64 (.f64 (+.f64 (fma.f64 (sqrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (sqrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.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 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (.f64 (cbrt.f64 (cos.f64 lambda2)) (cbrt.f64 (sin.f64 lambda1))) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.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)) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))

Compiler

Compiled 22165 to 3515 computations (84.1% saved)

localize32.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series150.0ms (0.6%)

Counts

4 → 104

Calls

4 calls:

74.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2))))
57.0ms	(fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))
10.0ms	(*.f64 (sin.f64 lambda2) (cos.f64 lambda1))
9.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))

rewrite83.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

342×	`log1p-udef_binary64`
202×	`add-sqr-sqrt_binary64`
185×	`log1p-expm1-u_binary64`
185×	`expm1-log1p-u_binary64`
184×	`add-cbrt-cube_binary64`

Counts

4 → 79

Calls

4 calls:

80.0ms	(*.f64 (sin.f64 lambda2) (cos.f64 lambda1))
80.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
80.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2))))
80.0ms	(fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	60
1	378	45
2	4536	45
3	5049	45
0	0	0
1	0	0

prune396.0ms (1.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	176	7	183
Fresh	6	5	11
Picked	1	0	1
Done	0	0	0
Total	183	12	195

Error

0.0b

Counts

195 → 12

Alt Table

Status	Error	Program
	10.1b	(atan2.f64 (.f64 (+.f64 (log.f64 (/.f64 (pow.f64 (exp.f64 (cos.f64 lambda2)) (sin.f64 lambda1)) (pow.f64 (exp.f64 (sin.f64 lambda2)) (cos.f64 lambda1)))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.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)) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))
	2.2b	(atan2.f64 (.f64 (+.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (cos.f64 lambda1))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))
	0.2b	(atan2.f64 (.f64 (+.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (sin.f64 phi1) (.f64 (cos.f64 phi2) (+.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))))
	38.3b	(atan2.f64 (.f64 (+.f64 (fma.f64 (sqrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (sqrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.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)))))
	1.5b	(atan2.f64 (.f64 (+.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (cbrt.f64 (.f64 (pow.f64 (sin.f64 lambda2) 3) (pow.f64 (cos.f64 lambda1) 3)))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.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)) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))
	21.7b	(atan2.f64 (.f64 (-.f64 (exp.f64 (log1p.f64 (sin.f64 (-.f64 lambda1 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)))))
	0.4b	(atan2.f64 (.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (log.f64 (/.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (cos.f64 lambda1)) (+.f64 1 (expm1.f64 (.f64 (sin.f64 lambda2) (cos.f64 lambda1))))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))
	6.6b	(atan2.f64 (.f64 (+.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (*.f64 (cos.f64 phi1) (sin.f64 phi2)) (log.f64 (pow.f64 (pow.f64 (exp.f64 (sin.f64 phi1)) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))
	6.6b	(atan2.f64 (.f64 (+.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) 1)))
	1.2b	(atan2.f64 (.f64 (+.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (cbrt.f64 (.f64 (pow.f64 (sin.f64 lambda2) 3) (pow.f64 (cos.f64 lambda1) 3))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))
	0.4b	(atan2.f64 (.f64 (+.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (pow.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) 3))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))
	0.3b	(atan2.f64 (.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)))) (.f64 (cbrt.f64 (cos.f64 lambda2)) (cbrt.f64 (sin.f64 lambda1))) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (neg.f64 (sin.f64 lambda2)) (cos.f64 lambda1) (.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)) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))

Compiler

Compiled 10307 to 1503 computations (85.4% saved)

regimes2.6s (10.4%)

Accuracy

Total 0.1b remaining (60.1%)

Threshold costs 0.1b (60.1%)

Counts

247 → 1

Compiler

Compiled 82235 to 42952 computations (47.8% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative_binary64`
10×	`+-commutative_binary64`
9×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	85
1	48	85
2	67	85
3	80	85
4	89	85
5	92	85
6	92	85

end363.0ms (1.4%)

Compiler: Compiled 821 to 415 computations (49.5% saved)

Details

analyze3.7s (14.6%)

sample12.1s (47.4%)

localize21.0ms (0.1%)

series54.0ms (0.2%)

rewrite79.0ms (0.3%)

prune355.0ms (1.4%)

localize37.0ms (0.1%)

series1.4s (5.4%)

rewrite106.0ms (0.4%)

prune523.0ms (2.1%)

localize33.0ms (0.1%)

series2.7s (10.7%)

rewrite78.0ms (0.3%)

prune645.0ms (2.5%)

localize32.0ms (0.1%)

series150.0ms (0.6%)

rewrite83.0ms (0.3%)

prune396.0ms (1.6%)

regimes2.6s (10.4%)

simplify5.0ms (0%)

end363.0ms (1.4%)

Profiling