Details

analyze4.9s (21.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
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
1.2%	98.6%	0.2%	11
1.4%	98.4%	0.2%	12
10.8%	88.9%	0.2%	13
10.8%	88.9%	0.2%	14

Compiler

Compiled 39 to 24 computations (38.5% saved)

sample455.0ms (2%)

Algorithm

1×

intervals

Results

220.0ms	130×	body	1024	valid
39.0ms	45×	body	512	valid
19.0ms	63×	body	128	valid
10.0ms	18×	body	256	valid

Compiler

Compiled 82 to 52 computations (36.6% saved)

simplify54.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	53
1	40	53
2	66	53
3	85	53
4	99	53
5	133	53
6	173	53
7	217	53
8	281	53
9	305	53
10	362	53
11	407	53
12	468	53
13	604	53
14	728	53
15	836	53
16	943	53
17	891	53
18	893	53
19	899	53
20	904	53
21	841	53

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.2b

Counts

3 → 2

Alt Table

Status	Error	Program
	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 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))
▶	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 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))

▶

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 122 computations (44.5% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(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))))))))
✓	0.3b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
✓	0.3b	(.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))))))
✓	0.5b	(-.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)))))))

series154.0ms (0.7%)

Counts

4 → 144

Calls

4 calls:

72.0ms	(-.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)))))))
55.0ms	(.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))))))
19.0ms	(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))))))))
8.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64`
8×	`*-un-lft-identity_binary64`
8×	`add-cube-cbrt_binary64`
6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`

Counts

4 → 60

Calls

4 calls:

4.0ms	(.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))))))
3.0ms	(-.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)))))))
1.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
0.0ms	(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))))))))

simplify242.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

808×	`cancel-sign-sub-inv_binary64`
564×	`sub-neg_binary64`
377×	`fma-neg_binary64`
300×	`distribute-rgt-neg-in_binary64`
270×	`neg-mul-1_binary64`

Counts

204 → 155

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	209	7907
1	540	7331
2	1704	7144
3	4123	7144
4	4819	7144
5	4946	7144

prune350.0ms (1.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	145	10	155
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	147	10	157

Error

0.0b

Counts

157 → 10

Alt Table

Status	Error	Program
▶	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (fma.f64 1 (cos.f64 delta) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1)))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (sin.f64 phi1)) (cbrt.f64 (sin.f64 phi1))) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (cbrt.f64 (sin.f64 phi1)))))))
	16.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (fma.f64 (sqrt.f64 (cos.f64 delta)) (sqrt.f64 (cos.f64 delta)) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1)))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (log1p.f64 (expm1.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
	12.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (*.f64 (sin.f64 phi1) delta) (cos.f64 theta))))))
	29.1b	(+.f64 lambda1 (.f64 (sqrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))))) (sqrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
	4.8b	(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))) 3)))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (cbrt.f64 (.f64 (.f64 (-.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))))))) (-.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)))))))) (-.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)))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (log.f64 (exp.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
	9.7b	(+.f64 lambda1 (expm1.f64 (log1p.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))

Compiler

Compiled 7953 to 1674 computations (79% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
✓	0.3b	(.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))
✓	0.5b	(fma.f64 1 (cos.f64 delta) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))
✓	55.4b	(fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1)))

series367.0ms (1.6%)

Counts

3 → 108

Calls

3 calls:

240.0ms

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

74.0ms

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

