Details

analyze5.0s (18.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0.8%	99%	0.2%	11
1.2%	98.6%	0.2%	12
9.9%	89.8%	0.2%	13
9.9%	89.8%	0.2%	14

Compiler

Compiled 39 to 24 computations (38.5% saved)

sample11.7s (42.2%)

Results

8.3s	4009×	body	1024	valid
1.9s	1425×	body	512	valid
861.0ms	2287×	body	128	valid
398.0ms	515×	body	256	valid
88.0ms	20×	body	2048	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

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

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series142.0ms (0.5%)

Counts

4 → 132

Calls

4 calls:

71.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)))))))
52.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))))))
11.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
8.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

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

simplify218.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

447×	`fma-neg_binary64`
377×	`distribute-rgt-neg-in_binary64`
326×	`distribute-lft-neg-in_binary64`
259×	`associate-r_binary64`
241×	`neg-mul-1_binary64`

Counts

204 → 185

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	262	6113
1	697	5704
2	2228	5493
3	4799	5493
4	4992	5493
5	4927	5493

prune415.0ms (1.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	173	12	185
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	175	12	187

Error

0.0b

Counts

187 → 12

Alt Table

Status	Error	Program
	13.9b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (*.f64 (sin.f64 phi1) delta) (cos.f64 theta))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (.f64 (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))))) (cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (cbrt.f64 (.f64 (.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 (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 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)))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (expm1.f64 (log1p.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
	27.7b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (.f64 (.f64 (cos.f64 phi1) (.f64 theta theta)) 1/2) (.f64 (.f64 (cos.f64 phi1) (pow.f64 theta 6)) 1/720))) (-.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi1)) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (cos.f64 phi1) (.f64 (*.f64 (cos.f64 phi1) (pow.f64 theta 4)) 1/24)))))))
	10.5b	(+.f64 lambda1 (atan2.f64 (.f64 (log.f64 (exp.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.4b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (sin.f64 theta) (.f64 (cbrt.f64 (sin.f64 delta)) (cbrt.f64 (sin.f64 delta)))) (cbrt.f64 (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)) (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 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))) 3))))
	0.4b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 theta)) (cbrt.f64 (sin.f64 theta))) (.f64 (cbrt.f64 (sin.f64 theta)) (sin.f64 delta))) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
	30.6b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sqrt.f64 (.f64 (sin.f64 theta) (sin.f64 delta))) (sqrt.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 9192 to 2107 computations (77.1% saved)

localize32.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.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.4b	(.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)))))))
	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	(-.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))))))))

series1.5s (5.4%)

Counts

3 → 108

Calls

3 calls:

1.0s

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

331.0ms

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

114.0ms

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

rewrite48.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`pow1_binary64`
17×	`pow-prod-down_binary64`
17×	`add-cbrt-cube_binary64`
17×	`add-exp-log_binary64`
16×	`sin-mult_binary64`

Counts

3 → 105

Calls

3 calls:

10.0ms

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

9.0ms

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

7.0ms

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

simplify317.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

550×	`fma-def_binary64`
508×	`associate-/l*_binary64`
466×	`times-frac_binary64`
237×	`*-commutative_binary64`
157×	`+-commutative_binary64`

Counts

213 → 233

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	688	23218
1	2300	22015
2	5463	22015

