Details

analyze3.5s (16.8%)

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.4s (54.4%)

Results

9.0s	5555×	body	1024	valid
1.2s	1341×	body	512	valid
760.0ms	198×	body	2048	valid
251.0ms	766×	body	128	valid
226.0ms	396×	body	256	valid

Compiler

Compiled 58 to 36 computations (37.9% saved)

preprocess58.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

848×	`fma-neg_binary64`
807×	`fma-def_binary64`
360×	`cancel-sign-sub-inv_binary64`
209×	`sub-neg_binary64`
190×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	273
1	163	273
2	376	273
3	798	273
4	1264	273
5	1906	273
6	2810	273
7	3765	273
8	4582	273
0	4	4

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 28 to 17 computations (39.3% saved)

simplify22.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	39
1	32	39
2	67	39
3	132	39
4	209	39
5	322	39
6	501	39
7	666	39
8	903	39
9	1361	39
10	1522	39
11	1548	39

Stop Event

1×

saturated

Counts

1 → 2

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

11.0b

Counts

3 → 2

Alt Table

Status	Error	Program
	11.0b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi2) (neg.f64 (sin.f64 phi1))) (*.f64 (cos.f64 phi1) (sin.f64 phi2))))
▶	11.0b	(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)))))

Status

Error

Program

11.0b

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

▶

11.0b

(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 164 to 89 computations (45.7% saved)

localize18.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)))
✓	2.7b	(sin.f64 (-.f64 lambda1 lambda2))
✓	2.7b	(cos.f64 (-.f64 lambda1 lambda2))

series60.0ms (0.3%)

Counts

4 → 100

Calls

33 calls:

4.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))	lambda1	0
4.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))	lambda1	-inf
3.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))	phi2	-inf
3.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))	lambda1	inf
3.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))	lambda2	-inf

rewrite59.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

289×	`expm1-udef_binary64`
289×	`log1p-udef_binary64`
158×	`add-sqr-sqrt_binary64`
148×	`log1p-expm1-u_binary64`
148×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	39
1	289	39
2	4099	39

Stop Event

1×	node limit

Counts

4 → 88

simplify71.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

395×	`distribute-rgt-neg-in_binary64`
378×	`fma-neg_binary64`
368×	`distribute-lft-neg-in_binary64`
323×	`neg-mul-1_binary64`
287×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	195	2148
1	641	2088
2	2181	1885
3	4897	1885

Stop Event

1×	node limit

Counts

188 → 174

prune280.0ms (1.3%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	156	18	174
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	158	18	176

Error

5.7b

Counts

176 → 18

Alt Table

Status	Error	Program
	25.1b	(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)))))
	33.0b	(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)))))
	11.3b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 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)))))
	25.5b	(atan2.f64 (.f64 (-.f64 (.f64 (cos.f64 lambda2) 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)))))
	29.0b	(atan2.f64 (sin.f64 (-.f64 lambda1 lambda2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	29.7b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (pow.f64 (pow.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) 1/3)))
	11.3b	(atan2.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	11.6b	(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 (sin.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))))) 1)))
	11.0b	(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 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.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)))))))
	14.4b	(atan2.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	26.1b	(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 lambda1) (fma.f64 lambda2 (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (.f64 (*.f64 lambda2 lambda2) -1/2)))))))
	11.2b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (pow.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))) 3)))
	11.0b	(atan2.f64 (expm1.f64 (log1p.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)))))
	19.8b	(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)))
	7.9b	(atan2.f64 (.f64 (/.f64 (-.f64 (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (.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)))) (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 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.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)))))
	40.5b	(atan2.f64 (.f64 (pow.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 3) 1/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)))))
	21.0b	(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)))))

Compiler

Compiled 7029 to 2002 computations (71.5% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
✓	0.2b	(.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.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)))
	2.7b	(cos.f64 (-.f64 lambda1 lambda2))

series45.0ms (0.2%)

Counts

2 → 60

Calls

15 calls:

