Details

analyze3.8s (19.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
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.3s (56.2%)

Results

8.9s	5555×	body	1024	valid
1.3s	1341×	body	512	valid
727.0ms	198×	body	2048	valid
241.0ms	766×	body	128	valid
225.0ms	396×	body	256	valid

Compiler

Compiled 58 to 36 computations (37.9% saved)

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

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

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

series62.0ms (0.3%)

Counts

4 → 100

Calls

33 calls:

4.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))	phi1	inf
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)))	phi2	inf
3.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))	phi1	-inf

rewrite64.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

289×	`expm1-udef_binary64`
289×	`log1p-udef_binary64`
160×	`add-sqr-sqrt_binary64`
158×	`*-un-lft-identity_binary64`
158×	`pow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	saturated
1×	node limit

Counts

4 → 88

simplify72.0ms (0.4%)

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

prune293.0ms (1.5%)

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

Compiler

Compiled 7029 to 2000 computations (71.5% 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 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
	2.7b	(cos.f64 (-.f64 lambda1 lambda2))

series47.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))	phi2	inf
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))	lambda2	-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

rewrite47.0ms (0.2%)

Algorithm

2×	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	3227	29
0	13	31

Stop Event

1×	saturated
1×	node limit

Counts

2 → 40

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

prune476.0ms (2.4%)

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

Compiler

Compiled 8172 to 2179 computations (73.3% saved)

localize39.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)
✓	0.3b	(/.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.4b	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)))
✓	0.5b	(pow.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3)

series391.0ms (1.9%)

Counts

4 → 96

Calls

24 calls:

80.0ms	(/.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))))))	lambda2	-inf
79.0ms	(/.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))))))	lambda1	-inf
76.0ms	(/.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))))))	lambda1	inf
75.0ms	(/.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))))))	lambda2	inf
5.0ms	(pow.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3)	lambda2	0

rewrite41.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

237×	`add-sqr-sqrt_binary64`
235×	`pow1_binary64`
233×	`*-un-lft-identity_binary64`
222×	`add-log-exp_binary64`
222×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	100
1	469	98
0	19	124

Stop Event

1×	saturated
1×	node limit

Counts

4 → 54

simplify60.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

754×	`fma-def_binary64`
666×	`cancel-sign-sub-inv_binary64`
357×	`distribute-rgt-neg-in_binary64`
330×	`distribute-lft-neg-in_binary64`
304×	`unswap-sqr_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	145	2816
1	478	2775
2	1957	2565

Stop Event

1×	node limit

Counts

150 → 116

prune383.0ms (1.9%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	114	2	116
Fresh	1	13	14
Picked	1	0	1
Done	0	0	0
Total	116	15	131

Error

0.0b

Counts

131 → 15

Alt Table

Status	Error	Program
	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))))))
	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)))))
▶	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 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 lambda1) 2)) (-.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)))))))))
	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))))))))
	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.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)))))
	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)))))
	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)))))
	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)))))
	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)) (.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (/.f64 1 (fma.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (-.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 2)))))))
	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)))))
	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.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)))))

Compiler

Compiled 10351 to 2666 computations (74.2% saved)

localize42.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
	0.3b	(pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)
✓	0.3b	(/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 lambda1) 2)) (-.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.5b	(pow.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3)

series333.0ms (1.7%)

Counts

2 → 48

Calls

12 calls:

78.0ms	(/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 lambda1) 2)) (-.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))))))	lambda1	-inf
76.0ms	(/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 lambda1) 2)) (-.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))))))	lambda2	-inf
75.0ms	(/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 lambda1) 2)) (-.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))))))	lambda2	inf
74.0ms	(/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 lambda1) 2)) (-.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))))))	lambda1	inf
6.0ms	(/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 lambda1) 2)) (-.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))))))	lambda1	0

rewrite36.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

263×	`add-sqr-sqrt_binary64`
262×	`pow1_binary64`
258×	`*-un-lft-identity_binary64`
248×	`add-log-exp_binary64`
248×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	78
1	533	78
0	22	98

Stop Event

1×	saturated
1×	node limit

Counts

2 → 19

simplify41.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

694×	`associate-r_binary64`
636×	`associate-l_binary64`
378×	`fma-def_binary64`
347×	`cancel-sign-sub-inv_binary64`
206×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	93	1906
1	304	1892
2	1044	1740

Stop Event

1×	node limit

Counts

67 → 53

prune392.0ms (1.9%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	109	15	124

Error

0.0b

Counts

124 → 15

Alt Table

Status	Error	Program
	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))))))
	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)))))
✓	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 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 lambda1) 2)) (-.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)))))))))
	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))))))))
	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.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)))))
	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)))))
	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)))))
	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)))))
	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)) (.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (/.f64 1 (fma.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (-.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 2)))))))
	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)))))
	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.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)))))

Compiler

Compiled 9268 to 2757 computations (70.3% saved)

regimes1.6s (7.8%)

Accuracy

Total 0.1b remaining (52.5%)

Threshold costs 0.1b (52.5%)

Counts

169 → 1

Compiler

Compiled 41429 to 25542 computations (38.3% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

25×	`*-commutative_binary64`
20×	`+-commutative_binary64`
18×	`sub-neg_binary64`
16×	`neg-sub0_binary64`
16×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	122
1	68	122
2	108	122
3	138	122
4	162	122
5	177	122
6	183	122
7	185	122

Stop Event

1×

saturated

end411.0ms (2%)

Stop Event

1×

fuel

Compiler

Compiled 787 to 453 computations (42.4% saved)

Details

analyze3.8s (19.1%)

sample11.3s (56.2%)

preprocess60.0ms (0.3%)

simplify22.0ms (0.1%)

prune5.0ms (0%)

localize20.0ms (0.1%)

series62.0ms (0.3%)

rewrite64.0ms (0.3%)

simplify72.0ms (0.4%)

prune293.0ms (1.5%)

localize27.0ms (0.1%)

series47.0ms (0.2%)

rewrite47.0ms (0.2%)

simplify36.0ms (0.2%)

prune476.0ms (2.4%)

localize39.0ms (0.2%)

series391.0ms (1.9%)

rewrite41.0ms (0.2%)

simplify60.0ms (0.3%)

prune383.0ms (1.9%)

localize42.0ms (0.2%)

series333.0ms (1.7%)

rewrite36.0ms (0.2%)

simplify41.0ms (0.2%)

prune392.0ms (1.9%)

regimes1.6s (7.8%)

simplify8.0ms (0%)

end411.0ms (2%)

Profiling