prune1.3s (4.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	290	3	293
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	292	13	305

Error

0.0b

Counts

305 → 13

Alt Table

Status	Error	Program
▶	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (fma.f64 (cos.f64 delta) (cos.f64 delta) (neg.f64 (.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))))))))))
	10.5b	(+.f64 lambda1 (atan2.f64 (.f64 (log.f64 (exp.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)) (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 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))) 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) 2) (+.f64 (.f64 (pow.f64 (sin.f64 delta) 2) (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (pow.f64 (cos.f64 phi1) 2) (pow.f64 (cos.f64 theta) 2)))) (+.f64 (.f64 2 (.f64 (sin.f64 delta) (.f64 (pow.f64 (sin.f64 phi1) 3) (.f64 (cos.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (.f64 (pow.f64 (sin.f64 phi1) 4) (pow.f64 (cos.f64 delta) 2))))) (+.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 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (cbrt.f64 (.f64 (.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 (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 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)))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (expm1.f64 (log1p.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
	27.7b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (.f64 (.f64 (cos.f64 phi1) (.f64 theta theta)) 1/2) (.f64 (.f64 (cos.f64 phi1) (pow.f64 theta 6)) 1/720))) (-.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi1)) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (cos.f64 phi1) (.f64 (*.f64 (cos.f64 phi1) (pow.f64 theta 4)) 1/24)))))))
	0.4b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (sin.f64 theta) (.f64 (cbrt.f64 (sin.f64 delta)) (cbrt.f64 (sin.f64 delta)))) (cbrt.f64 (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)))))))))
	13.9b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (*.f64 (sin.f64 phi1) delta) (cos.f64 theta))))))
	0.4b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 theta)) (cbrt.f64 (sin.f64 theta))) (.f64 (cbrt.f64 (sin.f64 theta)) (sin.f64 delta))) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
	30.6b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sqrt.f64 (.f64 (sin.f64 theta) (sin.f64 delta))) (sqrt.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 (fma.f64 (cos.f64 delta) (cos.f64 delta) (.f64 (pow.f64 (sin.f64 phi1) 2) (neg.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))))) (+.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 36819 to 8078 computations (78.1% saved)

localize32.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series1.7s (6.3%)

Counts

2 → 72

Calls

2 calls:

1.4s

(/.f64 (fma.f64 (cos.f64 delta) (cos.f64 delta) (neg.f64 (*.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))))))))

336.0ms

(fma.f64 (cos.f64 delta) (cos.f64 delta) (neg.f64 (*.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)))))))))

