Details

analyze3.6s (18%)

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.8s (53.1%)

Symmetry

(sort lambda1 lambda2)

(sort phi1 phi2)

Results

8.0s	5672×	body	1024	valid
1.2s	1457×	body	512	valid
816.0ms	280×	body	2048	valid
311.0ms	557×	body	256	valid
87.0ms	290×	body	128	valid

Compiler

Compiled 74 to 53 computations (28.4% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	29
1	28	29
2	43	29
3	53	29
4	60	29
5	78	29
6	104	29
7	125	29
8	142	29
9	152	29
10	156	29
11	158	29
12	144	29

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

17.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	17.3b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
▶	17.3b	(.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

17.3b

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

▶

17.3b

(*.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 86 computations (36.8% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (sin.f64 phi1) (sin.f64 phi2))
✓	0.3b	(.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)
✓	0.6b	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
✓	2.9b	(cos.f64 (-.f64 lambda1 lambda2))

series59.0ms (0.3%)

Counts

4 → 124

Calls

4 calls:

34.0ms	(.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)
11.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
9.0ms	(*.f64 (sin.f64 phi1) (sin.f64 phi2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))

rewrite16.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`
13×	`cos-sum_binary64`
9×	`prod-diff_binary64`

Counts

4 → 74

Calls

4 calls:

5.0ms	(*.f64 (sin.f64 phi1) (sin.f64 phi2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))
3.0ms	(.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)
1.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

simplify155.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

584×	`fma-neg_binary64`
573×	`sub-neg_binary64`
382×	`fma-def_binary64`
356×	`*-commutative_binary64`
344×	`distribute-rgt-neg-in_binary64`

Counts

198 → 134

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	260	5438
1	463	4940
2	1251	4849
3	2498	4795
4	4511	4793
5	5051	4793

prune148.0ms (0.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	121	13	134
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	123	13	136

Error

2.3b

Counts

136 → 13

Alt Table

Status	Error	Program
	17.3b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) R)
	17.9b	(.f64 (.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) (.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	17.8b	(.f64 (.f64 (.f64 (cbrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (cbrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) (cbrt.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)
	41.6b	(.f64 (sqrt.f64 (.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)) (sqrt.f64 (.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)))
	17.4b	(.f64 (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 phi1))))) 3)) R)
	43.9b	(cbrt.f64 (.f64 (.f64 (.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (.f64 (.f64 R R) R)))
	17.4b	(.f64 (sqrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (.f64 R (sqrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 phi1))))))))
	37.9b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (cos.f64 lambda2) (fma.f64 (.f64 lambda1 lambda1) (fma.f64 lambda1 (.f64 (sin.f64 lambda2) -1/6) (.f64 (cos.f64 lambda2) -1/2)) (.f64 lambda1 (sin.f64 lambda2))))))) R)
▶	2.5b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) R)
	17.9b	(.f64 (.f64 (cbrt.f64 (.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)) (cbrt.f64 (.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))) (cbrt.f64 (.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)))
	41.7b	(.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi2) (cos.f64 phi1))))) (sqrt.f64 R)) (sqrt.f64 R))
	17.3b	(.f64 (log.f64 (exp.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)
	43.1b	(exp.f64 (log.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 phi1))))) R)))

Compiler

Compiled 5182 to 1452 computations (72% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series97.0ms (0.5%)

Counts

3 → 116

Calls

3 calls:

71.0ms

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

17.0ms

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

9.0ms

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

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-cube-cbrt_binary64`
7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`

Counts

3 → 51

Calls

3 calls:

3.0ms

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

3.0ms

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

1.0ms

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

simplify201.0ms (1%)

Algorithm

1×	egg-herbie

Rules

554×	`fma-neg_binary64`
480×	`distribute-rgt-neg-in_binary64`
453×	`associate-l_binary64`
399×	`distribute-lft-neg-in_binary64`
355×	`associate-r_binary64`

Counts

167 → 96

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	143	7164
1	334	5781
2	899	5757
3	2083	5733
4	3428	5733
5	4950	5733
6	5018	5733

prune177.0ms (0.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	122	12	134
Fresh	10	2	12
Picked	1	0	1
Done	0	0	0
Total	133	14	147

Error

2.1b

Counts

147 → 14

Alt Table

Status	Error	Program
	3.3b	(.f64 (.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R))) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)))
	2.5b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))) R)
	2.5b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (.f64 (sin.f64 lambda1) (.f64 (cbrt.f64 (sin.f64 lambda2)) (cbrt.f64 (sin.f64 lambda2)))) (cbrt.f64 (sin.f64 lambda2))))))) R)
	39.7b	(cbrt.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R) 3))
	34.1b	(.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))) (sqrt.f64 R)) (sqrt.f64 R))
	2.7b	(.f64 (expm1.f64 (log1p.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
	3.3b	(.f64 (.f64 (cbrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (cbrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) (.f64 R (cbrt.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))))
	43.1b	(exp.f64 (log.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 phi1))))) R)))
	17.9b	(.f64 (.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) (.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	2.5b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))) R)
	34.0b	(.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)) (sqrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)))
▶	2.5b	(.f64 (acos.f64 (+.f64 (.f64 (cos.f64 phi2) (.f64 (cos.f64 lambda2) (.f64 (cos.f64 phi1) (cos.f64 lambda1)))) (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (sin.f64 lambda1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 lambda2) (cos.f64 phi1))))))) R)
	2.7b	(.f64 (sqrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (.f64 R (sqrt.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))))
	2.7b	(.f64 (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) 3)) R)

Compiler

Compiled 6037 to 1549 computations (74.3% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series140.0ms (0.7%)

Counts

3 → 100

Calls

3 calls:

71.0ms

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

47.0ms

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

22.0ms

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

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
14×	`pow1_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`cbrt-unprod_binary64`

Counts

3 → 54

Calls

3 calls:

6.0ms

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

3.0ms

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

1.0ms

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

simplify221.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

666×	`fma-def_binary64`
496×	`cancel-sign-sub-inv_binary64`
446×	`associate-r_binary64`
348×	`associate-l_binary64`
261×	`sub-neg_binary64`

Counts

154 → 117

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	229	7274
1	644	6819
2	2044	6343
3	4213	6343
4	4996	6343
5	4995	6343
6	4943	6343

prune198.0ms (1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	153	2	155
Fresh	3	10	13
Picked	1	0	1
Done	0	0	0
Total	157	12	169

Error

2.1b

Counts

169 → 12

Alt Table

Status	Error	Program
	3.3b	(.f64 (.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R))) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)))
	2.5b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))) R)
	3.3b	(.f64 (.f64 (cbrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (cbrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) (.f64 R (cbrt.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))))
	43.1b	(exp.f64 (log.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 phi1))))) R)))
	17.9b	(.f64 (.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) (.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
▶	2.5b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))) R)
	34.0b	(.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)) (sqrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)))
	39.7b	(cbrt.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R) 3))
	34.0b	(.f64 (.f64 (acos.f64 (+.f64 (.f64 (cos.f64 phi2) (.f64 (cos.f64 lambda2) (.f64 (cos.f64 phi1) (cos.f64 lambda1)))) (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (sin.f64 lambda1) (.f64 (cos.f64 phi2) (*.f64 (sin.f64 lambda2) (cos.f64 phi1))))))) (sqrt.f64 R)) (sqrt.f64 R))
	2.6b	(.f64 (expm1.f64 (log1p.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 phi1) (cos.f64 lambda1))) (.f64 (sin.f64 lambda1) (.f64 (cos.f64 phi1) (sin.f64 lambda2))))))))) R)
	2.7b	(.f64 (sqrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (.f64 R (sqrt.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))))
	2.7b	(.f64 (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) 3)) R)