52.0ms

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

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-sqr-sqrt_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-cube-cbrt_binary64`
5×	`add-cbrt-cube_binary64`
5×	`add-exp-log_binary64`

Counts

3 → 41

Calls

3 calls:

4.0ms

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

0.0ms

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

0.0ms

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

simplify152.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

729×	`cancel-sign-sub-inv_binary64`
554×	`distribute-rgt-neg-in_binary64`
530×	`sub-neg_binary64`
352×	`*-commutative_binary64`
331×	`fma-neg_binary64`

Counts

149 → 120

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	171	4398
1	463	3814
2	1519	3440
3	3687	3440
4	4807	3440
5	4928	3440

prune804.0ms (3.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	238	1	239
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	239	10	249

Error

0.0b

Counts

249 → 10

Alt Table

Status	Error	Program
✓	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (fma.f64 1 (cos.f64 delta) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1)))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (sin.f64 phi1)) (cbrt.f64 (sin.f64 phi1))) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (cbrt.f64 (sin.f64 phi1)))))))
	16.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (fma.f64 (sqrt.f64 (cos.f64 delta)) (sqrt.f64 (cos.f64 delta)) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1)))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (log1p.f64 (expm1.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
	12.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (*.f64 (sin.f64 phi1) delta) (cos.f64 theta))))))
	29.1b	(+.f64 lambda1 (.f64 (sqrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))))) (sqrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
▶	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (log.f64 (exp.f64 (fma.f64 1 (cos.f64 delta) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1)))))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))
	9.7b	(+.f64 lambda1 (expm1.f64 (log1p.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
	4.8b	(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))) 3)))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (cbrt.f64 (.f64 (.f64 (-.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))))))) (-.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)))))))) (-.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 20919 to 2844 computations (86.4% saved)

localize37.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))
	0.5b	(fma.f64 1 (cos.f64 delta) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))
✓	0.8b	(log.f64 (exp.f64 (fma.f64 1 (cos.f64 delta) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))
	55.4b	(fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1)))

series71.0ms (0.3%)

Counts

1 → 36

Calls

1 calls:

71.0ms

(log.f64 (exp.f64 (fma.f64 1 (cos.f64 delta) (neg.f64 (*.f64 (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`log-prod_binary64`
4×	`log-pow_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`exp-prod_binary64`

Counts

1 → 18

Calls

1 calls:

2.0ms

(log.f64 (exp.f64 (fma.f64 1 (cos.f64 delta) (neg.f64 (*.f64 (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))

simplify106.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

566×	`associate-l_binary64`
542×	`fma-def_binary64`
516×	`associate-r_binary64`
390×	`cancel-sign-sub-inv_binary64`
365×	`sub-neg_binary64`

Counts

54 → 56

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	130	2231
1	329	2038
2	1047	1944
3	3877	1944
4	4927	1944
5	4993	1944

prune847.0ms (3.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	232	3	235
Fresh	1	7	8
Picked	0	1	1
Done	1	0	1
Total	234	11	245

Error

0.0b

Counts

245 → 11

Alt Table

Status	Error	Program
	16.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (fma.f64 (sqrt.f64 (cos.f64 delta)) (sqrt.f64 (cos.f64 delta)) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1)))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (.f64 (cbrt.f64 (fma.f64 1 (cos.f64 delta) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))) (.f64 (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (cos.f64 theta) (.f64 (cos.f64 phi1) (sin.f64 delta))))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (cos.f64 theta) (.f64 (cos.f64 phi1) (sin.f64 delta))))))))))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))
▶	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (log1p.f64 (expm1.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
	12.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (*.f64 (sin.f64 phi1) delta) (cos.f64 theta))))))
	29.1b	(+.f64 lambda1 (.f64 (sqrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))))) (sqrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
✓	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (log.f64 (exp.f64 (fma.f64 1 (cos.f64 delta) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1)))))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))
	9.7b	(+.f64 lambda1 (expm1.f64 (log1p.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (sin.f64 phi1)) (cbrt.f64 (sin.f64 phi1))) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (cbrt.f64 (sin.f64 phi1)))))))
	4.8b	(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))) 3)))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (cbrt.f64 (pow.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (cos.f64 theta) (.f64 (cos.f64 phi1) (sin.f64 delta)))))))) 3)) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (log.f64 (exp.f64 (fma.f64 1 (cos.f64 delta) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1)))))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (log.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))))))))

Compiler

Compiled 21352 to 3398 computations (84.1% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))
✓	0.3b	(asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))
✓	0.3b	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))
✓	0.5b	(-.f64 (cos.f64 delta) (log1p.f64 (expm1.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))

series154.0ms (0.7%)

Counts

4 → 144

Calls

4 calls:

65.0ms	(-.f64 (cos.f64 delta) (log1p.f64 (expm1.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))
53.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))
29.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))
7.0ms	(asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))

