Details

analyze3.8s (18.5%)

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.8s (58.2%)

Results

9.1s	5485×	body	1024	valid
1.2s	1297×	body	512	valid
717.0ms	201×	body	2048	valid
325.0ms	870×	body	128	valid
252.0ms	403×	body	256	valid

Compiler

Compiled 86 to 53 computations (38.4% saved)

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

15.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	15.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)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 84 to 51 computations (39.3% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series57.0ms (0.3%)

Counts

4 → 88

Calls

4 calls:

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

rewrite79.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

315×	`expm1-udef_binary64`
315×	`log1p-udef_binary64`
173×	`add-sqr-sqrt_binary64`
161×	`log1p-expm1-u_binary64`
161×	`expm1-log1p-u_binary64`

Counts

4 → 86

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	36
1	321	36
2	4161	36
3	5098	36

prune395.0ms (2%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	153	21	174
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	154	21	175

Error

8.3b

Counts

175 → 21

Alt Table

Status	Error	Program
	24.8b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (sqrt.f64 (pow.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) 2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
▶	8.7b	(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)))))
	25.7b	(atan2.f64 (.f64 (-.f64 (sin.f64 lambda1) (.f64 lambda2 (cos.f64 lambda1))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	37.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (pow.f64 (sqrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) 2) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	18.7b	(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)))))
	15.2b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) 3) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.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)) (log.f64 (+.f64 1 (expm1.f64 (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 (sin.f64 phi1) (cos.f64 phi2)) (sqrt.f64 (pow.f64 (cos.f64 (-.f64 lambda1 lambda2)) 2)))))
	28.6b	(atan2.f64 (.f64 (-.f64 (+.f64 (.f64 (cos.f64 (neg.f64 lambda2)) lambda1) (sin.f64 (neg.f64 lambda2))) (.f64 1/2 (.f64 (sin.f64 (neg.f64 lambda2)) (pow.f64 lambda1 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)))))
	15.5b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) 1) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	27.9b	(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)))))
	14.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (/.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)))))))))
	34.2b	(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)))))
	8.7b	(atan2.f64 (.f64 (-.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)))))
	20.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 (neg.f64 lambda2)))))
	14.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 phi1) (cos.f64 phi2))))))
	26.3b	(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)))))
	15.1b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (expm1.f64 (log1p.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (sin.f64 phi1) (cos.f64 phi2)))))))
	15.3b	(atan2.f64 (.f64 (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 3) (pow.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (+.f64 (.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)))))
	15.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)))))
	22.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (sqrt.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (sin.f64 phi1) (cos.f64 phi2))) 2))))

Compiler

Compiled 6809 to 1829 computations (73.1% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series67.0ms (0.3%)

Counts

4 → 104

Calls

4 calls:

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

rewrite78.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

343×	`log1p-udef_binary64`
189×	`add-sqr-sqrt_binary64`
175×	`log1p-expm1-u_binary64`
175×	`expm1-log1p-u_binary64`
173×	`add-log-exp_binary64`

Counts

4 → 76

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	38
1	355	38
2	4547	38
3	5104	38

prune692.0ms (3.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	173	7	180
Fresh	15	5	20
Picked	1	0	1
Done	0	0	0
Total	189	12	201

Error

0.1b

Counts

201 → 12

Alt Table

Status	Error	Program
	37.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (pow.f64 (sqrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) 2) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	18.7b	(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)))))
	9.1b	(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 (exp.f64 (log1p.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) 1) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
▶	0.1b	(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 lambda2) (sin.f64 lambda1))))))
	8.7b	(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)) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (-.f64 lambda1 lambda2))))))))
	39.9b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (pow.f64 (sqrt.f64 (.f64 (cos.f64 lambda1) (sin.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)))))
	15.2b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) 3) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	8.7b	(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)) (expm1.f64 (log1p.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (sin.f64 phi1) (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 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.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)))))))
	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 lambda2) (sin.f64 lambda1)) 3)) (+.f64 (.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)))))))))
	15.3b	(atan2.f64 (.f64 (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 3) (pow.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (+.f64 (.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)))))
	15.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)))))

Compiler

Compiled 7621 to 1547 computations (79.7% saved)

localize32.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series104.0ms (0.5%)

Counts

4 → 120

Calls

4 calls:

75.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))
10.0ms	(*.f64 (sin.f64 lambda2) (sin.f64 lambda1))
10.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
9.0ms	(*.f64 (cos.f64 phi1) (sin.f64 phi2))

