Details

analyze4.8s (18.9%)

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

Results

8.2s	4068×	body	1024	valid
1.7s	1364×	body	512	valid
877.0ms	2270×	body	128	valid
408.0ms	546×	body	256	valid
36.0ms	8×	body	2048	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify56.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

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))

Status

Error

Program

▶

0.1b

(+.f64 lambda1 (atan2.f64 (*.f64 (*.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))

Compiler

Compiled 144 to 76 computations (47.2% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series164.0ms (0.6%)

Counts

4 → 144

Calls

4 calls:

89.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))))))
57.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)))))))
10.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 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))
8.0ms	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))

rewrite103.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

586×	`prod-diff_binary64`
221×	`add-sqr-sqrt_binary64`
206×	`log1p-expm1-u_binary64`
206×	`expm1-log1p-u_binary64`
203×	`add-log-exp_binary64`

Counts

4 → 115

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	126
1	412	126
2	4903	126
3	6218	126

simplify137.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

727×	`fma-def_binary64`
688×	`cancel-sign-sub-inv_binary64`
626×	`associate-r_binary64`
593×	`associate-l_binary64`
284×	`fma-neg_binary64`

Counts

259 → 167

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	115	4912
1	372	4802
2	1222	4711
3	4505	4711
4	4973	4711

prune319.0ms (1.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	157	10	167
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	158	10	168

Error

0.0b

Counts

168 → 10

Alt Table

Status	Error	Program
	12.6b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (sin.f64 phi1) (*.f64 delta (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) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))
▶	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (fma.f64 (neg.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) (sin.f64 phi1) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))
	6.4b	(+.f64 lambda1 (expm1.f64 (log1p.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (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 (-.f64 (/.f64 (PI.f64) 2) (acos.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (fma.f64 (pow.f64 (cbrt.f64 (cos.f64 delta)) 2) (cbrt.f64 (cos.f64 delta)) (neg.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))
	8.5b	(+.f64 lambda1 (log.f64 (exp.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))
	28.7b	(+.f64 lambda1 (pow.f64 (sqrt.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))) 2))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 1 (/.f64 (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2))))))
	28.9b	(+.f64 lambda1 (exp.f64 (log.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))

Compiler

Compiled 9273 to 2004 computations (78.4% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (fma.f64 (neg.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) (sin.f64 phi1) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))
✓	0.3b	(.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))
✓	0.4b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))
✓	53.6b	(fma.f64 (neg.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) (sin.f64 phi1) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))

series385.0ms (1.5%)

Counts

4 → 144

Calls

4 calls:

263.0ms	(fma.f64 (neg.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) (sin.f64 phi1) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))
55.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))
47.0ms	(.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))
19.0ms	(atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (fma.f64 (neg.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) (sin.f64 phi1) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))

rewrite96.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

243×	`add-sqr-sqrt_binary64`
227×	`log1p-expm1-u_binary64`
227×	`expm1-log1p-u_binary64`
222×	`add-cbrt-cube_binary64`
222×	`add-exp-log_binary64`

Counts

4 → 96

Calls

4 calls:

91.0ms	(atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (fma.f64 (neg.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) (sin.f64 phi1) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))
91.0ms	(.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))
91.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))
91.0ms	(fma.f64 (neg.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) (sin.f64 phi1) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	213
1	458	157
2	4700	157
3	4949	157

simplify152.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

766×	`fma-def_binary64`
722×	`cancel-sign-sub-inv_binary64`
628×	`associate-r_binary64`
601×	`associate-l_binary64`
285×	`fma-neg_binary64`

Counts

240 → 147

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	118	6136
1	382	5918
2	1266	4855
3	4640	3919
4	5063	3919

prune526.0ms (2.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	183	1	184
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	185	9	194

Error

0.0b

Counts

194 → 9

Alt Table

Status	Error	Program
	6.4b	(+.f64 lambda1 (expm1.f64 (log1p.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (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 (-.f64 (/.f64 (PI.f64) 2) (acos.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (fma.f64 (pow.f64 (cbrt.f64 (cos.f64 delta)) 2) (cbrt.f64 (cos.f64 delta)) (neg.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))
	8.5b	(+.f64 lambda1 (log.f64 (exp.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))
	28.7b	(+.f64 lambda1 (pow.f64 (sqrt.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))) 2))
	12.6b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (sin.f64 phi1) (*.f64 delta (cos.f64 theta)))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (log.f64 (exp.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))) (fma.f64 (neg.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) (sin.f64 phi1) (.f64 (sin.f64 phi1) (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 1 (/.f64 (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2))))))
	28.9b	(+.f64 lambda1 (exp.f64 (log.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))

Compiler

Compiled 15864 to 2051 computations (87.1% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2)))
	0.3b	(.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))
✓	0.3b	(-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2))
✓	0.4b	(pow.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2)

series1.4s (5.5%)

Counts

3 → 108

Calls

3 calls:

1.2s

(/.f64 (+.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (*.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2)))

117.0ms

(-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (*.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2))

77.0ms

(pow.f64 (*.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2)

rewrite89.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

545×	`prod-diff_binary64`
209×	`add-sqr-sqrt_binary64`
202×	`log1p-expm1-u_binary64`
202×	`expm1-log1p-u_binary64`
195×	`add-cube-cbrt_binary64`

Counts

3 → 84

Calls

3 calls:

85.0ms

(/.f64 (+.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (*.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2)))

85.0ms

(-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (*.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2))

85.0ms

(pow.f64 (*.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2)

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	136
1	415	100
2	4700	100
3	5818	100

simplify228.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

664×	`times-frac_binary64`
476×	`fma-def_binary64`
441×	`associate-/l*_binary64`
265×	`*-commutative_binary64`
177×	`associate-r_binary64`

Counts

192 → 157

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	623	17235
1	2137	17217
2	5058	17217

prune912.0ms (3.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	228	3	231
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	229	11	240

Error

0.0b

Counts

240 → 11

Alt Table

Status	Error	Program
	8.5b	(+.f64 lambda1 (log.f64 (exp.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (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 1 (cbrt.f64 (pow.f64 (/.f64 1 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) 3)))))
	6.4b	(+.f64 lambda1 (expm1.f64 (log1p.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (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 (-.f64 (/.f64 (PI.f64) 2) (acos.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))))
	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 1 (/.f64 (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (log1p.f64 (expm1.f64 (-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (fma.f64 (pow.f64 (cbrt.f64 (cos.f64 delta)) 2) (cbrt.f64 (cos.f64 delta)) (neg.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))
	28.7b	(+.f64 lambda1 (pow.f64 (sqrt.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))) 2))
	12.6b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (sin.f64 phi1) (*.f64 delta (cos.f64 theta)))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (log.f64 (exp.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))) (fma.f64 (neg.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) (sin.f64 phi1) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))
▶	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 1 (.f64 (fma.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))) (cos.f64 delta)) (/.f64 1 (-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2)))))))
	28.9b	(+.f64 lambda1 (exp.f64 (log.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))

Compiler

Compiled 28976 to 12073 computations (58.3% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (fma.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))) (cos.f64 delta)) (/.f64 1 (-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2))))
	0.3b	(.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))
	0.3b	(-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2))
	0.4b	(pow.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2)

