Details

analyze5.3s (21.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
1.2%	98.6%	0.2%	11
1.4%	98.4%	0.2%	12
10.8%	88.9%	0.2%	13
10.8%	88.9%	0.2%	14

Compiler

Compiled 39 to 24 computations (38.5% saved)

sample317.0ms (1.3%)

Algorithm

1×

intervals

Results

224.0ms	125×	body	1024	valid
50.0ms	53×	body	512	valid
16.0ms	59×	body	128	valid
11.0ms	19×	body	256	valid

Compiler

Compiled 82 to 52 computations (36.6% saved)

simplify60.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 → 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

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	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 (+.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 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))

Compiler

Compiled 113 to 68 computations (39.8% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite749.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

26×	`add-cube-cbrt_binary64`
23×	`pow1_binary64`
22×	`add-sqr-sqrt_binary64`
14×	`add-cbrt-cube_binary64`
12×	`add-exp-log_binary64`

Counts

4 → 147

Calls

4 calls:

20.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)))))))
17.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))))))
12.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
8.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))))))))

Compiler

Compiled 6492 to 695 computations (89.3% saved)

series187.0ms (0.8%)

Error

0.2b

Counts

4 → 44

Calls

4 calls:

66.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)))))))
60.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))))))
26.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))))))))
24.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 3722 to 1999 computations (46.3% saved)

simplify222.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

534×	`fma-def_binary64`
414×	`unswap-sqr_binary64`
385×	`cancel-sign-sub-inv_binary64`
278×	`sub-neg_binary64`
261×	`*-commutative_binary64`

Counts

191 → 132

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	217	7160
1	481	6808
2	1350	6687
3	3508	6678
4	4895	6678

prune427.0ms (1.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	123	9	132
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	123	10	133

Error

0.1b

Counts

133 → 10

Alt Table

Status	Error	Program
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (log.f64 (+.f64 1 (expm1.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)))))))))))))
	4.2b	(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))) 3)))
	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 (log1p.f64 (expm1.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	28.0b	(+.f64 lambda1 (exp.f64 (log.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	0.3b	(+.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 (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))))))))))))
	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 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 3))))
✓	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)))))))))
	0.5b	(+.f64 lambda1 (.f64 (.f64 (cbrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (cbrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))) (cbrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (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 (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 1 (/.f64 (+.f64 (pow.f64 (.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))))))) 2) (.f64 (cos.f64 delta) (fma.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)))))) (cos.f64 delta)))) (-.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 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3))))))

Compiler

Compiled 5218 to 1067 computations (79.6% saved)

localize34.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite455.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

31×	`add-cube-cbrt_binary64`
23×	`pow1_binary64`
22×	`add-sqr-sqrt_binary64`
14×	`add-cbrt-cube_binary64`
12×	`add-exp-log_binary64`

Counts

4 → 149

Calls

4 calls:

15.0ms	(.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)))))))
15.0ms	(-.f64 (cos.f64 delta) (expm1.f64 (log1p.f64 (.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))))))))))
13.0ms	(asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))
12.0ms	(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 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))))))

Compiler

Compiled 7965 to 821 computations (89.7% saved)

series389.0ms (1.6%)

Error

0.1b

Counts

4 → 44

Calls

4 calls:

151.0ms	(-.f64 (cos.f64 delta) (expm1.f64 (log1p.f64 (.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))))))))))
105.0ms	(asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))
52.0ms	(.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)))))))
27.0ms	(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 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))))))

Compiler

Compiled 4070 to 2195 computations (46.1% saved)

simplify245.0ms (1%)

Algorithm

1×	egg-herbie

Rules

615×	`fma-def_binary64`
510×	`fma-neg_binary64`
410×	`cancel-sign-sub-inv_binary64`
349×	`distribute-rgt-in_binary64`
294×	`distribute-lft-in_binary64`

Counts

193 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	235	7348
1	489	6988
2	1484	6819
3	4322	6813
4	4986	6813

prune165.0ms (0.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	92	10	102

Error

0.1b

Counts

102 → 10

Alt Table

Status	Error	Program
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (log.f64 (+.f64 1 (expm1.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)))))))))))))
	4.2b	(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))) 3)))
▶	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 (log1p.f64 (expm1.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	28.0b	(+.f64 lambda1 (exp.f64 (log.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	0.3b	(+.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 (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))))))))))))
	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 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 3))))
✓	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)))))))))
	0.5b	(+.f64 lambda1 (.f64 (.f64 (cbrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (cbrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))) (cbrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (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 (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 1 (/.f64 (+.f64 (pow.f64 (.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))))))) 2) (.f64 (cos.f64 delta) (fma.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)))))) (cos.f64 delta)))) (-.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 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3))))))

Compiler

Compiled 4321 to 933 computations (78.4% saved)

localize33.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(expm1.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))
0.3b	(.f64 (sin.f64 phi1) (sin.f64 (log1p.f64 (expm1.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))))
0.4b	(asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))
0.6b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (log1p.f64 (expm1.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))

rewrite506.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

26×	`add-cube-cbrt_binary64`
23×	`pow1_binary64`
22×	`add-sqr-sqrt_binary64`
14×	`add-cbrt-cube_binary64`
13×	`log1p-expm1-u_binary64`

Counts

4 → 151

Calls

4 calls:

16.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (log1p.f64 (expm1.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))
16.0ms	(.f64 (sin.f64 phi1) (sin.f64 (log1p.f64 (expm1.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))))
12.0ms	(asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))
10.0ms	(expm1.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))

Compiler

Compiled 6621 to 869 computations (86.9% saved)

series281.0ms (1.1%)

Error

0.1b

Counts

4 → 44