6.0ms	(.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2))	lambda1	-inf
5.0ms	(.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2))	phi2	inf
5.0ms	(.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2))	phi2	-inf
5.0ms	(.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2))	lambda1	inf
5.0ms	(.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2))	lambda2	-inf

rewrite46.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

485×	`prod-diff_binary64`
227×	`expm1-udef_binary64`
227×	`log1p-udef_binary64`
149×	`fma-def_binary64`
135×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	31
1	260	29
2	3254	29

Stop Event

1×	node limit

Counts

2 → 40

simplify37.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

680×	`fma-def_binary64`
610×	`associate-r_binary64`
605×	`associate-l_binary64`
461×	`cancel-sign-sub-inv_binary64`
223×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	122	1385
1	393	1365
2	1355	1302

Stop Event

1×	node limit

Counts

100 → 82

prune395.0ms (1.9%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	168	7	175
Fresh	9	8	17
Picked	1	0	1
Done	0	0	0
Total	178	15	193

Error

0.1b

Counts

193 → 15

Alt Table

Status	Error	Program
	11.0b	(atan2.f64 (expm1.f64 (log1p.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)))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.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)) (/.f64 (-.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.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)))))))
	8.3b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 lambda1) (sin.f64 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)))))
	6.6b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (log.f64 (+.f64 1 (expm1.f64 (.f64 (sin.f64 phi1) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))))))))
	29.7b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (pow.f64 (pow.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) 1/3)))
	6.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (pow.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))) 3)))
	11.3b	(atan2.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	14.4b	(atan2.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	11.3b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 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)))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.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)) (/.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)))))))))
	7.9b	(atan2.f64 (.f64 (/.f64 (-.f64 (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (.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)))) (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.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 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)))))
	40.5b	(atan2.f64 (.f64 (pow.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 3) 1/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)))))
▶	0.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.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)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	21.0b	(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)))))

Compiler

Compiled 8172 to 2180 computations (73.3% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series78.0ms (0.4%)

Counts

2 → 56

Calls

18 calls:

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

rewrite51.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

698×	`prod-diff_binary64`
162×	`add-sqr-sqrt_binary64`
149×	`log1p-expm1-u_binary64`
149×	`expm1-log1p-u_binary64`
148×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	34
1	306	24
2	3992	24

Stop Event

1×	node limit

Counts

2 → 39

simplify50.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

413×	`fma-neg_binary64`
374×	`associate-r_binary64`
321×	`associate--l+_binary64`
315×	`distribute-rgt-neg-in_binary64`
297×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	194	2127
1	658	2042
2	2579	1864

Stop Event

1×	node limit

Counts

95 → 90

prune469.0ms (2.2%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	166	6	172
Fresh	3	11	14
Picked	1	0	1
Done	0	0	0
Total	170	17	187

Error

0.0b

Counts

187 → 17

Alt Table

Status	Error	Program
	11.0b	(atan2.f64 (expm1.f64 (log1p.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)))))
	4.3b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (log.f64 (pow.f64 (exp.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 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	8.3b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 lambda1) (sin.f64 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)))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.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)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (pow.f64 (cbrt.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) 3)))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 phi2) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
	6.6b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (log.f64 (+.f64 1 (expm1.f64 (.f64 (sin.f64 phi1) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))))))))
	29.7b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (pow.f64 (pow.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) 1/3)))
	6.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (pow.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))) 3)))
	11.3b	(atan2.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) (-.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 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1)))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	14.4b	(atan2.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	11.3b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 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)))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.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)) (/.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)))))))))
▶	0.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.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)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (-.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) 1)))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (log1p.f64 (expm1.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)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	40.5b	(atan2.f64 (.f64 (pow.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 3) 1/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)))))
	21.0b	(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)))))

Compiler

Compiled 9314 to 2527 computations (72.9% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2))
	0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
✓	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (-.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) 1)))
✓	3.0b	(-.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) 1)

series1.2s (5.6%)

