Details

analyze5.5s (21.6%)

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)

sample302.0ms (1.2%)

Algorithm

1×

intervals

Results

208.0ms	124×	body	1024	valid
46.0ms	49×	body	512	valid
19.0ms	60×	body	128	valid
13.0ms	23×	body	256	valid

Compiler

Compiled 82 to 52 computations (36.6% saved)

simplify58.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.1b

Counts

3 → 2

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 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
▶	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 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))

▶

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 220 to 122 computations (44.5% saved)

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

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

series236.0ms (0.9%)

Counts

4 → 132

Calls

4 calls:

108.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)))))))
96.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))))))
27.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
5.0ms	(asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))

simplify217.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

972×	`fma-neg_binary64`
571×	`fma-def_binary64`
388×	`cancel-sign-sub-inv_binary64`
374×	`distribute-rgt-neg-in_binary64`
334×	`distribute-lft-neg-in_binary64`

Counts

204 → 341

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	213	6283
1	501	6022
2	1398	5752
3	3197	5653
4	4863	5653
5	4996	5653

prune391.0ms (1.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	330	11	341
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	332	11	343

Error

0.0b

Counts

343 → 11

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) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (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)) (log.f64 (/.f64 (exp.f64 (cos.f64 delta)) (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (.f64 (cbrt.f64 (-.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)))))))) (cbrt.f64 (-.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))))))))) (cbrt.f64 (-.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)) (cbrt.f64 (pow.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))))) 3))))
	0.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 (cbrt.f64 (pow.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta))))) 3)))))))
	32.0b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (sin.f64 theta) (sqrt.f64 (sin.f64 delta))) (sqrt.f64 (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.3b	(+.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 (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)) (fma.f64 (.f64 (cbrt.f64 (cos.f64 delta)) (cbrt.f64 (cos.f64 delta))) (cbrt.f64 (cos.f64 delta)) (neg.f64 (.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)) (expm1.f64 (log1p.f64 (-.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.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)) (fma.f64 (cos.f64 delta) (cos.f64 delta) (.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (fma.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) (cos.f64 delta))))))))
	27.1b	(+.f64 lambda1 (atan2.f64 (.f64 (exp.f64 (log.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))

Compiler

Compiled 7961 to 1681 computations (78.9% saved)

localize35.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite51.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`pow1_binary64`
23×	`add-sqr-sqrt_binary64`
20×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64`
14×	`add-cbrt-cube_binary64`

Counts

4 → 110

Calls

4 calls:

16.0ms	(cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))
6.0ms	(.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))
4.0ms	(-.f64 (cos.f64 delta) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))
4.0ms	(.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))

series430.0ms (1.7%)

Counts

4 → 144

Calls

4 calls:

128.0ms	(.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))
112.0ms	(-.f64 (cos.f64 delta) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))
101.0ms	(cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))
89.0ms	(.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))

simplify442.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

625×	`fma-neg_binary64`
526×	`unswap-sqr_binary64`
498×	`fma-def_binary64`
343×	`*-commutative_binary64`
297×	`cancel-sign-sub-inv_binary64`

Counts

254 → 420

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	211	10856
1	450	9136
2	1348	8448
3	3271	8335
4	4517	8200
5	4743	8200
6	4908	8200
7	4810	8200

prune706.0ms (2.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	417	3	420
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	420	11	431

Error

0.0b

Counts

431 → 11

Alt Table

Status	Error	Program
	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 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))))
	12.7b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (fma.f64 (.f64 (cbrt.f64 (cos.f64 delta)) (cbrt.f64 (cos.f64 delta))) (cbrt.f64 (cos.f64 delta)) (neg.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))) (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))))) (fma.f64 (neg.f64 (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))) (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))) (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (.f64 (.f64 (cbrt.f64 (-.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)))))))) (cbrt.f64 (-.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))))))))) (cbrt.f64 (-.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)))))))))))
	32.0b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (sin.f64 theta) (sqrt.f64 (sin.f64 delta))) (sqrt.f64 (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.3b	(+.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 (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)) (cbrt.f64 (pow.f64 (-.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))) 3))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (log.f64 (/.f64 (exp.f64 (cos.f64 delta)) (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))))
	18.9b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (exp.f64 (log.f64 (-.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))))))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (fma.f64 (.f64 (cbrt.f64 (cos.f64 delta)) (cbrt.f64 (cos.f64 delta))) (cbrt.f64 (cos.f64 delta)) (neg.f64 (.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.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta))))))) 3)) (fma.f64 (cos.f64 delta) (cos.f64 delta) (.f64 (sin.f64 phi1) (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (fma.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) (cos.f64 delta))))))))
	27.1b	(+.f64 lambda1 (atan2.f64 (.f64 (exp.f64 (log.f64 (.f64 (sin.f64 delta) (sin.f64 theta)))) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))

Compiler

Compiled 17810 to 2154 computations (87.9% saved)

localize31.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (-.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))) 3)
✓	0.5b	(cbrt.f64 (pow.f64 (-.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))) 3))
✓	0.6b	(pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3)
✓	16.1b	(cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64`
21×	`add-sqr-sqrt_binary64`
17×	`cbrt-prod_binary64`
13×	`cube-prod_binary64`
13×	`unpow-prod-down_binary64`

Counts

4 → 97

Calls

4 calls:

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

series554.0ms (2.2%)

Counts

4 → 108

Calls

4 calls:

207.0ms	(pow.f64 (-.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))) 3)
133.0ms	(pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3)
111.0ms	(cbrt.f64 (pow.f64 (-.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))) 3))
102.0ms	(cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))

simplify275.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

667×	`cancel-sign-sub-inv_binary64`
392×	`fma-neg_binary64`
286×	`associate-r_binary64`
237×	`distribute-rgt-neg-in_binary64`
221×	`associate-l_binary64`

