Details

analyze4.2s (19.7%)

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
1.8%	98%	0.2%	13
2%	97.7%	0.2%	14

Compiler

Compiled 25 to 18 computations (28% saved)

sample10.4s (49.1%)

Symmetry

(sort lambda1 lambda2)

(sort phi1 phi2)

Results

8.0s	5701×	body	1024	valid
1.2s	1451×	body	512	valid
771.0ms	268×	body	2048	valid
280.0ms	499×	body	256	valid
103.0ms	337×	body	128	valid
1.0ms	1×	body	1024	invalid
1.0ms	1×	body	512	invalid
1.0ms	1×	body	256	invalid

Compiler

Compiled 74 to 53 computations (28.4% saved)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

47×	`fma-def_binary64`
32×	`fma-neg_binary64`
15×	`cancel-sign-sub-inv_binary64`
12×	`sub-neg_binary64`
10×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	29
1	28	29
2	44	29
3	57	29
4	67	29
5	85	29
6	123	29
7	160	29
8	206	29
9	243	29
10	269	29
11	271	29

Stop Event

1×

saturated

Counts

1 → 2

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

16.8b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	16.8b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1))))) R)
	16.8b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)

Status

Error

Program

▶

16.8b

(*.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1))))) R)

16.8b

(*.f64 (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)

Compiler

Compiled 136 to 89 computations (34.6% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)))
✓	0.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1))))) R)
✓	1.4b	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)))))
✓	3.7b	(cos.f64 (-.f64 lambda2 lambda1))

series73.0ms (0.3%)

Counts

4 → 164

Calls

4 calls:

33.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)))
28.0ms	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1))))) R)
9.0ms	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)))))
4.0ms	(cos.f64 (-.f64 lambda2 lambda1))

rewrite70.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

355×	`log1p-udef_binary64`
195×	`add-sqr-sqrt_binary64`
181×	`log1p-expm1-u_binary64`
181×	`expm1-log1p-u_binary64`
180×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	77
1	362	77
2	4849	77

Stop Event

1×	node limit

Counts

4 → 81

Calls

4 calls:

68.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)))
68.0ms	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1))))) R)
68.0ms	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)))))
68.0ms	(cos.f64 (-.f64 lambda2 lambda1))

simplify96.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

573×	`cancel-sign-sub-inv_binary64`
568×	`fma-def_binary64`
442×	`*-commutative_binary64`
334×	`sub-neg_binary64`
248×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	136	4331
1	434	4272
2	1451	4154
3	4577	4154

Stop Event

1×	node limit

Counts

245 → 133

prune181.0ms (0.9%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	117	16	133
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	119	16	135

Error

3.9b

Counts

135 → 16

Alt Table

Status	Error	Program
	17.1b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (pow.f64 (cbrt.f64 (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))) 3))) R)
	16.8b	(.f64 (pow.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3) 1/3) R)
	16.9b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (-.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 1))) R)
	17.0b	(.f64 (/.f64 (-.f64 (.f64 (.f64 (PI.f64) 1/2) (.f64 (PI.f64) 1/2)) (.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))))) (+.f64 (.f64 (PI.f64) 1/2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))))) R)
	17.2b	(.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) 2))) R)
	4.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (/.f64 (-.f64 (.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (-.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))) R)
	17.0b	(.f64 (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3)) R)
	4.1b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) R)
	16.8b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))))) R)
▶	4.1b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) R)
	17.4b	(.f64 (pow.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))))) 3) R)
	40.9b	(exp.f64 (log.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)))
	45.8b	(cbrt.f64 (.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3) (pow.f64 R 3)))
	39.2b	(pow.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)) 2)
	17.5b	(pow.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)) 3)
	16.9b	(.f64 (-.f64 (.f64 (PI.f64) 1/2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) R)

Compiler

Compiled 4582 to 1614 computations (64.8% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (sin.f64 lambda2) (sin.f64 lambda1))
✓	0.2b	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))
✓	0.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) R)
✓	1.3b	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))

series117.0ms (0.6%)

Counts

4 → 180

Calls

4 calls:

62.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))
34.0ms	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) R)
11.0ms	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))
9.0ms	(*.f64 (sin.f64 lambda2) (sin.f64 lambda1))

rewrite37.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

226×	`add-sqr-sqrt_binary64`
207×	`log1p-expm1-u_binary64`
207×	`expm1-log1p-u_binary64`
206×	`add-log-exp_binary64`
205×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	109
1	427	79