rewrite24.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
17×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`
11×	`add-cbrt-cube_binary64`
11×	`add-exp-log_binary64`

Counts

4 → 83

Calls

4 calls:

10.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))
4.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))
3.0ms	(-.f64 (cos.f64 delta) (log1p.f64 (expm1.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))
0.0ms	(asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))

simplify196.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

947×	`fma-neg_binary64`
458×	`distribute-rgt-neg-in_binary64`
400×	`distribute-lft-neg-in_binary64`
378×	`associate-r_binary64`
362×	`associate-l_binary64`

Counts

227 → 176

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	305	7588
1	793	6767
2	2767	6469
3	4725	6465
4	5053	6465

prune778.0ms (3.5%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	176	0	176
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	176	11	187

Error

0.0b

Counts

187 → 11

Alt Table

Status	Error	Program
	16.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (fma.f64 (sqrt.f64 (cos.f64 delta)) (sqrt.f64 (cos.f64 delta)) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1)))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (.f64 (cbrt.f64 (fma.f64 1 (cos.f64 delta) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))) (.f64 (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (cos.f64 theta) (.f64 (cos.f64 phi1) (sin.f64 delta))))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (cos.f64 theta) (.f64 (cos.f64 phi1) (sin.f64 delta))))))))))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))
✓	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (log1p.f64 (expm1.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
	12.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (*.f64 (sin.f64 phi1) delta) (cos.f64 theta))))))
	29.1b	(+.f64 lambda1 (.f64 (sqrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))))) (sqrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
✓	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (log.f64 (exp.f64 (fma.f64 1 (cos.f64 delta) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1)))))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))
	9.7b	(+.f64 lambda1 (expm1.f64 (log1p.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (sin.f64 phi1)) (cbrt.f64 (sin.f64 phi1))) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (cbrt.f64 (sin.f64 phi1)))))))
	4.8b	(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))) 3)))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (cbrt.f64 (pow.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (cos.f64 theta) (.f64 (cos.f64 phi1) (sin.f64 delta)))))))) 3)) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (log.f64 (exp.f64 (fma.f64 1 (cos.f64 delta) (neg.f64 (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (sin.f64 phi1)))))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))) (sin.f64 phi1) (log.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))))))))

Compiler

Compiled 9495 to 2161 computations (77.2% saved)

regimes2.0s (9.1%)

Accuracy

Total 0.1b remaining (71.6%)

Threshold costs 0.1b (71.6%)

Counts

176 → 1

Compiler

Compiled 71533 to 34627 computations (51.6% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
6×	`+-commutative_binary64`
3×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	126
1	47	126
2	55	126
3	59	126
4	60	126
5	59	126

end1.0ms (0%)

Compiler: Compiled 80 to 28 computations (65% saved)

sample10.7s (47.6%)

Algorithm

1×

intervals

Results

7.5s	3856×	body	1024	valid
1.4s	1387×	body	512	valid
635.0ms	2169×	body	128	valid
392.0ms	578×	body	256	valid
43.0ms	10×	body	2048	valid

Compiler

Compiled 842 to 365 computations (56.7% saved)

Iter	Nodes	Cost
0	23	53
1	40	53
2	66	53
3	85	53
4	99	53
5	133	53
6	173	53
7	217	53
8	281	53
9	305	53
10	362	53
11	407	53
12	468	53
13	604	53
14	728	53
15	836	53
16	943	53
17	891	53
18	893	53
19	899	53
20	904	53
21	841	53

Iter	Nodes	Cost
0	23	53
1	40	53
2	66	53
3	85	53
4	99	53
5	133	53
6	173	53
7	217	53
8	281	53
9	305	53
10	362	53
11	407	53
12	468	53
13	604	53
14	728	53
15	836	53
16	943	53
17	891	53
18	893	53
19	899	53
20	904	53
21	841	53

Details

analyze4.9s (21.5%)

sample455.0ms (2%)

simplify54.0ms (0.2%)

prune5.0ms (0%)

localize25.0ms (0.1%)

series154.0ms (0.7%)

rewrite11.0ms (0%)

simplify242.0ms (1.1%)

prune350.0ms (1.6%)

localize30.0ms (0.1%)

series367.0ms (1.6%)

rewrite10.0ms (0%)

simplify152.0ms (0.7%)

prune804.0ms (3.6%)

localize37.0ms (0.2%)

series71.0ms (0.3%)

rewrite3.0ms (0%)

simplify106.0ms (0.5%)

prune847.0ms (3.8%)

localize27.0ms (0.1%)

series154.0ms (0.7%)

rewrite24.0ms (0.1%)

simplify196.0ms (0.9%)

prune778.0ms (3.5%)

regimes2.0s (9.1%)

simplify5.0ms (0%)

end1.0ms (0%)

sample10.7s (47.6%)

Profiling

Iter	Nodes	Cost
0	23	53
1	40	53
2	66	53
3	85	53
4	99	53
5	133	53
6	173	53
7	217	53
8	281	53
9	305	53
10	362	53
11	407	53
12	468	53
13	604	53
14	728	53
15	836	53
16	943	53
17	891	53
18	893	53
19	899	53
20	904	53
21	841	53