Counts

2 → 72

Calls

18 calls:

101.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (-.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) 1)))	lambda2	-inf
99.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (-.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) 1)))	lambda1	-inf
98.0ms	(-.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) 1)	lambda1	inf
97.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (-.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) 1)))	lambda1	inf
97.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (-.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) 1)))	lambda2	inf

rewrite62.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

338×	`log1p-udef_binary64`
190×	`add-sqr-sqrt_binary64`
178×	`expm1-log1p-u_binary64`
177×	`log1p-expm1-u_binary64`
174×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	34
1	373	24
2	4755	24

Stop Event

1×	node limit

Counts

2 → 69

simplify51.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

413×	`fma-neg_binary64`
374×	`associate-r_binary64`
321×	`associate--l+_binary64`
315×	`distribute-rgt-neg-in_binary64`
297×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	194	2255
1	660	2170
2	2577	1992

Stop Event

1×	node limit

Counts

141 → 119

prune562.0ms (2.7%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	197	4	201
Fresh	4	12	16
Picked	1	0	1
Done	0	0	0
Total	202	16	218

Error

0.0b

Counts

218 → 16

Alt Table

Status	Error	Program
	11.0b	(atan2.f64 (expm1.f64 (log1p.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)))))
	4.3b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (log.f64 (pow.f64 (exp.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 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	8.3b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 lambda1) (sin.f64 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)))))
	29.7b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (pow.f64 (pow.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) 1/3)))
	6.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (pow.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))) 3)))
	11.3b	(atan2.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	14.4b	(atan2.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	40.5b	(atan2.f64 (.f64 (pow.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 3) 1/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)))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.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)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (log.f64 (+.f64 1 (expm1.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
	21.0b	(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.2b	(atan2.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1)))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (-.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) 1)))))
	11.3b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 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)))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.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)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (pow.f64 (cbrt.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) 3)))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (log1p.f64 (expm1.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)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	0.2b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.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)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (/.f64 (+.f64 (pow.f64 (+.f64 1 (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) 3) -1) (+.f64 (pow.f64 (+.f64 1 (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) 2) (+.f64 (+.f64 1 (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) 1)))))))
	6.6b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.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 (sin.f64 phi1) (cos.f64 phi2))))))

Compiler

Compiled 10345 to 2809 computations (72.8% saved)

regimes2.0s (9.4%)

Accuracy

Total 0.1b remaining (55.7%)

Threshold costs 0.1b (55.7%)

Counts

213 → 1

Compiler

Compiled 51413 to 32072 computations (37.6% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

15×	`*-commutative_binary64`
11×	`+-commutative_binary64`
11×	`sub-neg_binary64`
8×	`neg-sub0_binary64`
8×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	68
1	50	68
2	77	68
3	93	68
4	105	68
5	109	68

Stop Event

1×

saturated

end418.0ms (2%)

Stop Event

1×

fuel

Compiler

Compiled 715 to 443 computations (38% saved)

Details

analyze3.5s (16.8%)

sample11.4s (54.4%)

preprocess58.0ms (0.3%)

simplify22.0ms (0.1%)

prune4.0ms (0%)

localize18.0ms (0.1%)

series60.0ms (0.3%)

rewrite59.0ms (0.3%)

simplify71.0ms (0.3%)

prune280.0ms (1.3%)

localize26.0ms (0.1%)

series45.0ms (0.2%)

rewrite46.0ms (0.2%)

simplify37.0ms (0.2%)

prune395.0ms (1.9%)

localize27.0ms (0.1%)

series78.0ms (0.4%)

rewrite51.0ms (0.2%)

simplify50.0ms (0.2%)

prune469.0ms (2.2%)

localize29.0ms (0.1%)

series1.2s (5.6%)

rewrite62.0ms (0.3%)

simplify51.0ms (0.2%)

prune562.0ms (2.7%)

regimes2.0s (9.4%)

simplify4.0ms (0%)

end418.0ms (2%)

Profiling