Stop Event

1×	node limit

Counts

4 → 75

Calls

4 calls:

36.0ms	(*.f64 (sin.f64 lambda2) (sin.f64 lambda1))
36.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))
36.0ms	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) R)
36.0ms	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))

simplify101.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

401×	`fma-neg_binary64`
349×	`associate-r_binary64`
322×	`distribute-rgt-neg-in_binary64`
315×	`associate--l+_binary64`
304×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	205	6296
1	674	6240
2	2498	6059

Stop Event

1×	node limit

Counts

255 → 133

prune217.0ms (1%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	129	4	133
Fresh	3	12	15
Picked	1	0	1
Done	0	0	0
Total	133	16	149

Error

3.9b

Counts

149 → 16

Alt Table

Status	Error	Program
	17.1b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (pow.f64 (cbrt.f64 (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))) 3))) R)
	16.8b	(.f64 (pow.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3) 1/3) R)
	16.9b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (-.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 1))) R)
	17.0b	(.f64 (/.f64 (-.f64 (.f64 (.f64 (PI.f64) 1/2) (.f64 (PI.f64) 1/2)) (.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))))) (+.f64 (.f64 (PI.f64) 1/2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))))) R)
	45.8b	(cbrt.f64 (.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3) (pow.f64 R 3)))
▶	4.1b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1))))))) R)
	17.2b	(.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) 2))) R)
	4.1b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (pow.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) 3))))) R)
	16.9b	(.f64 (-.f64 (.f64 (PI.f64) 1/2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) R)
	16.8b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))))))) R)
	17.4b	(.f64 (pow.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))))) 3) R)
	4.1b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (expm1.f64 (log1p.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))))) R)
	40.9b	(exp.f64 (log.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)))
	39.2b	(pow.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)) 2)
	17.5b	(pow.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)) 3)
	17.0b	(.f64 (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3)) R)

Compiler

Compiled 5215 to 1881 computations (63.9% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1)))))
✓	0.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1))))))) R)
✓	1.3b	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1)))))))
✓	3.9b	(log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1)))

series1.7s (8.3%)

Counts

4 → 180

Calls

4 calls:

1.1s	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1)))))
573.0ms	(log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1)))
47.0ms	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1))))))) R)
12.0ms	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1)))))))

rewrite41.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

240×	`add-sqr-sqrt_binary64`
220×	`add-log-exp_binary64`
219×	`log1p-expm1-u_binary64`
219×	`expm1-log1p-u_binary64`
218×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	109
1	462	109

Stop Event

1×	node limit

Counts

4 → 72

Calls

4 calls:

40.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1)))))
39.0ms	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1))))))) R)
39.0ms	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1)))))))
39.0ms	(log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1)))

simplify103.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

401×	`fma-neg_binary64`
350×	`associate-r_binary64`
322×	`distribute-rgt-neg-in_binary64`
315×	`associate--l+_binary64`
304×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	203	6728
1	679	6240
2	2522	6059

Stop Event

1×	node limit

Counts

252 → 125

prune195.0ms (0.9%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	118	7	125
Fresh	8	7	15
Picked	0	1	1
Done	0	0	0
Total	126	15	141

Error

3.8b

Counts

141 → 15

Alt Table

Status	Error	Program
	16.9b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (-.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 1))) R)
	17.0b	(.f64 (/.f64 (-.f64 (.f64 (.f64 (PI.f64) 1/2) (.f64 (PI.f64) 1/2)) (.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))))) (+.f64 (.f64 (PI.f64) 1/2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))))) R)
	4.2b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))))) R)
	45.8b	(cbrt.f64 (.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3) (pow.f64 R 3)))
✓	4.1b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1))))))) R)
	17.0b	(.f64 (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3)) R)
▶	4.1b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))))) R)
	16.8b	(.f64 (pow.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3) 1/3) R)
	40.9b	(exp.f64 (log.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)))
	17.2b	(.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) 2))) R)
	4.3b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (log.f64 (+.f64 1 (expm1.f64 (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))))))) R)
	4.5b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (pow.f64 (cbrt.f64 (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) 3))) R)
	33.4b	(pow.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))) R)) 2)
	5.1b	(pow.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))) R)) 3)
	5.0b	(.f64 (pow.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))))) 3) R)

Compiler

Compiled 5289 to 1820 computations (65.6% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))))) R)
✓	0.4b	(exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))))
✓	0.9b	(log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))))))
✓	1.3b	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))))

series79.0ms (0.4%)

