Details

analyze6.1s (15.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
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)

sample470.0ms (1.2%)

Algorithm

1×

intervals

Results

304.0ms	124×	body	1024	valid
72.0ms	48×	body	512	valid
29.0ms	62×	body	128	valid
12.0ms	3×	body	2048	valid
12.0ms	19×	body	256	valid

Compiler

Compiled 82 to 52 computations (36.6% saved)

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

localize37.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	(.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.4b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
✓	0.7b	(-.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)))))))

rewrite26.0ms (0.1%)

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

series368.0ms (0.9%)

Counts

4 → 144

Calls

4 calls:

172.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)))))))
138.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))))))
40.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
18.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))))))))

simplify349.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

684×	`fma-neg_binary64`
384×	`fma-def_binary64`
301×	`associate-l_binary64`
300×	`distribute-rgt-neg-in_binary64`
288×	`distribute-lft-neg-in_binary64`

Counts

204 → 398

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	164	8113
1	353	7668
2	898	7462
3	2638	7462
4	4797	7462
5	4960	7462

prune390.0ms (1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	390	8	398
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	392	8	400

Error

0.1b

Counts

400 → 8

Alt Table

Status	Error	Program
▶	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 (+.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) (.f64 (sin.f64 phi1) (sin.f64 (log.f64 (exp.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 (sin.f64 delta) (.f64 (sin.f64 theta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (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 (exp.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (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 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))))
	26.0b	(+.f64 lambda1 (.f64 (sqrt.f64 (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))))))))) (sqrt.f64 (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)))))))))))
	3.4b	(+.f64 lambda1 (cbrt.f64 (.f64 (.f64 (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)))))))) (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))))))))) (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.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 (.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 (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 6971 to 1226 computations (82.4% saved)

localize36.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 20

Calls

2 calls:

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

series521.0ms (1.3%)

Counts

2 → 72

Calls

2 calls:

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

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

simplify129.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

738×	`fma-def_binary64`
592×	`associate-l_binary64`
491×	`associate-r_binary64`
458×	`sub-neg_binary64`
404×	`cancel-sign-sub-inv_binary64`

Counts

92 → 143

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	84	2456
1	179	2095
2	469	1753
3	1326	1749
4	4203	1749
5	4501	1749
6	4852	1749

prune323.0ms (0.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	410	3	413
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	414	7	421

Error

0.0b

Counts

421 → 7

Alt Table

Status	Error	Program
	3.4b	(+.f64 lambda1 (cbrt.f64 (.f64 (.f64 (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)))))))) (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))))))))) (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.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 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 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 (sin.f64 delta) (.f64 (sin.f64 theta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (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 (+.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 (log.f64 (exp.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (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))))))
	26.0b	(+.f64 lambda1 (.f64 (sqrt.f64 (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))))))))) (sqrt.f64 (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.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 (.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 (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)) (+.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 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (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))))))

Compiler

Compiled 8657 to 1236 computations (85.7% saved)

localize49.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
	0.7b	(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))))
✓	3.1b	(log.f64 (exp.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))
✓	48.6b	(fma.f64 (neg.f64 (sin.f64 (log.f64 (exp.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (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)))

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 28

Calls

2 calls:

2.0ms

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

0.0ms

(fma.f64 (neg.f64 (sin.f64 (log.f64 (exp.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (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)))

series5.4s (13.5%)

Counts

2 → 36

Calls

2 calls:

3.4s

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

1.9s

(fma.f64 (neg.f64 (sin.f64 (log.f64 (exp.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (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)))

simplify215.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

864×	`sub-neg_binary64`
562×	`distribute-lft-out--_binary64`
334×	`associate-l_binary64`
271×	`fma-def_binary64`
265×	`associate-r_binary64`

Counts

64 → 122

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	113	3360
1	194	735
2	521	621
3	1818	621
4	4673	621
5	5010	621

prune652.0ms (1.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	568	3	571
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	571	7	578

Error

0.0b

Counts

578 → 7

Alt Table

Status	Error	Program
	0.2b	(+.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 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (fma.f64 (neg.f64 (sin.f64 (log.f64 (exp.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (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 (sin.f64 delta) (.f64 (sin.f64 theta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (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 (.f64 (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (fma.f64 (neg.f64 (sin.f64 (log.f64 (exp.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (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))))))
	17.4b	(+.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 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (sqrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (fma.f64 (neg.f64 (sin.f64 (log.f64 (exp.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (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))))))
	26.0b	(+.f64 lambda1 (.f64 (sqrt.f64 (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))))))))) (sqrt.f64 (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)))))))))))
	3.4b	(+.f64 lambda1 (cbrt.f64 (.f64 (.f64 (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)))))))) (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))))))))) (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.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 (.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 (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 10453 to 1494 computations (85.7% saved)

localize54.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (sin.f64 delta) (.f64 (sin.f64 theta) (cos.f64 phi1)))
✓	0.3b	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))
✓	0.4b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))
✓	0.7b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))

