Details

analyze6.3s (26.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.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)

sample322.0ms (1.3%)

Algorithm

1×

intervals

Results

232.0ms	125×	body	1024	valid
47.0ms	51×	body	512	valid
17.0ms	64×	body	128	valid
10.0ms	16×	body	256	valid

Compiler

Compiled 82 to 52 computations (36.6% saved)

simplify80.0ms (0.3%)

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 → 1

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

prune7.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.2b

Counts

2 → 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 111 to 66 computations (40.5% saved)

localize35.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sin.f64 theta) (sin.f64 delta))
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	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))
0.6b	(-.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)))))))

rewrite198.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

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:

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

Compiler

Compiled 3047 to 421 computations (86.2% saved)

series165.0ms (0.7%)

Error

0.2b

Counts

4 → 44

Calls

4 calls:

54.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)))))))
45.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))))))
28.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
20.0ms	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))

Compiler

Compiled 3723 to 1963 computations (47.3% saved)

simplify178.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

474×	`cancel-sign-sub-inv_binary64`
441×	`fma-neg_binary64`
424×	`fma-def_binary64`
302×	`distribute-rgt-neg-in_binary64`
271×	`*-commutative_binary64`

Counts

116 → 88

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	197	3736
1	441	3477
2	1173	3313
3	2541	3296
4	4623	3296
5	4895	3296

prune118.0ms (0.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	80	8	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	8	89

Error

0.1b

Counts

89 → 8

Alt Table

Status	Error	Program
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta))) (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (cbrt.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.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 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)) (fma.f64 (cos.f64 delta) (cos.f64 delta) (.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (fma.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) (cos.f64 delta))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (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 (sin.f64 delta) (.f64 (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 (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)) (cbrt.f64 (pow.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 3))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 theta)) (cbrt.f64 (sin.f64 theta))) (.f64 (sin.f64 delta) (cbrt.f64 (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)))))))))
	19.0b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (sqrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.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 (cos.f64 delta) (sin.f64 phi1) (.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 (cos.f64 delta) (expm1.f64 (log1p.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.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 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))

Compiler

Compiled 3516 to 852 computations (75.8% saved)

localize31.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))
0.5b	(cbrt.f64 (pow.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 3))
0.6b	(pow.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 3)
0.6b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))

rewrite235.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

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

Counts

4 → 82

Calls

4 calls:

3.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))
3.0ms	(pow.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 3)
3.0ms	(cbrt.f64 (pow.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 3))
1.0ms	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))

Compiler

Compiled 3966 to 644 computations (83.8% saved)

series320.0ms (1.3%)

Error

0.1b

Counts

4 → 50

Calls

4 calls:

134.0ms	(pow.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 3)
63.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))
54.0ms	(cbrt.f64 (pow.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 3))
21.0ms	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))

Compiler

Compiled 5207 to 2669 computations (48.7% saved)

simplify180.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

312×	`unswap-sqr_binary64`
308×	`fma-neg_binary64`
285×	`distribute-rgt-in_binary64`
282×	`cancel-sign-sub-inv_binary64`
266×	`distribute-lft-in_binary64`

Counts

132 → 88

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	207	6900
1	520	6272
2	1798	6030
3	4492	6028
4	4955	6028

prune120.0ms (0.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	86	2	88
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	88	8	96

Error

0.1b

Counts

96 → 8

Alt Table

Status	Error	Program
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta))) (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (cbrt.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.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 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)) (fma.f64 (cos.f64 delta) (cos.f64 delta) (.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (fma.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) (cos.f64 delta))))))))
	19.0b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (sqrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.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 (cos.f64 delta) (sin.f64 phi1) (.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)) (cbrt.f64 (pow.f64 (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)) (fma.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) (fma.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (cos.f64 delta)) (pow.f64 (cos.f64 delta) 2))) 3))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 theta)) (cbrt.f64 (sin.f64 theta))) (.f64 (sin.f64 delta) (cbrt.f64 (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.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 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 2)) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.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 (cos.f64 delta) (expm1.f64 (log1p.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.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 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))

Compiler

Compiled 3338 to 926 computations (72.3% saved)

localize32.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (sin.f64 delta) (.f64 (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 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))
0.4b	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))
0.6b	(-.f64 (cos.f64 delta) (expm1.f64 (log1p.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))

rewrite289.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

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

Counts

4 → 83

Calls

4 calls:

5.0ms	(.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))
4.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))
4.0ms	(-.f64 (cos.f64 delta) (expm1.f64 (log1p.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))
2.0ms	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))

Compiler

Compiled 4555 to 665 computations (85.4% saved)

series264.0ms (1.1%)

Error

0.1b

Counts

4 → 46

Calls

4 calls:

117.0ms	(-.f64 (cos.f64 delta) (expm1.f64 (log1p.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))
45.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))
43.0ms	(.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))
20.0ms	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))

Compiler

Compiled 4227 to 2365 computations (44.1% saved)

simplify191.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

596×	`fma-neg_binary64`
542×	`fma-def_binary64`
471×	`*-commutative_binary64`
432×	`distribute-rgt-neg-in_binary64`
316×	`sub-neg_binary64`

Counts

129 → 72

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	219	4801
1	491	4260
2	1448	3843
3	3418	3841
4	4847	3810
5	4964	3810
6	4880	3810