rewrite79.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

947×	`prod-diff_binary64`
203×	`add-sqr-sqrt_binary64`
185×	`add-log-exp_binary64`
185×	`log1p-expm1-u_binary64`
185×	`expm1-log1p-u_binary64`

Counts

4 → 71

Calls

4 calls:

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	50
1	384	40
2	4747	40
3	6528	40

prune574.0ms (2.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	186	5	191
Fresh	5	6	11
Picked	1	0	1
Done	0	0	0
Total	192	11	203

Error

0.0b

Counts

203 → 11

Alt Table

Status	Error	Program
	3.5b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (cbrt.f64 (.f64 (pow.f64 (cos.f64 lambda1) 3) (pow.f64 (sin.f64 lambda2) 3))))) (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 lambda2) (sin.f64 lambda1))))))
	39.9b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (pow.f64 (sqrt.f64 (.f64 (cos.f64 lambda1) (sin.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)))))
	0.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 (exp.f64 (log1p.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) 1) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))
	8.7b	(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)) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (-.f64 lambda1 lambda2))))))))
	37.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (pow.f64 (sqrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) 2) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.2b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) 3) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.3b	(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)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))
	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 lambda2) (sin.f64 lambda1)) 3)) (+.f64 (.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)))))))))
	15.3b	(atan2.f64 (.f64 (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 3) (pow.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (+.f64 (.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)))))
	0.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 (log.f64 (pow.f64 (exp.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 lambda2) (sin.f64 lambda1))))))
▶	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) (log1p.f64 (expm1.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))))

Compiler

Compiled 9055 to 1682 computations (81.4% saved)

localize39.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series108.0ms (0.5%)

Counts

4 → 120

Calls

4 calls:

78.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (log1p.f64 (expm1.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))
10.0ms	(*.f64 (sin.f64 lambda2) (sin.f64 lambda1))
10.0ms	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
9.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))

rewrite82.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

992×	`prod-diff_binary64`
211×	`add-sqr-sqrt_binary64`
195×	`expm1-log1p-u_binary64`
194×	`log1p-expm1-u_binary64`
192×	`add-log-exp_binary64`

Counts

4 → 70

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	50
1	403	50
2	4997	50
3	7011	50

prune469.0ms (2.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	188	2	190
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	191	10	201

Error

0.0b

Counts

201 → 10

Alt Table

Status	Error	Program
	3.5b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (cbrt.f64 (.f64 (pow.f64 (cos.f64 lambda1) 3) (pow.f64 (sin.f64 lambda2) 3))))) (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 lambda2) (sin.f64 lambda1))))))
	39.9b	(atan2.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (pow.f64 (sqrt.f64 (.f64 (cos.f64 lambda1) (sin.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)))))
	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 lambda2) (sin.f64 lambda1)) 3)) (+.f64 (.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)))))))))
	0.8b	(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 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))))))
	0.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 (exp.f64 (log1p.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) 1) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))
	37.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (pow.f64 (sqrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) 2) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.2b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) 3) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.3b	(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)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))
	0.7b	(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)) (cbrt.f64 (pow.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) 3))))
	15.3b	(atan2.f64 (.f64 (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 3) (pow.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (+.f64 (.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)))))

Compiler

Compiled 8809 to 1420 computations (83.9% saved)

regimes1.4s (7.1%)

Accuracy

Total 0.1b remaining (59.1%)

Threshold costs 0.1b (59.1%)

Counts

156 → 1

Compiler

Compiled 37560 to 23226 computations (38.2% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	61
1	46	61
2	68	61
3	83	61
4	93	61
5	96	61
6	95	61

end343.0ms (1.7%)

Compiler: Compiled 563 to 313 computations (44.4% saved)

Details

analyze3.8s (18.5%)

sample11.8s (58.2%)

prune2.0ms (0%)

localize30.0ms (0.1%)

series57.0ms (0.3%)

rewrite79.0ms (0.4%)

prune395.0ms (2%)

localize30.0ms (0.1%)

series67.0ms (0.3%)

rewrite78.0ms (0.4%)

prune692.0ms (3.4%)

localize32.0ms (0.2%)

series104.0ms (0.5%)

rewrite79.0ms (0.4%)

prune574.0ms (2.8%)

localize39.0ms (0.2%)

series108.0ms (0.5%)

rewrite82.0ms (0.4%)

prune469.0ms (2.3%)

regimes1.4s (7.1%)

simplify5.0ms (0%)

end343.0ms (1.7%)

Profiling