Details

analyze5.0s (22.4%)

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
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0.8%	99%	0.2%	11
1.2%	98.6%	0.2%	12
9.9%	89.8%	0.2%	13
9.9%	89.8%	0.2%	14

Compiler

Compiled 39 to 24 computations (38.5% saved)

sample10.5s (46.8%)

Results

7.7s	4013×	body	1024	valid
1.5s	1393×	body	512	valid
814.0ms	2258×	body	128	valid
430.0ms	578×	body	256	valid
64.0ms	14×	body	2048	valid

Compiler

Compiled 78 to 48 computations (38.5% saved)

preprocess56.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

970×	`fma-def_binary64`
456×	`distribute-rgt-neg-out_binary64`
282×	`distribute-rgt-in_binary64`
225×	`cancel-sign-sub-inv_binary64`
210×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	131	583
1	290	583
2	508	583
3	715	583
4	891	583
5	1451	583
6	2671	583
7	3583	583
0	5	5

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 38 to 23 computations (39.5% saved)

simplify42.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

571×	`fma-def_binary64`
244×	`fma-neg_binary64`
103×	`unsub-neg_binary64`
88×	`distribute-rgt-in_binary64`
84×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	53
1	41	53
2	70	53
3	94	53
4	114	53
5	152	53
6	223	53
7	294	53
8	423	53
9	559	53
10	633	53
11	762	53
12	897	53
13	1091	53
14	1332	53
15	1650	53
16	1817	53
17	1991	53
18	1993	53
19	1999	53
20	2004	53

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

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))

Status

Error

Program

▶

0.2b

(+.f64 lambda1 (atan2.f64 (*.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (sin.f64 theta))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))

0.2b

(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))

Compiler

Compiled 220 to 124 computations (43.6% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))))
✓	0.2b	(.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta)))
✓	0.3b	(asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))
✓	0.4b	(fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))

series123.0ms (0.5%)

Counts

4 → 144

Calls

36 calls:

9.0ms	(fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	theta	inf
9.0ms	(fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	delta	inf
8.0ms	(fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	theta	-inf
8.0ms	(fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	phi1	inf
7.0ms	(fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	delta	-inf

rewrite91.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

879×	`prod-diff_binary64`
193×	`add-sqr-sqrt_binary64`
177×	`log1p-expm1-u_binary64`
177×	`expm1-log1p-u_binary64`
175×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	88
1	374	86
2	4743	86

Stop Event

1×	node limit

Counts

4 → 101

simplify74.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

383×	`fma-neg_binary64`
327×	`distribute-rgt-neg-in_binary64`
299×	`distribute-lft-neg-in_binary64`
290×	`associate-r_binary64`
220×	`associate--l+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	198	3774
1	643	3732
2	2210	3535

Stop Event

1×	node limit

Counts

245 → 177

prune342.0ms (1.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	169	8	177
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	171	8	179

Error

0.0b

Counts

179 → 8

Alt Table

Status	Error	Program
	4.6b	(+.f64 lambda1 (atan2.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 delta) 3) (pow.f64 (.f64 (cos.f64 phi1) (sin.f64 theta)) 3))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	0.3b	(+.f64 lambda1 (atan2.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta)))) 3) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 (PI.f64) 2)) (.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))))) (+.f64 (/.f64 (PI.f64) 2) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (fma.f64 (sin.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) (cbrt.f64 (/.f64 (PI.f64) 2))) (cbrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 1))) (fma.f64 (neg.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) 1 (.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))) 1)))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	29.3b	(+.f64 lambda1 (atan2.f64 (pow.f64 (sqrt.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta)))) 2) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	20.2b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (pow.f64 (sqrt.f64 (fma.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))) (sin.f64 phi1) (cos.f64 delta))) 2)))
▶	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (fma.f64 (/.f64 (-.f64 (.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta))) (pow.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) 2)) (-.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	9.7b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (sin.f64 phi1) (*.f64 delta (cos.f64 theta)))))))

Compiler

Compiled 8691 to 2052 computations (76.4% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (*.f64 (cos.f64 delta) (sin.f64 phi1)) 2)
✓	0.3b	(.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (.f64 (*.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)))
✓	0.4b	(fma.f64 (/.f64 (-.f64 (.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta))) (pow.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) 2)) (-.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))
✓	2.9b	(/.f64 (-.f64 (.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta))) (pow.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) 2)) (-.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))

series624.0ms (2.8%)

Counts

4 → 132

Calls

33 calls:

59.0ms	(fma.f64 (/.f64 (-.f64 (.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta))) (pow.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) 2)) (-.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	theta	0
44.0ms	(fma.f64 (/.f64 (-.f64 (.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta))) (pow.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) 2)) (-.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	theta	inf
41.0ms	(fma.f64 (/.f64 (-.f64 (.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta))) (pow.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) 2)) (-.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	delta	-inf
40.0ms	(fma.f64 (/.f64 (-.f64 (.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta))) (pow.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) 2)) (-.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	theta	-inf
40.0ms	(fma.f64 (/.f64 (-.f64 (.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta))) (pow.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) 2)) (-.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	phi1	-inf

rewrite41.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

229×	`add-sqr-sqrt_binary64`
220×	`log1p-expm1-u_binary64`
220×	`expm1-log1p-u_binary64`
218×	`add-cbrt-cube_binary64`
212×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	145
1	456	143

Stop Event

1×	node limit

Counts

4 → 65

simplify102.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

719×	`associate-r_binary64`
465×	`associate-l_binary64`
308×	`fma-def_binary64`
270×	`times-frac_binary64`
231×	`associate-/l*_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	384	9187
1	1322	9059

Stop Event

1×	node limit

Counts

197 → 151

prune415.0ms (1.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	150	1	151
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	151	8	159

Error

0.0b

Counts

159 → 8

Alt Table

Status	Error	Program
	4.6b	(+.f64 lambda1 (atan2.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 delta) 3) (pow.f64 (.f64 (cos.f64 phi1) (sin.f64 theta)) 3))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	0.3b	(+.f64 lambda1 (atan2.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta)))) 3) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
▶	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 (PI.f64) 2)) (.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))))) (+.f64 (/.f64 (PI.f64) 2) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (fma.f64 (sin.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) (cbrt.f64 (/.f64 (PI.f64) 2))) (cbrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 1))) (fma.f64 (neg.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) 1 (.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))) 1)))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	29.3b	(+.f64 lambda1 (atan2.f64 (pow.f64 (sqrt.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta)))) 2) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	20.2b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (pow.f64 (sqrt.f64 (fma.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))) (sin.f64 phi1) (cos.f64 delta))) 2)))
	9.7b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (sin.f64 phi1) (*.f64 delta (cos.f64 theta)))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (fma.f64 (/.f64 (-.f64 (.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta))) (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) 2))) 1)) (-.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))

