Details

analyze5.2s (12.7%)

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 (1.1%)

Algorithm

1×

intervals

Results

224.0ms	135×	body	1024	valid
41.0ms	44×	body	512	valid
21.0ms	65×	body	128	valid
7.0ms	12×	body	256	valid

Compiler

Compiled 82 to 52 computations (36.6% saved)

simplify53.0ms (0.1%)

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

prune4.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.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(+.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.1b

(+.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)

localize26.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.4b	(-.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)))))))

series174.0ms (0.4%)

Counts

4 → 132

Calls

4 calls:

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

rewrite15.0ms (0%)

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:

4.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))))))
4.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
3.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)))))))
0.0ms	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))

simplify194.0ms (0.5%)

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

prune466.0ms (1.1%)

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

Counts

186 → 10

Alt Table

Status	Error	Program
	28.4b	(+.f64 lambda1 (atan2.f64 (.f64 (exp.f64 (log.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (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.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (cbrt.f64 (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)))))
	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (expm1.f64 (log1p.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)))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 theta)) (cbrt.f64 (sin.f64 theta))) (.f64 (cbrt.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)) (log.f64 (/.f64 (exp.f64 (cos.f64 delta)) (exp.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.1b	(+.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.1b	(+.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.1b	(+.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))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (.f64 (cbrt.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)))))))) (cbrt.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))))))))) (cbrt.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)))))))))))
	15.9b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (fma.f64 (sqrt.f64 (cos.f64 delta)) (sqrt.f64 (cos.f64 delta)) (neg.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 8918 to 2004 computations (77.5% saved)

localize37.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series12.3s (29.8%)

Counts

4 → 112

Calls

4 calls:

12.1s	(/.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))))))
165.0ms	(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)
55.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))))))
6.0ms	(pow.f64 (cos.f64 delta) 3)

rewrite63.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

70×	`add-sqr-sqrt_binary64`
39×	`times-frac_binary64`
36×	`*-un-lft-identity_binary64`
32×	`difference-of-squares_binary64`
28×	`add-cube-cbrt_binary64`

Counts

4 → 143

Calls

4 calls:

15.0ms	(/.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))))))
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))))))
4.0ms	(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)
2.0ms	(pow.f64 (cos.f64 delta) 3)

simplify1.4s (3.4%)

Algorithm

1×	egg-herbie

Rules

399×	`associate-r_binary64`
351×	`fma-def_binary64`
254×	`associate-/l*_binary64`
246×	`associate-/r*_binary64`
234×	`times-frac_binary64`

Counts

255 → 277

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1745	102379
1	4996	102379
2	5032	102379

prune2.8s (6.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	271	6	277
Fresh	5	4	9
Picked	1	0	1
Done	0	0	0
Total	277	10	287

Error

Counts

287 → 10

Alt Table

Status	Error	Program
	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (+.f64 (pow.f64 (cos.f64 delta) 2) (.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))))) (/.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))))))) (+.f64 (pow.f64 (cos.f64 delta) 2) (.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)))))))))
	0.1b	(+.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.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (.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))))))) (.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 (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))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (.f64 (cbrt.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)))))))) (cbrt.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))))))))) (cbrt.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)))))))))))
	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 delta) 2) (cos.f64 delta)) (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))))))))
	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (expm1.f64 (log1p.f64 (/.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.4b	(+.f64 lambda1 (atan2.f64 (.f64 (exp.f64 (log.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (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.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (fma.f64 3 (.f64 (sin.f64 delta) (.f64 (pow.f64 (sin.f64 phi1) 5) (.f64 (pow.f64 (cos.f64 delta) 2) (.f64 (cos.f64 phi1) (cos.f64 theta))))) (fma.f64 (pow.f64 (sin.f64 phi1) 6) (pow.f64 (cos.f64 delta) 3) (fma.f64 (pow.f64 (sin.f64 delta) 3) (.f64 (pow.f64 (sin.f64 phi1) 3) (.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (cos.f64 theta) 3))) (.f64 3 (.f64 (pow.f64 (sin.f64 delta) 2) (.f64 (pow.f64 (sin.f64 phi1) 4) (.f64 (cos.f64 delta) (.f64 (pow.f64 (cos.f64 phi1) 2) (pow.f64 (cos.f64 theta) 2)))))))))) (fma.f64 (pow.f64 (sin.f64 delta) 2) (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (pow.f64 (cos.f64 phi1) 2) (pow.f64 (cos.f64 theta) 2))) (fma.f64 (pow.f64 (sin.f64 phi1) 2) (pow.f64 (cos.f64 delta) 2) (fma.f64 2 (.f64 (sin.f64 delta) (.f64 (pow.f64 (sin.f64 phi1) 3) (.f64 (cos.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))) (fma.f64 (sin.f64 delta) (.f64 (sin.f64 phi1) (.f64 (cos.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))) (*.f64 (+.f64 (pow.f64 (sin.f64 phi1) 4) 1) (pow.f64 (cos.f64 delta) 2)))))))))
	0.1b	(+.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 (cbrt.f64 (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)) 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))))))))
	15.9b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (fma.f64 (sqrt.f64 (cos.f64 delta)) (sqrt.f64 (cos.f64 delta)) (neg.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 133768 to 56092 computations (58.1% saved)

localize47.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.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.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.4b	(pow.f64 (cos.f64 delta) 3)
✓	0.5b	(.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))))))

