Details

analyze3.6s (18.9%)

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)

sample582.0ms (3%)

Algorithm

1×

intervals

Symmetry

(sort lambda1 lambda2)

(sort phi1 phi2)

Results

209.0ms	180×	body	1024	valid
32.0ms	11×	body	2048	valid
32.0ms	46×	body	512	valid
7.0ms	16×	body	256	valid
1.0ms	3×	body	128	valid

Compiler

Compiled 54 to 40 computations (25.9% saved)

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

16.3b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	16.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)
	16.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

▶

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

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

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series79.0ms (0.4%)

Counts

4 → 164

Calls

4 calls:

37.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
29.0ms	(.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)
8.0ms	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`
13×	`cos-sum_binary64`
11×	`add-cbrt-cube_binary64`

Counts

4 → 76

Calls

4 calls:

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

simplify221.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

628×	`fma-def_binary64`
594×	`cancel-sign-sub-inv_binary64`
339×	`associate-r_binary64`
327×	`associate-l_binary64`
325×	`neg-mul-1_binary64`

Counts

240 → 161

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	319	6712
1	632	6151
2	2054	5962
3	4105	5897
4	4875	5897
5	4991	5897
6	4905	5897

prune187.0ms (1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	148	13	161
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	150	13	163

Error

2.1b

Counts

163 → 13

Alt Table

Status	Error	Program
	16.5b	(.f64 (sqrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (.f64 (sqrt.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))
	16.3b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) R)
	16.4b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (cbrt.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 phi1))) 3)))) R)
▶	2.3b	(.f64 (acos.f64 (fma.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.0b	(.f64 (.f64 (acos.f64 (fma.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))
	36.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 phi1) (fma.f64 lambda1 (sin.f64 lambda2) (cos.f64 lambda2))) (.f64 1/2 (.f64 (.f64 lambda1 lambda1) (*.f64 (cos.f64 lambda2) (cos.f64 phi1)))))))) R)
	16.9b	(.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) (.f64 (cbrt.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))
	16.4b	(.f64 (expm1.f64 (log1p.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)
	39.6b	(.f64 (sqrt.f64 (.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)) (sqrt.f64 (.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)))
	16.9b	(.f64 (.f64 (cbrt.f64 (.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)) (cbrt.f64 (.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))) (cbrt.f64 (.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)))
	2.3b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))))) R)
	39.0b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (sqrt.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))) (sqrt.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	16.5b	(.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)

Compiler

Compiled 5934 to 1634 computations (72.5% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series136.0ms (0.7%)

Counts

4 → 164

Calls

4 calls:

70.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
45.0ms	(.f64 (acos.f64 (fma.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)
12.0ms	(acos.f64 (fma.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))

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 80

Calls

4 calls:

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

simplify174.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

618×	`associate-r_binary64`
569×	`associate-l_binary64`
488×	`fma-neg_binary64`
363×	`distribute-rgt-neg-in_binary64`
314×	`*-commutative_binary64`

Counts

244 → 184

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	344	9069
1	1009	8619
2	3766	8607
3	4988	8607

prune264.0ms (1.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	172	12	184
Fresh	11	1	12
Picked	1	0	1
Done	0	0	0
Total	184	13	197

Error

2.0b

Counts

197 → 13

Alt Table

Status	Error	Program
	3.2b	(.f64 (.f64 (cbrt.f64 (acos.f64 (fma.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 (fma.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 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))))
	2.6b	(.f64 (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) 3)) R)
	2.3b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (log.f64 (exp.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
	39.0b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (sqrt.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))) (sqrt.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	3.3b	(.f64 (.f64 (acos.f64 (fma.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 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	2.5b	(.f64 (expm1.f64 (log1p.f64 (acos.f64 (fma.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)
	33.1b	(.f64 (sqrt.f64 (.f64 (acos.f64 (fma.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)) (sqrt.f64 (.f64 (acos.f64 (fma.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 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) R)) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) R))) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) R)))
▶	2.3b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.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)
	2.4b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (expm1.f64 (log1p.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
	2.4b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.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)
	2.5b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (cbrt.f64 (pow.f64 (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))) 3)))) R)
	2.6b	(.f64 (sqrt.f64 (acos.f64 (fma.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 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))))

Compiler

Compiled 8356 to 2084 computations (75.1% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(acos.f64 (fma.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))))))
	0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
✓	0.3b	(log.f64 (exp.f64 (acos.f64 (fma.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))))))))
✓	0.4b	(exp.f64 (acos.f64 (fma.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)))))))

series45.0ms (0.2%)

Counts

2 → 96

Calls

2 calls:

31.0ms

(exp.f64 (acos.f64 (fma.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)))))))

13.0ms

(log.f64 (exp.f64 (acos.f64 (fma.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))))))))

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`exp-prod_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-sqr-sqrt_binary64`
5×	`add-cube-cbrt_binary64`
4×	`log-pow_binary64`

Counts

2 → 32

Calls

2 calls:

1.0ms

(log.f64 (exp.f64 (acos.f64 (fma.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))))))))

1.0ms

(exp.f64 (acos.f64 (fma.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)))))))

simplify215.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

862×	`log-prod_binary64`
822×	`unswap-sqr_binary64`
487×	`fma-def_binary64`
377×	`associate-/l/_binary64`
311×	`associate-l_binary64`

Counts

128 → 62

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	75	5089
1	96	4902
2	155	4902
3	257	4902
4	363	4902
5	483	4902
6	721	4902
7	1514	4896
8	4607	4896
9	5621	4896

prune242.0ms (1.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	124	6	130
Fresh	4	8	12
Picked	1	0	1
Done	0	0	0
Total	129	14	143

Error

2.0b

Counts

143 → 14

Alt Table

Status	Error	Program
	3.2b	(.f64 (log.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1)))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1)))))))) (cbrt.f64 (acos.f64 (fma.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.2b	(.f64 (.f64 (cbrt.f64 (acos.f64 (fma.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 (fma.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 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))))
	3.2b	(.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (exp.f64 (acos.f64 (fma.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 (log.f64 (exp.f64 (acos.f64 (fma.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 (log.f64 (exp.f64 (acos.f64 (fma.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)
▶	2.3b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1))))))) R)
	3.3b	(.f64 (.f64 (acos.f64 (fma.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 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	2.5b	(.f64 (expm1.f64 (log1p.f64 (acos.f64 (fma.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)
	33.1b	(.f64 (sqrt.f64 (.f64 (acos.f64 (fma.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)) (sqrt.f64 (.f64 (acos.f64 (fma.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 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) R)) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) R))) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) R)))
	2.5b	(.f64 (log.f64 (.f64 (sqrt.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1))))))) (sqrt.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1))))))))) R)
	2.4b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (expm1.f64 (log1p.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
	2.9b	(.f64 (+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1))))))))) (log.f64 (cbrt.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1))))))))) R)
	2.4b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1)))))) R)
	2.5b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (cbrt.f64 (pow.f64 (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))) 3)))) R)
	2.6b	(.f64 (sqrt.f64 (acos.f64 (fma.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 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))))

Compiler

Compiled 6487 to 1615 computations (75.1% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series49.0ms (0.3%)

Counts

3 → 64

Calls

3 calls:

26.0ms

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

12.0ms

(log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi2) (*.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1)))))))

11.0ms

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

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`*-un-lft-identity_binary64`
6×	`add-sqr-sqrt_binary64`
6×	`exp-prod_binary64`
6×	`add-cube-cbrt_binary64`
4×	`log-pow_binary64`

Counts

3 → 42

Calls

3 calls:

1.0ms

(log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi2) (*.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1)))))))

1.0ms

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

0.0ms

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

simplify187.0ms (1%)

Algorithm

1×	egg-herbie

Rules

862×	`log-prod_binary64`
822×	`unswap-sqr_binary64`
486×	`fma-def_binary64`
377×	`associate-/l/_binary64`
311×	`associate-l_binary64`

Counts

106 → 68

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	71	4346
1	79	4086
2	119	4086
3	213	4086
4	341	4086
5	483	4086
6	721	4086
7	1514	4080
8	4607	4080
9	5621	4080

prune215.0ms (1.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	2	11	13
Picked	0	1	1
Done	0	0	0
Total	116	13	129

Error

2.0b

Counts

129 → 13

Alt Table

Status	Error	Program
	3.2b	(.f64 (log.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1)))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1)))))))) (cbrt.f64 (acos.f64 (fma.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.2b	(.f64 (.f64 (cbrt.f64 (acos.f64 (fma.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 (fma.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 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))))
	3.2b	(.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (exp.f64 (acos.f64 (fma.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 (log.f64 (exp.f64 (acos.f64 (fma.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 (log.f64 (exp.f64 (acos.f64 (fma.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)
✓	2.3b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1))))))) R)
	33.1b	(.f64 (sqrt.f64 (.f64 (acos.f64 (fma.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)) (sqrt.f64 (.f64 (acos.f64 (fma.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 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) R)) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) R))) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) R)))
	2.5b	(.f64 (log.f64 (.f64 (sqrt.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1))))))) (sqrt.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1))))))))) R)
	2.4b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (expm1.f64 (log1p.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
	2.4b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1)))))) R)
	3.3b	(.f64 (.f64 (acos.f64 (fma.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 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	2.5b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (cbrt.f64 (pow.f64 (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))) 3)))) R)
	2.6b	(.f64 (sqrt.f64 (acos.f64 (fma.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 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))))
	2.4b	(.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1)))))))) (log.f64 (sqrt.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1))))))))) R)

Compiler

Compiled 5097 to 1211 computations (76.2% saved)

regimes3.8s (19.7%)

Accuracy

Total 0.3b remaining (8.3%)

Threshold costs 0.3b (8.3%)

Counts

263 → 1

Compiler

Compiled 104364 to 59992 computations (42.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	45
1	30	45
2	30	45

end22.0ms (0.1%)

Remove

(sort phi1 phi2)

(sort lambda1 lambda2)

Compiler

Compiled 160 to 115 computations (28.1% saved)

sample9.0s (46.9%)

Algorithm

1×

intervals

Results

6.3s	5424×	body	1024	valid
939.0ms	1480×	body	512	valid
692.0ms	258×	body	2048	valid
212.0ms	517×	body	256	valid
66.0ms	321×	body	128	valid
2.0ms	2×	body	1024	invalid

Compiler

Compiled 785 to 375 computations (52.2% 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.9%)

sample582.0ms (3%)

simplify12.0ms (0.1%)

prune5.0ms (0%)

localize20.0ms (0.1%)

series79.0ms (0.4%)

rewrite19.0ms (0.1%)

simplify221.0ms (1.2%)

prune187.0ms (1%)

localize25.0ms (0.1%)

series136.0ms (0.7%)

rewrite20.0ms (0.1%)

simplify174.0ms (0.9%)

prune264.0ms (1.4%)

localize28.0ms (0.1%)

series45.0ms (0.2%)

rewrite5.0ms (0%)

simplify215.0ms (1.1%)

prune242.0ms (1.3%)

localize26.0ms (0.1%)

series49.0ms (0.3%)

rewrite6.0ms (0%)

simplify187.0ms (1%)

prune215.0ms (1.1%)

regimes3.8s (19.7%)

simplify2.0ms (0%)

end22.0ms (0.1%)

sample9.0s (46.9%)

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