Compiler

Compiled 12782 to 4216 computations (67% saved)

localize32.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (-.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 (PI.f64) 2)) (.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))))) (+.f64 (/.f64 (PI.f64) 2) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))))
✓	0.4b	(.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))))
✓	0.4b	(fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 (PI.f64) 2)) (.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))))) (+.f64 (/.f64 (PI.f64) 2) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))
✓	4.7b	(-.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 (PI.f64) 2)) (.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))))

series533.0ms (2.4%)

Counts

4 → 144

Calls

36 calls:

42.0ms	(fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 (PI.f64) 2)) (.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))))) (+.f64 (/.f64 (PI.f64) 2) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	phi1	inf
38.0ms	(fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 (PI.f64) 2)) (.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))))) (+.f64 (/.f64 (PI.f64) 2) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	delta	-inf
37.0ms	(fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 (PI.f64) 2)) (.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))))) (+.f64 (/.f64 (PI.f64) 2) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	phi1	-inf
37.0ms	(fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 (PI.f64) 2)) (.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))))) (+.f64 (/.f64 (PI.f64) 2) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	delta	inf
35.0ms	(fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 (PI.f64) 2)) (.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))))) (+.f64 (/.f64 (PI.f64) 2) (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	theta	-inf

rewrite60.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

257×	`log1p-expm1-u_binary64`
257×	`expm1-log1p-u_binary64`
255×	`add-cbrt-cube_binary64`
251×	`add-exp-log_binary64`
251×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	210
1	532	206

Stop Event

1×	node limit

Counts

4 → 90

simplify171.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

627×	`fma-def_binary64`
435×	`associate-l_binary64`
429×	`fma-neg_binary64`
376×	`associate-r_binary64`
342×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	62	7608
1	166	7464
2	439	7392
3	1392	7390
4	4994	7390

Stop Event

1×	node limit

Counts

234 → 111

prune315.0ms (1.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	108	3	111
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	111	8	119

Error

0.0b

Counts

119 → 8

Alt Table

Status	Error	Program
	4.6b	(+.f64 lambda1 (atan2.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 delta) 3) (pow.f64 (.f64 (cos.f64 phi1) (sin.f64 theta)) 3))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	0.3b	(+.f64 lambda1 (atan2.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta)))) 3) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	14.7b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (pow.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) 2) 1/4) (pow.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 2)) (fma.f64 (PI.f64) 1/2 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))) 2)))
	29.3b	(+.f64 lambda1 (atan2.f64 (pow.f64 (sqrt.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta)))) 2) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
▶	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (expm1.f64 (log1p.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) 2) 1/4) (pow.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 2)) (fma.f64 (PI.f64) 1/2 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))))
	14.7b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (exp.f64 (log.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) 2) 1/4) (pow.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 2)) (fma.f64 (PI.f64) 1/2 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))))
	9.7b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (sin.f64 phi1) (*.f64 delta (cos.f64 theta)))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (fma.f64 (/.f64 (-.f64 (.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta))) (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) 2))) 1)) (-.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))

Compiler

Compiled 9040 to 2723 computations (69.9% saved)

