Details

analyze4.2s (19.1%)

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
7.8%	92%	0.2%	9
7.8%	92%	0.2%	10
10.1%	89.7%	0.2%	11
10.1%	89.7%	0.2%	12
13.9%	85.9%	0.2%	13
13.9%	85.9%	0.2%	14

Compiler

Compiled 29 to 18 computations (37.9% saved)

sample12.4s (56.2%)

Results

9.8s	5569×	body	1024	valid
1.2s	1268×	body	512	valid
802.0ms	196×	body	2048	valid
256.0ms	821×	body	128	valid
237.0ms	402×	body	256	valid

Compiler

Compiled 86 to 53 computations (38.4% saved)

simplify32.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

543×	`fma-def_binary64`
194×	`fma-neg_binary64`
83×	`cancel-sign-sub-inv_binary64`
59×	`distribute-rgt-neg-in_binary64`
47×	`distribute-rgt-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

13.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	13.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 108 to 55 computations (49.1% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
✓	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
✓	3.8b	(sin.f64 (-.f64 lambda1 lambda2))
✓	3.8b	(cos.f64 (-.f64 lambda1 lambda2))

series58.0ms (0.3%)

Counts

4 → 88

Calls

4 calls:

37.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
12.0ms	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))
4.0ms	(sin.f64 (-.f64 lambda1 lambda2))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
21×	`*-un-lft-identity_binary64`
21×	`add-cube-cbrt_binary64`
18×	`prod-diff_binary64`
13×	`sin-sum_binary64`

Counts

4 → 89

Calls

4 calls:

7.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))
4.0ms	(sin.f64 (-.f64 lambda1 lambda2))
3.0ms	(*.f64 (cos.f64 phi1) (sin.f64 phi2))

simplify137.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

446×	`fma-neg_binary64`
437×	`associate-r_binary64`
403×	`associate-l_binary64`
392×	`distribute-rgt-neg-in_binary64`
354×	`distribute-lft-neg-in_binary64`

Counts

177 → 193

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	396	4016
1	844	3282
2	2780	3072
3	4739	2973
4	4992	2973
5	4918	2973

prune499.0ms (2.3%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	171	22	193
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	172	22	194

Error

6.7b

Counts

194 → 22

Alt Table

Status	Error	Program
	41.7b	(atan2.f64 (.f64 (+.f64 (.f64 (sin.f64 lambda1) (cos.f64 (.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 (.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	13.2b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	14.0b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 phi2) (cos.f64 phi1)) 3)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	13.6b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))))
	20.8b	(atan2.f64 (.f64 (+.f64 (.f64 (sin.f64 lambda1) (cos.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2))) (cbrt.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2))) (cbrt.f64 lambda2))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	13.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3))))
	13.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (expm1.f64 (log1p.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	18.7b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 lambda2))))
	13.4b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	13.5b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	17.3b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 lambda1) (cos.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2))) (cbrt.f64 lambda2)))) (.f64 (sin.f64 lambda1) (sin.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2))) (cbrt.f64 lambda2))))))))
	19.0b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 lambda1))))
	18.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (fma.f64 1 lambda1 (neg.f64 (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)))))) (cos.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)))))) (.f64 (sin.f64 (fma.f64 1 lambda1 (neg.f64 (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)))))) (sin.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2))))))))))
	25.4b	(atan2.f64 (.f64 (-.f64 (sin.f64 lambda1) (.f64 lambda2 (cos.f64 lambda1))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	27.7b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (-.f64 (fma.f64 (.f64 -1/6 (sin.f64 lambda2)) (pow.f64 lambda1 3) (cos.f64 lambda2)) (.f64 lambda1 (+.f64 (sin.f64 (neg.f64 lambda2)) (.f64 (.f64 (cos.f64 lambda2) 1/2) lambda1)))))))
	18.4b	(atan2.f64 (.f64 (cbrt.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 3)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	31.8b	(atan2.f64 (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	31.6b	(atan2.f64 (.f64 (+.f64 (.f64 (sin.f64 (fma.f64 (.f64 (cbrt.f64 lambda1) (cbrt.f64 lambda1)) (cbrt.f64 lambda1) (neg.f64 (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)))))) (cos.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)))))) (.f64 (cos.f64 (fma.f64 (.f64 (cbrt.f64 lambda1) (cbrt.f64 lambda1)) (cbrt.f64 lambda1) (neg.f64 (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)))))) (sin.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2))))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
▶	7.0b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	15.0b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (log.f64 (exp.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	39.4b	(atan2.f64 (.f64 (.f64 (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	23.7b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) lambda1 (fma.f64 -1 (sin.f64 lambda2) (.f64 (.f64 lambda1 lambda1) (-.f64 (.f64 1/2 (sin.f64 lambda2)) (.f64 (.f64 (cos.f64 lambda2) 1/6) lambda1))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 9032 to 2525 computations (72% saved)

localize31.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (sin.f64 lambda1) (cos.f64 lambda2))
	0.2b	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
	3.8b	(cos.f64 (-.f64 lambda1 lambda2))

series9.0ms (0%)

Counts

1 → 8

Calls

1 calls:

9.0ms

(*.f64 (sin.f64 lambda1) (cos.f64 lambda2))

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64`
3×	`associate-r_binary64`
3×	`associate-l_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 21

Calls

1 calls:

3.0ms

(*.f64 (sin.f64 lambda1) (cos.f64 lambda2))

simplify101.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

529×	`fma-neg_binary64`
499×	`distribute-rgt-neg-in_binary64`
414×	`distribute-lft-neg-in_binary64`
325×	`*-commutative_binary64`
249×	`associate-l_binary64`

Counts

29 → 46

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	81	458
1	203	416
2	570	396
3	1526	373
4	2793	373
5	4861	373
6	4978	373
7	4997	373
8	4900	373

prune567.0ms (2.6%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	192	7	199
Fresh	15	6	21
Picked	1	0	1
Done	0	0	0
Total	208	13	221

Error

0.1b

Counts

221 → 13

Alt Table

Status	Error	Program
	14.0b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 phi2) (cos.f64 phi1)) 3)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
▶	0.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	13.6b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))))
	0.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	11.4b	(atan2.f64 (.f64 (-.f64 (log.f64 (exp.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	13.9b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3))))
	13.4b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	35.8b	(atan2.f64 (.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2))) (sqrt.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	7.0b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cbrt.f64 (pow.f64 (cos.f64 (-.f64 lambda1 lambda2)) 3)))))
	13.5b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	36.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (.f64 (cos.f64 phi1) (sqrt.f64 (sin.f64 phi2))) (sqrt.f64 (sin.f64 phi2))) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	39.4b	(atan2.f64 (.f64 (.f64 (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	7.1b	(atan2.f64 (.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 lambda1)) (cbrt.f64 (sin.f64 lambda1))) (.f64 (cbrt.f64 (sin.f64 lambda1)) (cos.f64 lambda2))) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 9350 to 2157 computations (76.9% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 (sin.f64 lambda1) (cos.f64 lambda2))
	0.2b	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
✓	0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
✓	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))

series93.0ms (0.4%)

Counts

2 → 56

Calls

2 calls:

83.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
9.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
9×	`pow1_binary64`
7×	`add-sqr-sqrt_binary64`
6×	`associate-r_binary64`

Counts

2 → 50

Calls

2 calls:

9.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
3.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

simplify112.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

618×	`associate-r_binary64`
563×	`associate-l_binary64`
546×	`fma-neg_binary64`
385×	`distribute-rgt-neg-in_binary64`
300×	`*-commutative_binary64`

Counts

106 → 119

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	301	3509
1	965	3263
2	3764	3255
3	5052	3255

prune628.0ms (2.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	204	6	210
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	210	13	223

Error

0.0b

Counts

223 → 13

Alt Table

Status	Error	Program
	0.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (/.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (-.f64 (.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))) (-.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	14.0b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 phi2) (cos.f64 phi1)) 3)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	13.4b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	35.8b	(atan2.f64 (.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2))) (sqrt.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	13.5b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.3b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))) (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
	0.3b	(atan2.f64 (.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 lambda1)) (cbrt.f64 (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cbrt.f64 (sin.f64 lambda1)))) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	11.4b	(atan2.f64 (.f64 (-.f64 (log.f64 (exp.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (cbrt.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
▶	0.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (log1p.f64 (expm1.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
	36.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (.f64 (cos.f64 phi1) (sqrt.f64 (sin.f64 phi2))) (sqrt.f64 (sin.f64 phi2))) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	39.4b	(atan2.f64 (.f64 (.f64 (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	1.0b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (log.f64 (exp.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))

Compiler

Compiled 11682 to 2464 computations (78.9% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 (sin.f64 lambda1) (cos.f64 lambda2))
	0.2b	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
	0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
✓	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (log1p.f64 (expm1.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))

series75.0ms (0.3%)

Counts

1 → 48

Calls

1 calls:

75.0ms

(*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (log1p.f64 (expm1.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
3×	`associate-r_binary64`
3×	`sin-cos-mult_binary64`

Counts

1 → 27

Calls

1 calls:

7.0ms

(*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (log1p.f64 (expm1.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))

simplify101.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

957×	`cancel-sign-sub-inv_binary64`
499×	`associate-r_binary64`
479×	`fma-neg_binary64`
444×	`associate-l_binary64`
249×	`*-commutative_binary64`

Counts

75 → 76

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	234	2982
1	769	2746
2	3001	2740
3	4789	2740
4	5019	2740

prune528.0ms (2.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	206	1	207
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	209	11	220

Error

0.0b

Counts

220 → 11

Alt Table

Status	Error	Program
	13.4b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	35.8b	(atan2.f64 (.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2))) (sqrt.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	13.5b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2))) (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (cbrt.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.3b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))) (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
	0.3b	(atan2.f64 (.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 lambda1)) (cbrt.f64 (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cbrt.f64 (sin.f64 lambda1)))) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	0.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (/.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (-.f64 (.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))) (-.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	0.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (cbrt.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
	0.7b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 phi2) (cos.f64 phi1)) 3)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (log1p.f64 (expm1.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
	36.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (.f64 (cos.f64 phi1) (sqrt.f64 (sin.f64 phi2))) (sqrt.f64 (sin.f64 phi2))) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	39.4b	(atan2.f64 (.f64 (.f64 (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	1.0b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (log.f64 (exp.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))

Compiler

Compiled 11203 to 2145 computations (80.9% saved)

regimes2.1s (9.3%)

Accuracy

Total 0.1b remaining (57.9%)

Threshold costs 0.1b (57.9%)

Counts

236 → 1

Compiler

Compiled 60963 to 35789 computations (41.3% saved)

simplify20.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

87×	`distribute-rgt-neg-in_binary64`
60×	`cancel-sign-sub-inv_binary64`
58×	`distribute-lft-neg-in_binary64`
50×	`neg-sub0_binary64`
50×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	103
1	53	103
2	78	103
3	100	103
4	124	103
5	155	103
6	187	103
7	206	103
8	222	103
9	242	103
10	265	103
11	291	103
12	322	103
13	349	103
14	377	103
15	400	103
16	416	103
17	420	103
18	416	103

end269.0ms (1.2%)

Compiler: Compiled 669 to 328 computations (51% saved)

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39

Iter	Nodes	Cost
0	29	103
1	53	103
2	78	103
3	100	103
4	124	103
5	155	103
6	187	103
7	206	103
8	222	103
9	242	103
10	265	103
11	291	103
12	322	103
13	349	103
14	377	103
15	400	103
16	416	103
17	420	103
18	416	103

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39

Iter	Nodes	Cost
0	29	103
1	53	103
2	78	103
3	100	103
4	124	103
5	155	103
6	187	103
7	206	103
8	222	103
9	242	103
10	265	103
11	291	103
12	322	103
13	349	103
14	377	103
15	400	103
16	416	103
17	420	103
18	416	103

Details

analyze4.2s (19.1%)

sample12.4s (56.2%)

simplify32.0ms (0.1%)

prune3.0ms (0%)

localize21.0ms (0.1%)

series58.0ms (0.3%)

rewrite23.0ms (0.1%)

simplify137.0ms (0.6%)

prune499.0ms (2.3%)

localize31.0ms (0.1%)

series9.0ms (0%)

rewrite4.0ms (0%)

simplify101.0ms (0.5%)

prune567.0ms (2.6%)

localize29.0ms (0.1%)

series93.0ms (0.4%)

rewrite15.0ms (0.1%)

simplify112.0ms (0.5%)

prune628.0ms (2.8%)

localize35.0ms (0.2%)

series75.0ms (0.3%)

rewrite10.0ms (0%)

simplify101.0ms (0.5%)

prune528.0ms (2.4%)

regimes2.1s (9.3%)

simplify20.0ms (0.1%)

end269.0ms (1.2%)

Profiling

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39

Iter	Nodes	Cost
0	29	103
1	53	103
2	78	103
3	100	103
4	124	103
5	155	103
6	187	103
7	206	103
8	222	103
9	242	103
10	265	103
11	291	103
12	322	103
13	349	103
14	377	103
15	400	103
16	416	103
17	420	103
18	416	103