Details

analyze3.7s (9.5%)

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)

sample315.0ms (0.8%)

Algorithm

1×

intervals

Results

251.0ms	182×	body	1024	valid
26.0ms	39×	body	512	valid
12.0ms	11×	body	256	valid
6.0ms	2×	body	2048	valid
5.0ms	22×	body	128	valid

Compiler

Compiled 61 to 39 computations (36.1% saved)

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

14.5b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	14.5b	(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)

localize19.0ms (0%)

Local error

Found 4 expressions with local error:

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

series66.0ms (0.2%)

Counts

4 → 100

Calls

4 calls:

40.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
16.0ms	(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))
4.0ms	(sin.f64 (-.f64 lambda1 lambda2))

rewrite29.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 → 90

Calls

4 calls:

8.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
6.0ms	(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))
4.0ms	(sin.f64 (-.f64 lambda1 lambda2))

simplify142.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

980×	`fma-neg_binary64`
457×	`associate-r_binary64`
441×	`distribute-rgt-neg-in_binary64`
422×	`associate-l_binary64`
395×	`distribute-lft-neg-in_binary64`

Counts

190 → 201

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	399	4414
1	862	3679
2	2913	3547
3	4681	3537
4	5070	3537

prune371.0ms (1%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	181	20	201
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	182	20	202

Error

6.4b

Counts

202 → 20

Alt Table

Status	Error	Program
	14.5b	(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)))))
	25.7b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) lambda1 (fma.f64 -1 (sin.f64 lambda2) (.f64 1/2 (.f64 lambda1 (.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.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (log.f64 (exp.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))))
	25.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (sin.f64 lambda1) (.f64 (sin.f64 phi1) (.f64 lambda2 (cos.f64 phi2)))) (.f64 (sin.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 lambda1))))))
	14.6b	(atan2.f64 (.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (.f64 (cbrt.f64 (cos.f64 phi2)) (cbrt.f64 (cos.f64 phi2)))) (cbrt.f64 (cos.f64 phi2))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	14.5b	(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)) (log.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2)))))))
	37.6b	(atan2.f64 (.f64 (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (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)))))
	42.8b	(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 (sqrt.f64 lambda2) (sqrt.f64 lambda2))))) (cos.f64 (fma.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2) (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2))))) (.f64 (sin.f64 (fma.f64 1 lambda1 (neg.f64 (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2))))) (sin.f64 (fma.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2) (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2)))))))))
	14.7b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (.f64 (cbrt.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)))))
	18.9b	(atan2.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (sin.f64 (-.f64 lambda1 lambda2))) (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)))))
	21.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)) (-.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))))))))))
	14.8b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (cbrt.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))) (cbrt.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)))))
	46.7b	(atan2.f64 (.f64 (+.f64 (.f64 (sin.f64 (fma.f64 1 lambda1 (neg.f64 (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2))))) (cos.f64 (fma.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2) (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2))))) (.f64 (cos.f64 (fma.f64 1 lambda1 (neg.f64 (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2))))) (sin.f64 (fma.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2) (.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)))))
▶	6.6b	(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)))))
	27.6b	(atan2.f64 (.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (sqrt.f64 (cos.f64 phi2))) (sqrt.f64 (cos.f64 phi2))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	18.9b	(atan2.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (sin.f64 (-.f64 lambda1 lambda2))) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi2)) (cos.f64 phi2)))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	14.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)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	21.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 lambda1))))
	34.7b	(atan2.f64 (sin.f64 (-.f64 lambda1 lambda2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	36.9b	(atan2.f64 (.f64 (sin.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)))))

Compiler

Compiled 9263 to 2352 computations (74.6% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series51.0ms (0.1%)

Counts

2 → 44

Calls

2 calls:

41.0ms	(.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2))
10.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))