localize37.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) 2) 1/4) (pow.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 2)) (fma.f64 (PI.f64) 1/2 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))
✓	0.4b	(pow.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 2)
✓	0.4b	(fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) 2) 1/4) (pow.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 2)) (fma.f64 (PI.f64) 1/2 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))
✓	4.7b	(-.f64 (.f64 (pow.f64 (PI.f64) 2) 1/4) (pow.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))) 2))

series523.0ms (2.3%)

Counts

4 → 144

Calls

36 calls:

37.0ms	(fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) 2) 1/4) (pow.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 2)) (fma.f64 (PI.f64) 1/2 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	theta	0
36.0ms	(fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) 2) 1/4) (pow.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 2)) (fma.f64 (PI.f64) 1/2 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	phi1	-inf
36.0ms	(fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) 2) 1/4) (pow.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 2)) (fma.f64 (PI.f64) 1/2 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	phi1	inf
35.0ms	(fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) 2) 1/4) (pow.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 2)) (fma.f64 (PI.f64) 1/2 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	theta	-inf
35.0ms	(fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) 2) 1/4) (pow.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 2)) (fma.f64 (PI.f64) 1/2 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))	delta	-inf

rewrite58.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

261×	`log1p-expm1-u_binary64`
261×	`expm1-log1p-u_binary64`
258×	`add-cbrt-cube_binary64`
256×	`add-exp-log_binary64`
256×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	206
1	550	206

Stop Event

1×	node limit

Counts

4 → 81

simplify178.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

627×	`fma-def_binary64`
435×	`associate-l_binary64`
429×	`fma-neg_binary64`
376×	`associate-r_binary64`
342×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	62	7608
1	166	7464
2	439	7392
3	1392	7390
4	4994	7390

Stop Event

1×	node limit

Counts

225 → 102

prune329.0ms (1.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	101	1	102
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	102	8	110

Error

0.0b

Counts

110 → 8

Alt Table

Status	Error	Program
	4.6b	(+.f64 lambda1 (atan2.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 delta) 3) (pow.f64 (.f64 (cos.f64 phi1) (sin.f64 theta)) 3))) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	0.3b	(+.f64 lambda1 (atan2.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta)))) 3) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	14.7b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (pow.f64 (sqrt.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) 2) 1/4) (pow.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 2)) (fma.f64 (PI.f64) 1/2 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))) 2)))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (expm1.f64 (log1p.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) 2) 1/4) (expm1.f64 (log1p.f64 (pow.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 2)))) (fma.f64 (PI.f64) 1/2 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))))
	29.3b	(+.f64 lambda1 (atan2.f64 (pow.f64 (sqrt.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta)))) 2) (fma.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))
	14.7b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (exp.f64 (log.f64 (fma.f64 (sin.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) 2) 1/4) (pow.f64 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (.f64 (cos.f64 delta) (sin.f64 phi1)))) 2)) (fma.f64 (PI.f64) 1/2 (acos.f64 (fma.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)) (*.f64 (cos.f64 delta) (sin.f64 phi1))))))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))))
	9.7b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (sin.f64 phi1) (*.f64 delta (cos.f64 theta)))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (fma.f64 (/.f64 (-.f64 (.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta))) (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) 2))) 1)) (-.f64 (.f64 (.f64 (cos.f64 theta) (cos.f64 phi1)) (sin.f64 delta)) (*.f64 (cos.f64 delta) (sin.f64 phi1)))) (neg.f64 (sin.f64 phi1)) (cos.f64 delta))))

Compiler

Compiled 8059 to 2507 computations (68.9% saved)

regimes2.5s (11.1%)

Accuracy

Total 0.1b remaining (58.5%)

Threshold costs 0.1b (58.5%)

Counts

218 → 1

Compiler

Compiled 79154 to 42623 computations (46.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
2×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	49
1	29	49
2	31	49
3	32	49

Stop Event

1×

saturated

end248.0ms (1.1%)

Stop Event

1×

fuel

Compiler

Compiled 485 to 273 computations (43.7% saved)

Details

analyze5.0s (22.4%)

sample10.5s (46.8%)

preprocess56.0ms (0.2%)

simplify42.0ms (0.2%)

prune5.0ms (0%)

localize25.0ms (0.1%)

series123.0ms (0.5%)

rewrite91.0ms (0.4%)

simplify74.0ms (0.3%)

prune342.0ms (1.5%)

localize27.0ms (0.1%)

series624.0ms (2.8%)

rewrite41.0ms (0.2%)

simplify102.0ms (0.5%)

prune415.0ms (1.8%)

localize32.0ms (0.1%)

series533.0ms (2.4%)

rewrite60.0ms (0.3%)

simplify171.0ms (0.8%)

prune315.0ms (1.4%)

localize37.0ms (0.2%)

series523.0ms (2.3%)

rewrite58.0ms (0.3%)

simplify178.0ms (0.8%)

prune329.0ms (1.5%)

regimes2.5s (11.1%)

simplify3.0ms (0%)

end248.0ms (1.1%)

Profiling