Details

analyze7.9s (18.3%)

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.6%	98.2%	0.2%	11
1.6%	98.2%	0.2%	12
13.2%	86.5%	0.2%	13
13.2%	86.5%	0.2%	14

Compiler

Compiled 39 to 24 computations (38.5% saved)

sample17.2s (39.9%)

Results

12.0s	4043×	body	1024	valid
2.3s	1370×	body	512	valid
1.7s	2267×	body	128	valid
730.0ms	558×	body	256	valid
134.0ms	18×	body	2048	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

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

prune8.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.2b

Counts

3 → 1

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

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

Compiler

Compiled 144 to 76 computations (47.2% saved)

localize37.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series293.0ms (0.7%)

Counts

4 → 132

Calls

4 calls:

144.0ms	(-.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)))))))
111.0ms	(.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))))))
21.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
16.0ms	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))

rewrite33.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

8.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
8.0ms	(.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))))))
7.0ms	(-.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)))))))
2.0ms	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))

simplify375.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

447×	`fma-neg_binary64`
376×	`distribute-rgt-neg-in_binary64`
325×	`distribute-lft-neg-in_binary64`
257×	`associate-r_binary64`
241×	`neg-mul-1_binary64`

Counts

204 → 185

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	262	6113
1	696	5704
2	2227	5493
3	4796	5493
4	4989	5493
5	4924	5493

prune770.0ms (1.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	175	10	185
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	176	10	186

Error

0.1b

Counts

186 → 10

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 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1)))))
▶	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 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1)))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.4b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (.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))))))) (cbrt.f64 (.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)))))))) (cbrt.f64 (.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.3b	(+.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)))))))))))
	28.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (.f64 (.f64 (cos.f64 phi1) (.f64 theta theta)) 1/2) (.f64 (.f64 (cos.f64 phi1) (pow.f64 theta 6)) 1/720))) (-.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi1)) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (cos.f64 phi1) (.f64 (*.f64 (cos.f64 phi1) (pow.f64 theta 4)) 1/24)))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))) (fma.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))))) (cos.f64 delta)))))
	15.7b	(+.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 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1)))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.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)))))) 3)) (fma.f64 (cos.f64 delta) (cos.f64 delta) (.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))))) (fma.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))))) (cos.f64 delta))))))))
	13.7b	(+.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))))))
	16.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (exp.f64 (log.f64 (-.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)))))))))))

Compiler

Compiled 8994 to 2014 computations (77.6% saved)

localize36.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series653.0ms (1.5%)

Counts

3 → 108

Calls

3 calls:

431.0ms

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

119.0ms

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

102.0ms

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

rewrite13.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:

7.0ms

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

1.0ms

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

1.0ms

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

simplify289.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

727×	`cancel-sign-sub-inv_binary64`
550×	`distribute-rgt-neg-in_binary64`
530×	`sub-neg_binary64`
355×	`*-commutative_binary64`
331×	`fma-neg_binary64`

Counts

149 → 120

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	170	4398
1	462	3814
2	1518	3440
3	3679	3440
4	4794	3440
5	4915	3440

prune1.8s (4.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	236	3	239
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	240	9	249

Error

0.0b

Counts

249 → 9

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 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1)))) (fma.f64 (neg.f64 (sin.f64 (cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3)))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1))))))
	16.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (.f64 (sqrt.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)))))))) (sqrt.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))))))))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.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)))))) 3)) (fma.f64 (cos.f64 delta) (cos.f64 delta) (.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))))) (fma.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))))) (cos.f64 delta))))))))
	28.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (.f64 (.f64 (cos.f64 phi1) (.f64 theta theta)) 1/2) (.f64 (.f64 (cos.f64 phi1) (pow.f64 theta 6)) 1/720))) (-.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi1)) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (cos.f64 phi1) (.f64 (*.f64 (cos.f64 phi1) (pow.f64 theta 4)) 1/24)))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))) (fma.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))))) (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 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1)))))
	13.7b	(+.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))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (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))))))))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.4b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (.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))))))) (cbrt.f64 (.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)))))))) (cbrt.f64 (.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)))))))))))

Compiler

Compiled 20453 to 2893 computations (85.9% saved)

localize93.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(fma.f64 1 (cos.f64 delta) (neg.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1))))
✓	0.6b	(pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3)
✓	7.2b	(cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3))
✓	53.9b	(fma.f64 (neg.f64 (sin.f64 (cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3)))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1)))

series584.0ms (1.4%)

Counts

3 → 108

Calls

3 calls:

465.0ms

(fma.f64 (neg.f64 (sin.f64 (cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3)))) (sin.f64 phi1) (*.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1)))

105.0ms

(pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3)

13.0ms

(cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3))