Compiler

Compiled 7977 to 1799 computations (77.4% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))) R)
✓	0.4b	(exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
✓	0.5b	(log.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2))))))
✓	0.6b	(acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2))))

series80.0ms (0.4%)

Counts

4 → 172

Calls

4 calls:

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

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`
9×	`exp-prod_binary64`
8×	`log-pow_binary64`

Counts

4 → 66

Calls

4 calls:

3.0ms	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))) R)
1.0ms	(log.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2))))))
1.0ms	(exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
0.0ms	(acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2))))

simplify328.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

847×	`fma-def_binary64`
666×	`times-frac_binary64`
336×	`unswap-sqr_binary64`
322×	`log-prod_binary64`
280×	`associate-l_binary64`

Counts

238 → 108

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	100	9634
1	129	9213
2	252	9213
3	391	9213
4	659	9207
5	1226	9207
6	2999	9207
7	4798	9207
8	5065	9207

prune148.0ms (0.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	102	6	108
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	107	13	120

Error

2.1b

Counts

120 → 13

Alt Table

Status	Error	Program
	2.7b	(.f64 (log.f64 (.f64 (sqrt.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))) (sqrt.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))))) R)
	2.6b	(.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))))) (log.f64 (sqrt.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))))) R)
	39.7b	(cbrt.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R) 3))
	3.3b	(.f64 (cbrt.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))) (.f64 R (.f64 (cbrt.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1)) (.f64 (sin.f64 phi1) (sin.f64 phi2))))) (cbrt.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1)) (.f64 (sin.f64 phi1) (sin.f64 phi2))))))))
	2.7b	(.f64 (log.f64 (cbrt.f64 (.f64 (.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))) (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))) (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))))) R)
	36.3b	(exp.f64 (log.f64 (.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))) R)))
	2.7b	(.f64 (sqrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (.f64 R (sqrt.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))))
	34.0b	(.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)) (sqrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)))
	3.3b	(.f64 (.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R))) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)))
	3.1b	(.f64 (+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1)) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))))) (log.f64 (cbrt.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1)) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))))) R)
	34.0b	(.f64 (.f64 (acos.f64 (+.f64 (.f64 (cos.f64 phi2) (.f64 (cos.f64 lambda2) (.f64 (cos.f64 phi1) (cos.f64 lambda1)))) (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (sin.f64 lambda1) (.f64 (cos.f64 phi2) (*.f64 (sin.f64 lambda2) (cos.f64 phi1))))))) (sqrt.f64 R)) (sqrt.f64 R))
	2.6b	(.f64 (expm1.f64 (log1p.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 phi1) (cos.f64 lambda1))) (.f64 (sin.f64 lambda1) (.f64 (cos.f64 phi1) (sin.f64 lambda2))))))))) R)
	2.7b	(.f64 (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) 3)) R)

Compiler

Compiled 5214 to 709 computations (86.4% saved)

regimes3.1s (15.5%)

Accuracy

Total 0.3b remaining (8.2%)

Threshold costs 0.3b (8.2%)

Counts

223 → 1

Compiler

Compiled 95098 to 54451 computations (42.7% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	46
1	30	46
2	30	46

end603.0ms (3%)

Compiler: Compiled 898 to 452 computations (49.7% saved)

Iter	Nodes	Cost
0	18	29
1	28	29
2	43	29
3	53	29
4	60	29
5	78	29
6	104	29
7	125	29
8	142	29
9	152	29
10	156	29
11	158	29
12	144	29

Iter	Nodes	Cost
0	18	29
1	28	29
2	43	29
3	53	29
4	60	29
5	78	29
6	104	29
7	125	29
8	142	29
9	152	29
10	156	29
11	158	29
12	144	29

Details

analyze3.6s (18%)

sample10.8s (53.1%)

simplify11.0ms (0.1%)

prune5.0ms (0%)

localize19.0ms (0.1%)

series59.0ms (0.3%)

rewrite16.0ms (0.1%)

simplify155.0ms (0.8%)

prune148.0ms (0.7%)

localize25.0ms (0.1%)

series97.0ms (0.5%)

rewrite11.0ms (0.1%)

simplify201.0ms (1%)

prune177.0ms (0.9%)

localize26.0ms (0.1%)

series140.0ms (0.7%)

rewrite13.0ms (0.1%)

simplify221.0ms (1.1%)

prune198.0ms (1%)

localize27.0ms (0.1%)

series80.0ms (0.4%)

rewrite11.0ms (0.1%)

simplify328.0ms (1.6%)

prune148.0ms (0.7%)

regimes3.1s (15.5%)

simplify3.0ms (0%)

end603.0ms (3%)

Profiling

Iter	Nodes	Cost
0	18	29
1	28	29
2	43	29
3	53	29
4	60	29
5	78	29
6	104	29
7	125	29
8	142	29
9	152	29
10	156	29
11	158	29
12	144	29