Calls

4 calls:

100.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (log1p.f64 (expm1.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))
96.0ms	(.f64 (sin.f64 phi1) (sin.f64 (log1p.f64 (expm1.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))))
28.0ms	(expm1.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))
21.0ms	(asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))

Compiler

Compiled 3897 to 2124 computations (45.5% saved)

simplify325.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

548×	`fma-def_binary64`
540×	`prod-exp_binary64`
380×	`cancel-sign-sub-inv_binary64`
293×	`sub-neg_binary64`
276×	`*-commutative_binary64`

Counts

195 → 106

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	218	6530
1	495	6152
2	1427	6042
3	3721	6033
4	4637	6033
5	5415	6033

prune183.0ms (0.7%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	106	10	116

Error

0.1b

Counts

116 → 10

Alt Table

Status	Error	Program
▶	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (log.f64 (+.f64 1 (expm1.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)))))))))))))
	4.2b	(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))) 3)))
✓	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 (log1p.f64 (expm1.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	28.0b	(+.f64 lambda1 (exp.f64 (log.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	0.3b	(+.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 (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))))))))))))
	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 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 3))))
✓	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)))))))))
	0.5b	(+.f64 lambda1 (.f64 (.f64 (cbrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (cbrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))) (cbrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (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 (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 1 (/.f64 (+.f64 (pow.f64 (.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))))))) 2) (.f64 (cos.f64 delta) (fma.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)))))) (cos.f64 delta)))) (-.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 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3))))))

Compiler

Compiled 4403 to 988 computations (77.6% saved)

localize33.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))
0.4b	(expm1.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.6b	(-.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))))))))
1.1b	(log.f64 (+.f64 1 (expm1.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)))))))))))

rewrite870.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

30×	`add-cube-cbrt_binary64`
19×	`pow1_binary64`
18×	`add-sqr-sqrt_binary64`
13×	`log1p-expm1-u_binary64`
12×	`add-cbrt-cube_binary64`

Counts

4 → 150

Calls

4 calls:

20.0ms	(-.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))))))))
12.0ms	(asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))
12.0ms	(log.f64 (+.f64 1 (expm1.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)))))))))))
10.0ms	(expm1.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)))))))))

Compiler

Compiled 8235 to 1371 computations (83.4% saved)

series416.0ms (1.7%)

Error

0.1b

Counts

4 → 54

Calls

4 calls:

159.0ms	(log.f64 (+.f64 1 (expm1.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)))))))))))
77.0ms	(expm1.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)))))))))
67.0ms	(-.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))))))))
24.0ms	(asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))

Compiler

Compiled 5361 to 2766 computations (48.4% saved)

simplify358.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

662×	`fma-neg_binary64`
460×	`cancel-sign-sub-inv_binary64`
322×	`distribute-rgt-in_binary64`
317×	`times-frac_binary64`
229×	`distribute-lft-in_binary64`

Counts

204 → 90

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	273	9589
1	671	8970
2	2002	8469
3	4311	8457
4	5225	8457

prune261.0ms (1.1%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	89	1	90
Fresh	0	6	6
Picked	1	0	1
Done	0	3	3
Total	90	10	100

Error

0.1b

Counts

100 → 10

Alt Table

Status	Error	Program
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (log1p.f64 (expm1.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	28.0b	(+.f64 lambda1 (exp.f64 (log.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	0.3b	(+.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 (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))))))))))))
	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 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 3))))
	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)))))))))
	0.5b	(+.f64 lambda1 (.f64 (.f64 (cbrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))))))) (cbrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))))))) (cbrt.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))))))
	4.2b	(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))))) 3)))
	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 (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 1 (/.f64 (expm1.f64 (.f64 2 (-.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)))))))))) (+.f64 1 (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)) (/.f64 1 (/.f64 (+.f64 (pow.f64 (.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))))))) 2) (.f64 (cos.f64 delta) (fma.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)))))) (cos.f64 delta)))) (-.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 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3))))))

Compiler

Compiled 4858 to 1018 computations (79% saved)

regimes2.2s (8.8%)

Accuracy

Total 0.1b remaining (51.1%)

Threshold costs 0.1b (51.1%)

Compiler

Compiled 66568 to 33185 computations (50.1% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
4×	`+-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	25	59
1	35	59
2	40	59
3	42	59
4	43	59
5	43	59

end1.0ms (0%)

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

sample10.5s (43%)

Algorithm

1×

intervals

Results

7.0s	3928×	body	1024	valid
1.4s	1371×	body	512	valid
993.0ms	2202×	body	128	valid
307.0ms	484×	body	256	valid
62.0ms	15×	body	2048	valid

Compiler

Compiled 661 to 315 computations (52.3% 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.3s (21.5%)

sample317.0ms (1.3%)

simplify60.0ms (0.2%)

prune4.0ms (0%)

localize26.0ms (0.1%)

rewrite749.0ms (3.1%)

series187.0ms (0.8%)

simplify222.0ms (0.9%)

prune427.0ms (1.7%)

localize34.0ms (0.1%)

rewrite455.0ms (1.9%)

series389.0ms (1.6%)

simplify245.0ms (1%)

prune165.0ms (0.7%)

localize33.0ms (0.1%)

rewrite506.0ms (2.1%)

series281.0ms (1.1%)

simplify325.0ms (1.3%)

prune183.0ms (0.7%)

localize33.0ms (0.1%)

rewrite870.0ms (3.5%)

series416.0ms (1.7%)

simplify358.0ms (1.5%)

prune261.0ms (1.1%)

regimes2.2s (8.8%)

simplify5.0ms (0%)

end1.0ms (0%)

sample10.5s (43%)

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