series1.2s (4.8%)

Counts

1 → 36

Calls

1 calls:

1.2s

(*.f64 (fma.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))) (cos.f64 delta)) (/.f64 1 (-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (*.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2))))

rewrite67.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

420×	`prod-diff_binary64`
217×	`add-sqr-sqrt_binary64`
207×	`log1p-expm1-u_binary64`
207×	`expm1-log1p-u_binary64`
202×	`add-cbrt-cube_binary64`

Counts

1 → 20

Calls

1 calls:

66.0ms

(*.f64 (fma.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))) (cos.f64 delta)) (/.f64 1 (-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (*.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	68
1	442	68
2	4670	68
3	5550	68

simplify167.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

662×	`times-frac_binary64`
439×	`associate-/l*_binary64`
360×	`associate-/r*_binary64`
276×	`fma-def_binary64`
221×	`*-commutative_binary64`

Counts

56 → 44

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	521	12501
1	1747	12495
2	5007	12495

prune773.0ms (3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	186	0	186
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	186	11	197

Error

0.0b

Counts

197 → 11

Alt Table

Status	Error	Program
	8.5b	(+.f64 lambda1 (log.f64 (exp.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (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 1 (cbrt.f64 (pow.f64 (/.f64 1 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) 3)))))
	6.4b	(+.f64 lambda1 (expm1.f64 (log1p.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (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 (-.f64 (/.f64 (PI.f64) 2) (acos.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))))
	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 1 (/.f64 (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (log1p.f64 (expm1.f64 (-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2))))))))
	0.3b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (fma.f64 (pow.f64 (cbrt.f64 (cos.f64 delta)) 2) (cbrt.f64 (cos.f64 delta)) (neg.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))
	28.7b	(+.f64 lambda1 (pow.f64 (sqrt.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))) 2))
	12.6b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (cos.f64 phi1) (-.f64 (cos.f64 phi1) (.f64 (sin.f64 phi1) (*.f64 delta (cos.f64 theta)))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (log.f64 (exp.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))) (fma.f64 (neg.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) (sin.f64 phi1) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))
✓	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 1 (.f64 (fma.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))) (cos.f64 delta)) (/.f64 1 (-.f64 (pow.f64 (cos.f64 delta) 2) (pow.f64 (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))) 2)))))))
	28.9b	(+.f64 lambda1 (exp.f64 (log.f64 (atan2.f64 (.f64 (cos.f64 phi1) (.f64 (sin.f64 delta) (sin.f64 theta))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))

Compiler

Compiled 25956 to 11391 computations (56.1% saved)

regimes1.9s (7.5%)

Accuracy

Total 0.1b remaining (60.3%)

Threshold costs 0.1b (60.3%)

Counts

186 → 1

Compiler

Compiled 65910 to 36106 computations (45.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`*-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	20	49
1	31	49
2	41	49
3	47	49
4	51	49
5	52	49
6	52	49

end258.0ms (1%)

Compiler: Compiled 569 to 309 computations (45.7% 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

analyze4.8s (18.9%)

sample11.7s (45.5%)

simplify56.0ms (0.2%)

prune4.0ms (0%)

localize26.0ms (0.1%)

series164.0ms (0.6%)

rewrite103.0ms (0.4%)

simplify137.0ms (0.5%)

prune319.0ms (1.2%)

localize26.0ms (0.1%)

series385.0ms (1.5%)

rewrite96.0ms (0.4%)

simplify152.0ms (0.6%)

prune526.0ms (2.1%)

localize28.0ms (0.1%)

series1.4s (5.5%)

rewrite89.0ms (0.3%)

simplify228.0ms (0.9%)

prune912.0ms (3.6%)

localize28.0ms (0.1%)

series1.2s (4.8%)

rewrite67.0ms (0.3%)

simplify167.0ms (0.7%)

prune773.0ms (3%)

regimes1.9s (7.5%)

simplify3.0ms (0%)

end258.0ms (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