rewrite38.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-cbrt-cube_binary64`
11×	`add-exp-log_binary64`
11×	`pow1_binary64`
11×	`add-sqr-sqrt_binary64`
9×	`*-un-lft-identity_binary64`

Counts

4 → 72

Calls

4 calls:

9.0ms	(.f64 (sin.f64 delta) (.f64 (sin.f64 theta) (cos.f64 phi1)))
8.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))
6.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))
1.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))

series653.0ms (1.6%)

Counts

4 → 24

Calls

4 calls:

252.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))
223.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))
159.0ms	(.f64 (sin.f64 delta) (.f64 (sin.f64 theta) (cos.f64 phi1)))
18.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))

simplify217.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

747×	`fma-def_binary64`
538×	`cancel-sign-sub-inv_binary64`
424×	`sub-neg_binary64`
269×	`distribute-rgt-neg-in_binary64`
248×	`fma-neg_binary64`

Counts

96 → 178

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	244	3805
1	625	3320
2	1855	3053
3	4349	3053
4	4986	3053

prune947.0ms (2.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	176	2	178
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	177	8	185

Error

0.0b

Counts

185 → 8

Alt Table

Status	Error	Program
	0.2b	(+.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 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (fma.f64 (neg.f64 (sin.f64 (log.f64 (exp.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (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))))))
	3.3b	(+.f64 lambda1 (atan2.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 delta) (.f64 (sin.f64 theta) (cos.f64 phi1))) (.f64 (sin.f64 delta) (.f64 (sin.f64 theta) (cos.f64 phi1)))) (.f64 (sin.f64 delta) (.f64 (sin.f64 theta) (cos.f64 phi1))))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (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 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (.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 (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))))))))))
	26.0b	(+.f64 lambda1 (atan2.f64 (.f64 (sqrt.f64 (.f64 (sin.f64 delta) (.f64 (sin.f64 theta) (cos.f64 phi1)))) (sqrt.f64 (.f64 (sin.f64 delta) (.f64 (sin.f64 theta) (cos.f64 phi1))))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))
✓	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (sin.f64 theta) (cos.f64 phi1))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (sin.f64 delta) (.f64 (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 (.f64 (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (fma.f64 (neg.f64 (sin.f64 (log.f64 (exp.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (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))))))
	17.4b	(+.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 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))) (sqrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (fma.f64 (neg.f64 (sin.f64 (log.f64 (exp.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (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))))))
	3.4b	(+.f64 lambda1 (cbrt.f64 (.f64 (.f64 (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)))))))) (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))))))))) (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 7930 to 1422 computations (82.1% saved)

regimes3.8s (9.5%)

Accuracy

Total 0.1b remaining (45.4%)

Threshold costs 0.1b (45.4%)

Compiler

Compiled 65425 to 31646 computations (51.6% saved)

simplify12.0ms (0%)

Algorithm

1×	egg-herbie

Rules

13×	`*-commutative_binary64`
8×	`+-commutative_binary64`
4×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	125
1	61	125
2	71	125
3	77	125
4	79	125
5	78	125

end2.0ms (0%)

Compiler: Compiled 79 to 33 computations (58.2% saved)

sample19.0s (47.7%)

Algorithm

1×

intervals

Results

13.1s	3861×	body	1024	valid
2.8s	1317×	body	512	valid
1.2s	2242×	body	128	valid
653.0ms	565×	body	256	valid
121.0ms	15×	body	2048	valid

Compiler

Compiled 761 to 301 computations (60.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

analyze6.1s (15.4%)

sample470.0ms (1.2%)

simplify73.0ms (0.2%)

prune5.0ms (0%)

localize37.0ms (0.1%)

rewrite26.0ms (0.1%)

series368.0ms (0.9%)

simplify349.0ms (0.9%)

prune390.0ms (1%)

localize36.0ms (0.1%)

rewrite3.0ms (0%)

series521.0ms (1.3%)

simplify129.0ms (0.3%)

prune323.0ms (0.8%)

localize49.0ms (0.1%)

rewrite4.0ms (0%)

series5.4s (13.5%)

simplify215.0ms (0.5%)

prune652.0ms (1.6%)

localize54.0ms (0.1%)

rewrite38.0ms (0.1%)

series653.0ms (1.6%)

simplify217.0ms (0.5%)

prune947.0ms (2.4%)

regimes3.8s (9.5%)

simplify12.0ms (0%)

end2.0ms (0%)

sample19.0s (47.7%)

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