series191.0ms (0.5%)

Counts

2 → 72

Calls

2 calls:

119.0ms

(*.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)))))))

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

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-exp-log_binary64`
12×	`add-sqr-sqrt_binary64`
11×	`associate-l_binary64`
10×	`prod-exp_binary64`
9×	`add-cbrt-cube_binary64`

Counts

2 → 62

Calls

2 calls:

7.0ms

(*.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)))))))

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

simplify140.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

581×	`associate-r_binary64`
523×	`unswap-sqr_binary64`
511×	`fma-neg_binary64`
423×	`associate-l_binary64`
272×	`fma-def_binary64`

Counts

134 → 140

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	290	6902
1	857	6138
2	3318	5365
3	5050	5365

prune1.2s (2.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	217	0	217
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	217	10	227

Error

Counts

227 → 10

Alt Table

Status	Error	Program
	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (+.f64 (pow.f64 (cos.f64 delta) 2) (.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))))) (/.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))))))) (+.f64 (pow.f64 (cos.f64 delta) 2) (.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)))))))))
	0.1b	(+.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.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (.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))))))) (.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 (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))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (.f64 (cbrt.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)))))))) (cbrt.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))))))))) (cbrt.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)))))))))))
	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 delta) 2) (cos.f64 delta)) (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))))))))
▶	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (expm1.f64 (log1p.f64 (/.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.4b	(+.f64 lambda1 (atan2.f64 (.f64 (exp.f64 (log.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (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.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (fma.f64 3 (.f64 (sin.f64 delta) (.f64 (pow.f64 (sin.f64 phi1) 5) (.f64 (pow.f64 (cos.f64 delta) 2) (.f64 (cos.f64 phi1) (cos.f64 theta))))) (fma.f64 (pow.f64 (sin.f64 phi1) 6) (pow.f64 (cos.f64 delta) 3) (fma.f64 (pow.f64 (sin.f64 delta) 3) (.f64 (pow.f64 (sin.f64 phi1) 3) (.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (cos.f64 theta) 3))) (.f64 3 (.f64 (pow.f64 (sin.f64 delta) 2) (.f64 (pow.f64 (sin.f64 phi1) 4) (.f64 (cos.f64 delta) (.f64 (pow.f64 (cos.f64 phi1) 2) (pow.f64 (cos.f64 theta) 2)))))))))) (fma.f64 (pow.f64 (sin.f64 delta) 2) (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (pow.f64 (cos.f64 phi1) 2) (pow.f64 (cos.f64 theta) 2))) (fma.f64 (pow.f64 (sin.f64 phi1) 2) (pow.f64 (cos.f64 delta) 2) (fma.f64 2 (.f64 (sin.f64 delta) (.f64 (pow.f64 (sin.f64 phi1) 3) (.f64 (cos.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))) (fma.f64 (sin.f64 delta) (.f64 (sin.f64 phi1) (.f64 (cos.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))) (*.f64 (+.f64 (pow.f64 (sin.f64 phi1) 4) 1) (pow.f64 (cos.f64 delta) 2)))))))))
	0.1b	(+.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 (cbrt.f64 (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)) 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))))))))
	15.9b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (fma.f64 (sqrt.f64 (cos.f64 delta)) (sqrt.f64 (cos.f64 delta)) (neg.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 29168 to 4735 computations (83.8% saved)

localize45.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(/.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))))))
	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.4b	(pow.f64 (cos.f64 delta) 3)
	0.5b	(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)

prune2.9s (7.1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	277	0	277
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	277	10	287

Error

Counts

287 → 10

Alt Table

Status	Error	Program
	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (+.f64 (pow.f64 (cos.f64 delta) 2) (.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))))) (/.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))))))) (+.f64 (pow.f64 (cos.f64 delta) 2) (.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)))))))))
	0.1b	(+.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.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (.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))))))) (.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 (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))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (.f64 (cbrt.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)))))))) (cbrt.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))))))))) (cbrt.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)))))))))))
	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 delta) 2) (cos.f64 delta)) (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))))))))
✓	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (expm1.f64 (log1p.f64 (/.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.4b	(+.f64 lambda1 (atan2.f64 (.f64 (exp.f64 (log.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (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.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (fma.f64 3 (.f64 (sin.f64 delta) (.f64 (pow.f64 (sin.f64 phi1) 5) (.f64 (pow.f64 (cos.f64 delta) 2) (.f64 (cos.f64 phi1) (cos.f64 theta))))) (fma.f64 (pow.f64 (sin.f64 phi1) 6) (pow.f64 (cos.f64 delta) 3) (fma.f64 (pow.f64 (sin.f64 delta) 3) (.f64 (pow.f64 (sin.f64 phi1) 3) (.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (cos.f64 theta) 3))) (.f64 3 (.f64 (pow.f64 (sin.f64 delta) 2) (.f64 (pow.f64 (sin.f64 phi1) 4) (.f64 (cos.f64 delta) (.f64 (pow.f64 (cos.f64 phi1) 2) (pow.f64 (cos.f64 theta) 2)))))))))) (fma.f64 (pow.f64 (sin.f64 delta) 2) (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (pow.f64 (cos.f64 phi1) 2) (pow.f64 (cos.f64 theta) 2))) (fma.f64 (pow.f64 (sin.f64 phi1) 2) (pow.f64 (cos.f64 delta) 2) (fma.f64 2 (.f64 (sin.f64 delta) (.f64 (pow.f64 (sin.f64 phi1) 3) (.f64 (cos.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))) (fma.f64 (sin.f64 delta) (.f64 (sin.f64 phi1) (.f64 (cos.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))) (*.f64 (+.f64 (pow.f64 (sin.f64 phi1) 4) 1) (pow.f64 (cos.f64 delta) 2)))))))))
	0.1b	(+.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 (cbrt.f64 (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)) 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))))))))
	15.9b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (fma.f64 (sqrt.f64 (cos.f64 delta)) (sqrt.f64 (cos.f64 delta)) (neg.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 133399 to 56288 computations (57.8% saved)

regimes3.2s (7.7%)

Accuracy

Total 0.1b remaining (49.9%)

Threshold costs 0.1b (49.9%)

Counts

225 → 1

Compiler

Compiled 139487 to 56763 computations (59.3% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	142
1	44	142
2	49	142
3	51	142
4	52	142
5	52	142

end1.0ms (0%)

Compiler: Compiled 90 to 35 computations (61.1% saved)

sample10.3s (25%)

Algorithm

1×

intervals

Results

7.1s	3938×	body	1024	valid
1.4s	1336×	body	512	valid
598.0ms	2137×	body	128	valid
365.0ms	577×	body	256	valid
57.0ms	12×	body	2048	valid

Compiler

Compiled 1057 to 422 computations (60.1% 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

analyze5.2s (12.7%)

sample455.0ms (1.1%)

simplify53.0ms (0.1%)

prune4.0ms (0%)

localize26.0ms (0.1%)

series174.0ms (0.4%)

rewrite15.0ms (0%)

simplify194.0ms (0.5%)

prune466.0ms (1.1%)

localize37.0ms (0.1%)

series12.3s (29.8%)

rewrite63.0ms (0.2%)

simplify1.4s (3.4%)

prune2.8s (6.7%)

localize47.0ms (0.1%)

series191.0ms (0.5%)

rewrite19.0ms (0%)

simplify140.0ms (0.3%)

prune1.2s (2.9%)

localize45.0ms (0.1%)

prune2.9s (7.1%)

regimes3.2s (7.7%)

simplify5.0ms (0%)

end1.0ms (0%)

sample10.3s (25%)

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