Counts

4 → 204

Calls

4 calls:

33.0ms	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))))) R)
25.0ms	(exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))))
11.0ms	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))))
10.0ms	(log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))))))

rewrite43.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

229×	`add-sqr-sqrt_binary64`
210×	`log1p-expm1-u_binary64`
210×	`expm1-log1p-u_binary64`
208×	`add-log-exp_binary64`
207×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	149
1	443	109

Stop Event

1×	node limit

Counts

4 → 81

Calls

4 calls:

41.0ms	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))))) R)
41.0ms	(exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))))
41.0ms	(log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))))))
40.0ms	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))))

simplify175.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

122×	`fma-def_binary64`
44×	`*-commutative_binary64`
42×	`associate-l_binary64`
26×	`associate-r_binary64`
10×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	7620
1	41	7620
2	69	7620
3	179	7620
4	320	7620
5	366	7620

Stop Event

1×

saturated

Counts

285 → 65

prune93.0ms (0.4%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	61	4	65
Fresh	4	9	13
Picked	0	1	1
Done	0	1	1
Total	65	15	80

Error

3.8b

Counts

80 → 15

Alt Table

Status	Error	Program
	16.9b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (-.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 1))) R)
	4.2b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))))) R)
	45.8b	(cbrt.f64 (.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3) (pow.f64 R 3)))
✓	4.1b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1))))))) R)
	17.2b	(.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (cos.f64 phi1))))))) (pow.f64 (cbrt.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (cos.f64 phi1))))))) 2))) R)
	4.3b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (log.f64 (+.f64 1 (expm1.f64 (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))))))) R)
	16.9b	(.f64 (log.f64 (-.f64 (exp.f64 (log1p.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) (cos.f64 phi1)))))))) 1)) R)
	33.4b	(pow.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))) R)) 2)
	17.0b	(.f64 (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3)) R)
✓	4.1b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))))) R)
	16.8b	(.f64 (log.f64 (exp.f64 (pow.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) (cos.f64 phi1))))) 3) 1/3))) R)
	40.9b	(exp.f64 (log.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)))
	17.0b	(.f64 (log.f64 (exp.f64 (-.f64 (exp.f64 (log1p.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) (cos.f64 phi1))))))) 1))) R)
	5.1b	(pow.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))))) R)) 3)
	5.0b	(.f64 (pow.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))))) 3) R)

Compiler

Compiled 2239 to 667 computations (70.2% saved)

regimes2.6s (12.1%)

Accuracy

Total 0.3b remaining (7.1%)

Threshold costs 0.3b (7.1%)

Counts

191 → 1

Compiler

Compiled 57328 to 38682 computations (32.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	39
1	25	39

Stop Event

1×

saturated

end544.0ms (2.6%)

Remove: (sort lambda1 lambda2)
Compiler: Compiled 696 to 487 computations (30% saved)

Iter	Nodes	Cost
0	18	29
1	28	29
2	44	29
3	57	29
4	67	29
5	85	29
6	123	29
7	160	29
8	206	29
9	243	29
10	269	29
11	271	29

Iter	Nodes	Cost
0	18	29
1	28	29
2	44	29
3	57	29
4	67	29
5	85	29
6	123	29
7	160	29
8	206	29
9	243	29
10	269	29
11	271	29

Details

analyze4.2s (19.7%)

sample10.4s (49.1%)

simplify13.0ms (0.1%)

prune5.0ms (0%)

localize17.0ms (0.1%)

series73.0ms (0.3%)

rewrite70.0ms (0.3%)

simplify96.0ms (0.5%)

prune181.0ms (0.9%)

localize22.0ms (0.1%)

series117.0ms (0.6%)

rewrite37.0ms (0.2%)

simplify101.0ms (0.5%)

prune217.0ms (1%)

localize27.0ms (0.1%)

series1.7s (8.3%)

rewrite41.0ms (0.2%)

simplify103.0ms (0.5%)

prune195.0ms (0.9%)

localize25.0ms (0.1%)

series79.0ms (0.4%)

rewrite43.0ms (0.2%)

simplify175.0ms (0.8%)

prune93.0ms (0.4%)

regimes2.6s (12.1%)

simplify2.0ms (0%)

end544.0ms (2.6%)

Profiling

Iter	Nodes	Cost
0	18	29
1	28	29
2	44	29
3	57	29
4	67	29
5	85	29
6	123	29
7	160	29
8	206	29
9	243	29
10	269	29
11	271	29