prune93.0ms (0.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	70	2	72
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	70	10	80

Error

0.1b

Counts

80 → 10

Alt Table

Status	Error	Program
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 theta)) (cbrt.f64 (sin.f64 theta))) (.f64 (sin.f64 delta) (cbrt.f64 (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)))))))))
	26.5b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (+.f64 (sqrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))) (sqrt.f64 (cos.f64 delta))) (-.f64 (sqrt.f64 (cos.f64 delta)) (sqrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta))) (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (cbrt.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.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 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)) (fma.f64 (cos.f64 delta) (cos.f64 delta) (.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (fma.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) (cos.f64 delta))))))))
	19.0b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (sqrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.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 (cos.f64 delta) (sin.f64 phi1) (.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)) (cbrt.f64 (pow.f64 (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)) (fma.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) (fma.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (cos.f64 delta)) (pow.f64 (cos.f64 delta) 2))) 3))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (pow.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 6)) (fma.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (cos.f64 delta)))))
	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 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 2)) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.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 (cos.f64 delta) (expm1.f64 (log1p.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.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 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))

Compiler

Compiled 2887 to 863 computations (70.1% saved)

localize43.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))
0.4b	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))
0.4b	(-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3))
0.5b	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)

rewrite820.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

96×	`prod-diff_binary64`
55×	`add-sqr-sqrt_binary64`
47×	`*-un-lft-identity_binary64`
45×	`add-cube-cbrt_binary64`
43×	`cube-prod_binary64`

Counts

4 → 184

Calls

4 calls:

11.0ms	(-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3))
4.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)
1.0ms	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))
1.0ms	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))

Compiler

Compiled 20249 to 2678 computations (86.8% saved)

series273.0ms (1.1%)

Error

0.1b

Counts

4 → 41

Calls

4 calls:

110.0ms	(-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3))
81.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)
26.0ms	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))
25.0ms	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))

Compiler

Compiled 7481 to 2635 computations (64.8% saved)

simplify325.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

664×	`fma-neg_binary64`
483×	`cancel-sign-sub-inv_binary64`
429×	`exp-prod_binary64`
346×	`unswap-sqr_binary64`
259×	`cube-prod_binary64`

Counts

225 → 153

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	239	15880
1	396	12336
2	1533	8892
3	3953	8892
4	4798	8892

prune106.0ms (0.4%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	152	1	153
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	152	11	163

Error

0.1b

Counts

163 → 11

Alt Table

Status	Error	Program
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 theta)) (cbrt.f64 (sin.f64 theta))) (.f64 (sin.f64 delta) (cbrt.f64 (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)))))))))
	26.5b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (+.f64 (sqrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))) (sqrt.f64 (cos.f64 delta))) (-.f64 (sqrt.f64 (cos.f64 delta)) (sqrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta))) (cbrt.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (cbrt.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.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 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)) (fma.f64 (cos.f64 delta) (cos.f64 delta) (.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (fma.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) (cos.f64 delta))))))))
	19.0b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (sqrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.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 (cos.f64 delta) (sin.f64 phi1) (.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)) (cbrt.f64 (pow.f64 (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)) (fma.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) (fma.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (cos.f64 delta)) (pow.f64 (cos.f64 delta) 2))) 3))))
	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) (cbrt.f64 (pow.f64 (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3) 3))) (fma.f64 (cos.f64 delta) (cos.f64 delta) (.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (fma.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) (cos.f64 delta))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (pow.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 6)) (fma.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (cos.f64 delta)))))
	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 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 2)) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.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 (cos.f64 delta) (expm1.f64 (log1p.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.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 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))

Compiler

Compiled 2856 to 604 computations (78.9% saved)

regimes2.4s (9.8%)

Accuracy

Total 0.1b remaining (56.4%)

Threshold costs 0.1b (56.4%)

Compiler

Compiled 81149 to 37744 computations (53.5% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	58
1	41	58
2	50	58
3	56	58
4	60	58
5	61	58
6	60	58

end1.0ms (0%)

Compiler: Compiled 40 to 25 computations (37.5% saved)

sample10.9s (45.4%)

Algorithm

1×

intervals

Results

7.1s	3942×	body	1024	valid
1.6s	1332×	body	512	valid
668.0ms	536×	body	256	valid
594.0ms	2182×	body	128	valid
43.0ms	8×	body	2048	valid

Compiler

Compiled 774 to 356 computations (54% 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.3s (26.3%)

sample322.0ms (1.3%)

simplify80.0ms (0.3%)

prune7.0ms (0%)

localize35.0ms (0.1%)

rewrite198.0ms (0.8%)

series165.0ms (0.7%)

simplify178.0ms (0.7%)

prune118.0ms (0.5%)

localize31.0ms (0.1%)

rewrite235.0ms (1%)

series320.0ms (1.3%)

simplify180.0ms (0.8%)

prune120.0ms (0.5%)

localize32.0ms (0.1%)

rewrite289.0ms (1.2%)

series264.0ms (1.1%)

simplify191.0ms (0.8%)

prune93.0ms (0.4%)

localize43.0ms (0.2%)

rewrite820.0ms (3.4%)

series273.0ms (1.1%)

simplify325.0ms (1.4%)

prune106.0ms (0.4%)

regimes2.4s (9.8%)

simplify5.0ms (0%)

end1.0ms (0%)

sample10.9s (45.4%)

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