rewrite12.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64`
10×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
9×	`times-frac_binary64`
4×	`add-cbrt-cube_binary64`

Counts

2 → 41

Calls

2 calls:

5.0ms

(/.f64 (fma.f64 (cos.f64 delta) (cos.f64 delta) (neg.f64 (*.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.0ms

(fma.f64 (cos.f64 delta) (cos.f64 delta) (neg.f64 (*.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)))))))))

simplify254.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

466×	`associate-/l*_binary64`
457×	`times-frac_binary64`
437×	`fma-def_binary64`
287×	`associate-/r*_binary64`
211×	`*-commutative_binary64`

Counts

113 → 122

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	565	17182
1	1922	16390
2	5027	16390

prune1.3s (4.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	245	2	247
Fresh	3	9	12
Picked	1	0	1
Done	0	0	0
Total	249	11	260

Error

0.0b

Counts

260 → 11

Alt Table

Status	Error	Program
	13.9b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (*.f64 (sin.f64 phi1) delta) (cos.f64 theta))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (fma.f64 (cos.f64 delta) (cos.f64 delta) (neg.f64 (expm1.f64 (log1p.f64 (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))))))) (+.f64 (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 (fma.f64 (cos.f64 delta) (cos.f64 delta) (neg.f64 (.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 (cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3))))))) (+.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)) (expm1.f64 (log1p.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
	27.7b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (.f64 (.f64 (cos.f64 phi1) (.f64 theta theta)) 1/2) (.f64 (.f64 (cos.f64 phi1) (pow.f64 theta 6)) 1/720))) (-.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi1)) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (cos.f64 phi1) (.f64 (*.f64 (cos.f64 phi1) (pow.f64 theta 4)) 1/24)))))))
	10.5b	(+.f64 lambda1 (atan2.f64 (.f64 (log.f64 (exp.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.4b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (sin.f64 theta) (.f64 (cbrt.f64 (sin.f64 delta)) (cbrt.f64 (sin.f64 delta)))) (cbrt.f64 (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)) (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 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))) 3))))
	0.4b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 theta)) (cbrt.f64 (sin.f64 theta))) (.f64 (cbrt.f64 (sin.f64 theta)) (sin.f64 delta))) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
	0.3b	(+.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)))))))))))
	30.6b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sqrt.f64 (.f64 (sin.f64 theta) (sin.f64 delta))) (sqrt.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 31345 to 7651 computations (75.6% saved)

localize45.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))
✓	0.6b	(pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3)
✓	0.7b	(fma.f64 (cos.f64 delta) (cos.f64 delta) (neg.f64 (.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 (cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3)))))))
✓	7.9b	(cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3))

series399.0ms (1.4%)

Counts

4 → 144

Calls

4 calls:

299.0ms	(fma.f64 (cos.f64 delta) (cos.f64 delta) (neg.f64 (.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 (cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3)))))))
53.0ms	(pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3)
39.0ms	(cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3))
7.0ms	(asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))

rewrite9.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 68

Calls

4 calls:

2.0ms	(cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3))
2.0ms	(pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3)
0.0ms	(asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))
0.0ms	(fma.f64 (cos.f64 delta) (cos.f64 delta) (neg.f64 (.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 (cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3)))))))

simplify214.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

811×	`cancel-sign-sub-inv_binary64`
504×	`unswap-sqr_binary64`
341×	`associate-r_binary64`
300×	`fma-neg_binary64`
254×	`associate-l_binary64`

Counts

212 → 117

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	223	8521
1	591	8035
2	2279	8019
3	4712	8019
4	4965	8019

prune423.0ms (1.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	117	11	128

Error

0.0b

Counts

128 → 11

Alt Table

Status	Error	Program
	13.9b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (*.f64 (sin.f64 phi1) delta) (cos.f64 theta))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (fma.f64 (cos.f64 delta) (cos.f64 delta) (neg.f64 (expm1.f64 (log1p.f64 (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))))))) (+.f64 (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 (fma.f64 (cos.f64 delta) (cos.f64 delta) (neg.f64 (.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 (cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))) 3))))))) (+.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)) (expm1.f64 (log1p.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta)))))))))))
	27.7b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (.f64 (.f64 (cos.f64 phi1) (.f64 theta theta)) 1/2) (.f64 (.f64 (cos.f64 phi1) (pow.f64 theta 6)) 1/720))) (-.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi1)) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 delta)) (+.f64 (cos.f64 phi1) (.f64 (*.f64 (cos.f64 phi1) (pow.f64 theta 4)) 1/24)))))))
	10.5b	(+.f64 lambda1 (atan2.f64 (.f64 (log.f64 (exp.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.4b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (sin.f64 theta) (.f64 (cbrt.f64 (sin.f64 delta)) (cbrt.f64 (sin.f64 delta)))) (cbrt.f64 (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)) (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 (*.f64 (cos.f64 phi1) (cos.f64 theta)) (sin.f64 delta))))))) 3))))
	0.4b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 theta)) (cbrt.f64 (sin.f64 theta))) (.f64 (cbrt.f64 (sin.f64 theta)) (sin.f64 delta))) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
	0.3b	(+.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)))))))))))
	30.6b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sqrt.f64 (.f64 (sin.f64 theta) (sin.f64 delta))) (sqrt.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 11481 to 2469 computations (78.5% saved)

regimes2.1s (7.6%)

Accuracy

Total 0.1b remaining (73.6%)

Threshold costs 0.1b (73.6%)

Counts

169 → 1

Compiler

Compiled 72623 to 34356 computations (52.7% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary64`
10×	`+-commutative_binary64`
6×	`distribute-lft-neg-in_binary64`
6×	`distribute-rgt-neg-in_binary64`
6×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	133
1	55	133
2	74	133
3	85	133
4	93	133
5	96	133
6	96	133

end314.0ms (1.1%)

Compiler: Compiled 732 to 371 computations (49.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.0s (18.3%)

sample11.7s (42.2%)

simplify51.0ms (0.2%)

prune5.0ms (0%)

localize28.0ms (0.1%)

series142.0ms (0.5%)

rewrite17.0ms (0.1%)

simplify218.0ms (0.8%)

prune415.0ms (1.5%)

localize32.0ms (0.1%)

series1.5s (5.4%)

rewrite48.0ms (0.2%)

simplify317.0ms (1.1%)

prune1.3s (4.7%)

localize32.0ms (0.1%)

series1.7s (6.3%)

rewrite12.0ms (0%)

simplify254.0ms (0.9%)

prune1.3s (4.7%)

localize45.0ms (0.2%)

series399.0ms (1.4%)

rewrite9.0ms (0%)

simplify214.0ms (0.8%)

prune423.0ms (1.5%)

regimes2.1s (7.6%)

simplify7.0ms (0%)

end314.0ms (1.1%)

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