rewrite14.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64`
6×	`associate-r_binary64`
6×	`associate-l_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`

Counts

2 → 43

Calls

2 calls:

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

simplify86.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

888×	`fma-neg_binary64`
775×	`fma-def_binary64`
516×	`cancel-sign-sub-inv_binary64`
225×	`associate-r_binary64`
213×	`distribute-rgt-neg-in_binary64`

Counts

87 → 111

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	194	2218
1	560	2064
2	1844	2001
3	4418	1995
4	5004	1995

prune533.0ms (1.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	212	7	219
Fresh	17	2	19
Picked	1	0	1
Done	0	0	0
Total	230	9	239

Error

0.1b

Counts

239 → 9

Alt Table

Status	Error	Program
	27.6b	(atan2.f64 (.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (sqrt.f64 (cos.f64 phi2))) (sqrt.f64 (cos.f64 phi2))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	14.3b	(atan2.f64 (/.f64 (.f64 (-.f64 (pow.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) 3)) (cos.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (cos.f64 lambda2))) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	6.9b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cbrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (.f64 (cbrt.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)))))
	9.2b	(atan2.f64 (/.f64 (.f64 (cos.f64 phi2) (.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (fma.f64 (sin.f64 lambda2) (cos.f64 lambda1) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))))) (+.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
▶	0.2b	(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))))))
	22.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) (sqrt.f64 (cos.f64 phi2))) (sqrt.f64 (cos.f64 phi2))) (cos.f64 (-.f64 lambda1 lambda2)))))
	18.9b	(atan2.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (sin.f64 (-.f64 lambda1 lambda2))) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi2)) (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.5b	(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 (pow.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2))) (*.f64 (cos.f64 phi2) (sin.f64 phi1))))))
	32.3b	(atan2.f64 (.f64 (sqrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sqrt.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)))))

Compiler

Compiled 10344 to 2114 computations (79.6% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series86.0ms (0.2%)

Counts

2 → 56

Calls

2 calls:

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

rewrite21.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:

14.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
4.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

simplify94.0ms (0.2%)

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

prune415.0ms (1.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	224	6	230
Fresh	5	3	8
Picked	1	0	1
Done	0	0	0
Total	230	9	239

Error

0.0b

Counts

239 → 9

Alt Table

Status	Error	Program
	18.0b	(atan2.f64 (.f64 (.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (sqrt.f64 (cos.f64 phi2))) (sqrt.f64 (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))))))
	6.9b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cbrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (.f64 (cbrt.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)))))
	18.9b	(atan2.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (sin.f64 (-.f64 lambda1 lambda2))) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi2)) (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.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))))))))
	22.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) (sqrt.f64 (cos.f64 phi2))) (sqrt.f64 (cos.f64 phi2))) (cos.f64 (-.f64 lambda1 lambda2)))))
	1.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)) (log.f64 (pow.f64 (exp.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1))) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
	7.9b	(atan2.f64 (/.f64 (.f64 (cos.f64 phi2) (-.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 3) (pow.f64 (.f64 (sin.f64 lambda2) (cos.f64 lambda1)) 3))) (+.f64 (.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (cos.f64 lambda2))) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))))) (-.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))))))
	2.8b	(atan2.f64 (/.f64 (.f64 (cos.f64 phi2) (.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (fma.f64 (sin.f64 lambda2) (cos.f64 lambda1) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))))) (+.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (-.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))))))
	29.0b	(atan2.f64 (.f64 (sqrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cos.f64 phi2) (sqrt.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))) (-.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))))))

Compiler

Compiled 12752 to 2435 computations (80.9% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series7.0s (17.8%)

Counts

3 → 144

Calls

3 calls:

4.5s

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

2.3s

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

84.0ms

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

rewrite812.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Rules

1509×	`frac-times_binary64`
1463×	`cbrt-div_binary64`
836×	`sin-cos-mult_binary64`
697×	`associate-*r/_binary64`
418×	`flip-+_binary64`

Counts

3 → 660

Calls

3 calls:

34.0ms

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

12.0ms

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

11.0ms

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

simplify1.5s (3.9%)

Algorithm

1×	egg-herbie

Rules

924×	`associate-l_binary64`
464×	`associate-r_binary64`
200×	`fma-def_binary64`
155×	`associate-+r+_binary64`
80×	`sqr-pow_binary64`

Counts

804 → 1379

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2199	121287
1	5142	121287

prune7.2s (18.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	1747	5	1752
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	1750	11	1761

Error

0.0b

Counts

1761 → 11

Alt Table

Status	Error	Program
	18.0b	(atan2.f64 (.f64 (.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (sqrt.f64 (cos.f64 phi2))) (sqrt.f64 (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))))))
	6.9b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cbrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (.f64 (cbrt.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)))))
	18.9b	(atan2.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (sin.f64 (-.f64 lambda1 lambda2))) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi2)) (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.5b	(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 (pow.f64 (.f64 (pow.f64 (sin.f64 phi1) 2) (.f64 (pow.f64 (cos.f64 phi2) 2) (pow.f64 (+.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) 2))) 1/3) (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.5b	(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 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 phi2) (fma.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.2b	(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 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 lambda1) 2)) (.f64 (pow.f64 (sin.f64 lambda1) 2) (pow.f64 (sin.f64 lambda2) 2)))) (-.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	0.4b	(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 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 lambda1) 2)) (.f64 (pow.f64 (sin.f64 lambda1) 2) (pow.f64 (sin.f64 lambda2) 2))))) (.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (pow.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)))) (cbrt.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (-.f64 (.f64 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 lambda1) 2)) (.f64 (pow.f64 (sin.f64 lambda1) 2) (pow.f64 (sin.f64 lambda2) 2))))))) (.f64 (cbrt.f64 (-.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (+.f64 (.f64 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 lambda1) 2)) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (-.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (cbrt.f64 (-.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
	0.4b	(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 (sin.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))) (cbrt.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)))))))))
	7.9b	(atan2.f64 (/.f64 (.f64 (cos.f64 phi2) (-.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 3) (pow.f64 (.f64 (sin.f64 lambda2) (cos.f64 lambda1)) 3))) (+.f64 (.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (cos.f64 lambda2))) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))))) (-.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))))))
	2.8b	(atan2.f64 (/.f64 (.f64 (cos.f64 phi2) (.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (fma.f64 (sin.f64 lambda2) (cos.f64 lambda1) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))))) (+.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (-.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))))))
	29.0b	(atan2.f64 (.f64 (sqrt.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cos.f64 phi2) (sqrt.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))) (-.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))))))

Compiler

Compiled 244160 to 50270 computations (79.4% saved)

regimes6.6s (16.9%)

Accuracy

Total 0.1b remaining (66%)

Threshold costs 0.1b (66%)

Counts

508 → 1

Compiler

Compiled 210714 to 95339 computations (54.8% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

20×	`*-commutative_binary64`
15×	`+-commutative_binary64`
14×	`sub-neg_binary64`
12×	`neg-sub0_binary64`
12×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	63
1	44	63
2	62	63
3	80	63
4	96	63
5	118	63
6	128	63
7	134	63
8	136	63
9	136	63

end1.0ms (0%)

Compiler: Compiled 42 to 24 computations (42.9% saved)

sample9.8s (25.2%)

Algorithm

1×

intervals

Results

7.2s	5353×	body	1024	valid
920.0ms	1269×	body	512	valid
553.0ms	166×	body	2048	valid
181.0ms	403×	body	256	valid
180.0ms	809×	body	128	valid

Compiler

Compiled 994 to 429 computations (56.8% 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	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

Details

analyze3.7s (9.5%)

sample315.0ms (0.8%)

simplify31.0ms (0.1%)

prune3.0ms (0%)

localize19.0ms (0%)

series66.0ms (0.2%)

rewrite29.0ms (0.1%)

simplify142.0ms (0.4%)

prune371.0ms (1%)

localize29.0ms (0.1%)

series51.0ms (0.1%)

rewrite14.0ms (0%)

simplify86.0ms (0.2%)

prune533.0ms (1.4%)

localize27.0ms (0.1%)

series86.0ms (0.2%)

rewrite21.0ms (0.1%)

simplify94.0ms (0.2%)

prune415.0ms (1.1%)

localize30.0ms (0.1%)

series7.0s (17.8%)

rewrite812.0ms (2.1%)

simplify1.5s (3.9%)

prune7.2s (18.5%)

regimes6.6s (16.9%)

simplify6.0ms (0%)

end1.0ms (0%)

sample9.8s (25.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