rewrite18.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-sqr-sqrt_binary64`
9×	`add-cube-cbrt_binary64`
6×	`cube-prod_binary64`

Counts

3 → 58

Calls

3 calls:

3.0ms

(pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3)

3.0ms

(cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3))

1.0ms

(fma.f64 (neg.f64 (sin.f64 (cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3)))) (sin.f64 phi1) (*.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1)))

simplify270.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

763×	`sqr-pow_binary64`
661×	`fma-def_binary64`
490×	`*-commutative_binary64`
399×	`exp-prod_binary64`
395×	`log-prod_binary64`

Counts

166 → 83

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	86	4518
1	131	4209
2	315	3829
3	1339	3369
4	2458	3366
5	4118	3366
6	5015	3366

prune947.0ms (2.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	125	0	125
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	125	9	134

Error

0.0b

Counts

134 → 9

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 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1)))) (fma.f64 (neg.f64 (sin.f64 (cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3)))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1))))))
	16.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (.f64 (sqrt.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)))))))) (sqrt.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))))))))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.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)))))) 3)) (fma.f64 (cos.f64 delta) (cos.f64 delta) (.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))))) (fma.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))))) (cos.f64 delta))))))))
	28.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (.f64 (.f64 (cos.f64 phi1) (.f64 theta theta)) 1/2) (.f64 (.f64 (cos.f64 phi1) (pow.f64 theta 6)) 1/720))) (-.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi1)) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (cos.f64 phi1) (.f64 (*.f64 (cos.f64 phi1) (pow.f64 theta 4)) 1/24)))))))
▶	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))) (fma.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))))) (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 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1)))))
	13.7b	(+.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))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (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))))))))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.4b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (.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))))))) (cbrt.f64 (.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)))))))) (cbrt.f64 (.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)))))))))))

Compiler

Compiled 11469 to 2312 computations (79.8% saved)

localize69.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (sin.f64 phi1) 2)
✓	0.3b	(/.f64 (-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))) (fma.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))))) (cos.f64 delta)))
✓	0.4b	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))))
✓	0.4b	(.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))

series2.1s (4.8%)

Counts

4 → 112

Calls

4 calls:

1.6s	(/.f64 (-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))) (fma.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))))) (cos.f64 delta)))
325.0ms	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))))
135.0ms	(.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))
7.0ms	(pow.f64 (sin.f64 phi1) 2)

rewrite71.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64`
12×	`pow1_binary64`
9×	`times-frac_binary64`

Counts

4 → 102

Calls

4 calls:

16.0ms	(/.f64 (-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))) (fma.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))))) (cos.f64 delta)))
14.0ms	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))))
8.0ms	(.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))
4.0ms	(pow.f64 (sin.f64 phi1) 2)

simplify652.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

609×	`fma-def_binary64`
471×	`times-frac_binary64`
260×	`*-commutative_binary64`
169×	`associate-r_binary64`
166×	`+-commutative_binary64`

Counts

214 → 242

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	738	21778
1	2428	20478
2	4866	20335
3	4956	20335

prune2.7s (6.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	240	2	242
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	242	9	251

Error

0.0b

Counts

251 → 9

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 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1)))) (fma.f64 (neg.f64 (sin.f64 (cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3)))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1))))))
	16.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (.f64 (sqrt.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)))))))) (sqrt.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))))))))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.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)))))) 3)) (fma.f64 (cos.f64 delta) (cos.f64 delta) (.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))))) (fma.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))))) (cos.f64 delta))))))))
	28.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (.f64 (.f64 (cos.f64 phi1) (.f64 theta theta)) 1/2) (.f64 (.f64 (cos.f64 phi1) (pow.f64 theta 6)) 1/720))) (-.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi1)) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (cos.f64 phi1) (.f64 (*.f64 (cos.f64 phi1) (pow.f64 theta 4)) 1/24)))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (fma.f64 (cos.f64 delta) (cos.f64 delta) (neg.f64 (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))))) (fma.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))))) (cos.f64 delta)))))
	13.7b	(+.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))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (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))))))))) (fma.f64 (neg.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 phi1))))))
	0.4b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (.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))))))) (cbrt.f64 (.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)))))))) (cbrt.f64 (.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 (+.f64 (fma.f64 (cos.f64 delta) (cos.f64 delta) (neg.f64 (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))) (pow.f64 (sin.f64 phi1) 2)))) (fma.f64 (neg.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))) (pow.f64 (sin.f64 phi1) 2) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))) (pow.f64 (sin.f64 phi1) 2)))) (fma.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))))) (cos.f64 delta)))))

Compiler

Compiled 30022 to 7850 computations (73.9% saved)

regimes5.5s (12.8%)

Accuracy

Total 0.1b remaining (61.2%)

Threshold costs 0.1b (61.2%)

Counts

245 → 1

Compiler

Compiled 115799 to 50582 computations (56.3% saved)

simplify11.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
5×	`+-commutative_binary64`
4×	`distribute-rgt-neg-in_binary64`
3×	`distribute-lft-neg-in_binary64`
3×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	120
1	46	120
2	57	120
3	61	120
4	62	120
5	60	120

end580.0ms (1.3%)

Compiler: Compiled 901 to 330 computations (63.4% 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

analyze7.9s (18.3%)

sample17.2s (39.9%)

simplify89.0ms (0.2%)

prune8.0ms (0%)

localize37.0ms (0.1%)

series293.0ms (0.7%)

rewrite33.0ms (0.1%)

simplify375.0ms (0.9%)

prune770.0ms (1.8%)

localize36.0ms (0.1%)

series653.0ms (1.5%)

rewrite13.0ms (0%)

simplify289.0ms (0.7%)

prune1.8s (4.2%)

localize93.0ms (0.2%)

series584.0ms (1.4%)

rewrite18.0ms (0%)

simplify270.0ms (0.6%)

prune947.0ms (2.2%)

localize69.0ms (0.2%)

series2.1s (4.8%)

rewrite71.0ms (0.2%)

simplify652.0ms (1.5%)

prune2.7s (6.3%)

regimes5.5s (12.8%)

simplify11.0ms (0%)

end580.0ms (1.3%)

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