Counts

205 → 377

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	250	10500
1	664	9942
2	2681	9908
3	4719	9908
4	4935	9908

prune643.0ms (2.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	372	5	377
Fresh	5	5	10
Picked	1	0	1
Done	0	0	0
Total	378	10	388

Error

0.0b

Counts

388 → 10

Alt Table

Status	Error	Program
	32.0b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (sin.f64 theta) (sqrt.f64 (sin.f64 delta))) (sqrt.f64 (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.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (-.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))) 3) 3)))))
	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))))) 3)) (cbrt.f64 (pow.f64 (+.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))) 3)))))
	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))) 3)) 3)) (cbrt.f64 (pow.f64 (+.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (+.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))) (.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))))) 3)))))
	0.3b	(+.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 (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)) (log.f64 (/.f64 (exp.f64 (cos.f64 delta)) (exp.f64 (.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)) (fma.f64 (.f64 (cbrt.f64 (cos.f64 delta)) (cbrt.f64 (cos.f64 delta))) (cbrt.f64 (cos.f64 delta)) (neg.f64 (.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))))))))))
	12.7b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (fma.f64 (.f64 (cbrt.f64 (cos.f64 delta)) (cbrt.f64 (cos.f64 delta))) (cbrt.f64 (cos.f64 delta)) (neg.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))) (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))))) (fma.f64 (neg.f64 (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))) (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))) (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.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)) (cbrt.f64 (/.f64 (pow.f64 (-.f64 (pow.f64 (cos.f64 delta) 2) (.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))))) 3) (pow.f64 (+.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))) 3)))))
▶	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (cbrt.f64 (/.f64 (pow.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))) 3) (pow.f64 (fma.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))) (+.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))) (pow.f64 (cos.f64 delta) 2)) 3)))))

Compiler

Compiled 11209 to 3466 computations (69.1% saved)

localize44.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3)
	0.6b	(pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3)
	16.1b	(cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))
	16.1b	(cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify12.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune571.0ms (2.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	383	1	384
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	385	9	394

Error

0.0b

Counts

394 → 9

Alt Table

Status	Error	Program
	32.0b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (.f64 (sin.f64 theta) (sqrt.f64 (sin.f64 delta))) (sqrt.f64 (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.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (-.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))) 3) 3)))))
	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (cbrt.f64 (/.f64 (pow.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))) 3) (pow.f64 (fma.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) (sin.f64 phi1)) (+.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))) (pow.f64 (cos.f64 delta) 2)) 3)))))
	0.2b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (log.f64 (/.f64 (exp.f64 (cos.f64 delta)) (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (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 (cbrt.f64 (pow.f64 (-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))))) 3)) (cbrt.f64 (pow.f64 (+.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))) 3)))))
	0.1b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (/.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (cos.f64 delta) 3) (pow.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))) 3)) 3)) (cbrt.f64 (pow.f64 (+.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (+.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))) (.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))))) 3)))))
	0.3b	(+.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 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (*.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))
	12.7b	(+.f64 lambda1 (atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (+.f64 (fma.f64 (.f64 (cbrt.f64 (cos.f64 delta)) (cbrt.f64 (cos.f64 delta))) (cbrt.f64 (cos.f64 delta)) (neg.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))) (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))))) (fma.f64 (neg.f64 (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))))))) (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))))))) (sqrt.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta))))) (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (.f64 (sin.f64 delta) (cos.f64 phi1)) (cos.f64 theta)))))) (sin.f64 (asin.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)) (cbrt.f64 (/.f64 (pow.f64 (-.f64 (pow.f64 (cos.f64 delta) 2) (.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3))))) 3) (pow.f64 (+.f64 (cos.f64 delta) (cbrt.f64 (.f64 (pow.f64 (sin.f64 (asin.f64 (fma.f64 (cos.f64 delta) (sin.f64 phi1) (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (cos.f64 theta)))))) 3) (pow.f64 (sin.f64 phi1) 3)))) 3)))))

Compiler

Compiled 11435 to 3621 computations (68.3% saved)

regimes1.5s (5.8%)

Accuracy

Total 0.1b remaining (57.4%)

Threshold costs 0.1b (57.4%)

Compiler

Compiled 51952 to 25158 computations (51.6% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
6×	`+-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	35	161
1	47	161
2	57	161
3	63	161
4	67	161
5	68	161
6	68	161

end2.0ms (0%)

Compiler: Compiled 103 to 50 computations (51.5% saved)

sample13.3s (52.5%)

Algorithm

1×

intervals

Results

9.5s	3964×	body	1024	valid
1.6s	1374×	body	512	valid
724.0ms	2120×	body	128	valid
411.0ms	536×	body	256	valid
37.0ms	6×	body	2048	valid

Compiler

Compiled 1137 to 425 computations (62.6% 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.5s (21.6%)

sample302.0ms (1.2%)

simplify58.0ms (0.2%)

prune5.0ms (0%)

localize25.0ms (0.1%)

rewrite16.0ms (0.1%)

series236.0ms (0.9%)

simplify217.0ms (0.9%)

prune391.0ms (1.5%)

localize35.0ms (0.1%)

rewrite51.0ms (0.2%)

series430.0ms (1.7%)

simplify442.0ms (1.7%)

prune706.0ms (2.8%)

localize31.0ms (0.1%)

rewrite25.0ms (0.1%)

series554.0ms (2.2%)

simplify275.0ms (1.1%)

prune643.0ms (2.5%)

localize44.0ms (0.2%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify12.0ms (0%)

prune571.0ms (2.3%)

regimes1.5s (5.8%)

simplify8.0ms (0%)

end2.0ms (0%)

sample13.3s (52.5%)

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