Details

analyze3.7s (19.3%)

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)

sample626.0ms (3.3%)

Algorithm

1×

intervals

Symmetry

(sort lambda1 lambda2)

(sort phi1 phi2)

Results

209.0ms	175×	body	1024	valid
38.0ms	58×	body	512	valid
22.0ms	8×	body	2048	valid
3.0ms	6×	body	256	valid
2.0ms	9×	body	128	valid

Compiler

Compiled 54 to 40 computations (25.9% saved)

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

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

18.3b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 88 to 52 computations (40.9% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series82.0ms (0.4%)

Counts

4 → 164

Calls

4 calls:

37.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
30.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)
10.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))

rewrite18.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)
0.0ms	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

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

prune184.0ms (1%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	143	18	161
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	144	18	162

Error

2.6b

Counts

162 → 18

Alt Table

Status	Error	Program
	47.8b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (exp.f64 (+.f64 (log.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2))) (log.f64 (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	18.5b	(.f64 (.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)))))) (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)
	18.4b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (log1p.f64 (expm1.f64 (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	41.3b	(.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))))) (sqrt.f64 R)) (sqrt.f64 R))
	18.4b	(.f64 (log.f64 (exp.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)
	18.9b	(.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))
	18.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)) (cos.f64 (-.f64 lambda1 lambda2)))))) R)
▶	2.9b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) R)
	18.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)))
	18.4b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cbrt.f64 (pow.f64 (cos.f64 (-.f64 lambda1 lambda2)) 3))))) R)
	18.4b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (log.f64 (exp.f64 (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	2.9b	(.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)
	18.9b	(.f64 (.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))))))) (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)
	18.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)
	18.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))
	18.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)
	41.3b	(.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)))
	45.4b	(cbrt.f64 (pow.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) 3))

Compiler

Compiled 6180 to 1808 computations (70.7% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series141.0ms (0.7%)

Counts

4 → 164

Calls

4 calls:

62.0ms	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) R)
51.0ms	(.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
18.0ms	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
10.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-cbrt-cube_binary64`
20×	`add-exp-log_binary64`
20×	`pow1_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`cbrt-unprod_binary64`

Counts

4 → 78

Calls

4 calls:

6.0ms	(.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (*.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 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) R)
0.0ms	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))

simplify196.0ms (1%)

Algorithm

1×	egg-herbie

Rules

987×	`fma-neg_binary64`
636×	`cancel-sign-sub-inv_binary64`
529×	`associate-r_binary64`
462×	`associate-l_binary64`
326×	`distribute-rgt-neg-in_binary64`

Counts

242 → 162

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	277	9603
1	761	7949
2	2538	7777
3	4291	7775
4	4955	7775

prune255.0ms (1.3%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	149	13	162
Fresh	14	3	17
Picked	1	0	1
Done	0	0	0
Total	164	16	180

Error

2.5b

Counts

180 → 16

Alt Table

Status	Error	Program
	34.2b	(.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.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 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) R)))
	18.4b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (log1p.f64 (expm1.f64 (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	47.8b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (exp.f64 (+.f64 (log.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2))) (log.f64 (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	39.6b	(cbrt.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) R) 3))
▶	2.9b	(.f64 (log1p.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
	3.1b	(.f64 (sqrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (.f64 (sqrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R))
	3.7b	(.f64 (.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
	2.9b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
	2.9b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R)
	3.7b	(.f64 (.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) R)) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) R))) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) R)))
	3.0b	(.f64 (expm1.f64 (log1p.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
	34.3b	(.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (sqrt.f64 R)) (sqrt.f64 R))
	3.7b	(.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (*.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	3.1b	(.f64 (.f64 (sqrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (sqrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
	3.1b	(.f64 (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) 3)) R)
	18.4b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (log.f64 (exp.f64 (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) R)

Compiler

Compiled 8409 to 2037 computations (75.8% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
✓	0.3b	(.f64 (log1p.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
✓	0.4b	(expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
	0.9b	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))

series118.0ms (0.6%)

Counts

2 → 108

Calls

2 calls:

67.0ms

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

50.0ms

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

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 31

Calls

2 calls:

3.0ms

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

0.0ms

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

simplify198.0ms (1%)

Algorithm

1×	egg-herbie

Rules

858×	`distribute-rgt-in_binary64`
534×	`fma-def_binary64`
409×	`unswap-sqr_binary64`
310×	`associate-l_binary64`
300×	`*-commutative_binary64`

Counts

139 → 54

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	75	7161
1	143	5746
2	312	5466
3	447	5466
4	702	5466
5	1270	5466
6	2355	5466
7	5031	5466

prune276.0ms (1.4%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	130	12	142
Fresh	8	7	15
Picked	1	0	1
Done	0	0	0
Total	139	19	158

Error

2.4b

Counts

158 → 19

Alt Table

Status	Error	Program
	47.8b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (exp.f64 (+.f64 (log.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2))) (log.f64 (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	18.4b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (log1p.f64 (expm1.f64 (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	2.9b	(.f64 (log1p.f64 (expm1.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) R)
	2.9b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
	21.6b	(expm1.f64 (log1p.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R)))
	3.1b	(.f64 (log1p.f64 (expm1.f64 (.f64 (sqrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (sqrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))) R)
	3.3b	(.f64 (log1p.f64 (.f64 (.f64 (cbrt.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) (cbrt.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))) (cbrt.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))) R)
	3.7b	(.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (*.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
▶	2.9b	(.f64 (log1p.f64 (log.f64 (exp.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))) R)
	3.7b	(.f64 (.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
	34.2b	(.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R)) (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R)))
	2.9b	(.f64 (log1p.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (log.f64 (exp.f64 (.f64 (sin.f64 lambda1) (.f64 (cos.f64 phi2) (*.f64 (cos.f64 phi1) (sin.f64 lambda2))))))))))) R)
	3.7b	(.f64 (.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R)) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R))) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R)))
	2.9b	(.f64 (log1p.f64 (.f64 (sqrt.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) (sqrt.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))) R)
	34.3b	(.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (sqrt.f64 R)) (sqrt.f64 R))
	3.0b	(.f64 (sqrt.f64 (log1p.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.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 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))
	3.7b	(.f64 (.f64 (cbrt.f64 (log1p.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) (cbrt.f64 (log1p.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.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 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))
	39.6b	(cbrt.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R) 3))
	18.4b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (log.f64 (exp.f64 (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) R)

Compiler

Compiled 8365 to 2100 computations (74.9% saved)

localize32.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
✓	0.4b	(log.f64 (exp.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
	0.9b	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
✓	0.9b	(exp.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))

series139.0ms (0.7%)

Counts

2 → 96

Calls

2 calls:

85.0ms

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

53.0ms

(log.f64 (exp.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (*.f64 (cos.f64 lambda1) (*.f64 (cos.f64 phi2) (cos.f64 phi1)))) (*.f64 (*.f64 (cos.f64 phi2) (cos.f64 phi1)) (*.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 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (*.f64 (cos.f64 lambda1) (*.f64 (cos.f64 phi2) (cos.f64 phi1)))) (*.f64 (*.f64 (cos.f64 phi2) (cos.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))

1.0ms

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

simplify300.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

765×	`fma-def_binary64`
481×	`fma-neg_binary64`
277×	`associate-/l*_binary64`
236×	`log-prod_binary64`
211×	`times-frac_binary64`

Counts

128 → 59

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	71	6701
1	116	5410
2	202	5150
3	337	5150
4	672	5150
5	1137	5150
6	2130	5150
7	4514	5144
8	4878	5144
9	4967	5144
10	4997	5144
11	4877	5144

prune233.0ms (1.2%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	92	7	99
Fresh	6	12	18
Picked	1	0	1
Done	0	0	0
Total	99	19	118

Error

2.4b

Counts

118 → 19

Alt Table

Status	Error	Program
	34.3b	(.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (sqrt.f64 R)) (sqrt.f64 R))
	3.1b	(.f64 (log1p.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) (cbrt.f64 (exp.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))) (log.f64 (cbrt.f64 (exp.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))))) R)
	2.9b	(.f64 (log1p.f64 (log.f64 (/.f64 (exp.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) (E.f64)))) R)
	3.7b	(.f64 (.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
	34.2b	(.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R)) (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R)))
	2.9b	(.f64 (log1p.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (log.f64 (exp.f64 (.f64 (sin.f64 lambda1) (.f64 (cos.f64 phi2) (*.f64 (cos.f64 phi1) (sin.f64 lambda2))))))))))) R)
	3.7b	(.f64 (.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R)) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R))) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R)))
	2.9b	(.f64 (log1p.f64 (log.f64 (exp.f64 (expm1.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))) R)
	39.6b	(cbrt.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R) 3))
	18.4b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (log.f64 (exp.f64 (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	2.9b	(.f64 (log1p.f64 (log.f64 (.f64 (sqrt.f64 (exp.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) (sqrt.f64 (exp.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))))) R)
	18.4b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (log1p.f64 (expm1.f64 (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	2.9b	(.f64 (log1p.f64 (.f64 (sqrt.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) (sqrt.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))) R)
	2.9b	(.f64 (log1p.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))) (log.f64 (sqrt.f64 (exp.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))))) R)
	3.1b	(.f64 (log1p.f64 (+.f64 (.f64 (log.f64 (cbrt.f64 (exp.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))) 2) (log.f64 (cbrt.f64 (exp.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))))) R)
	3.3b	(.f64 (log1p.f64 (log.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) (cbrt.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))) (cbrt.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))) R)
	3.7b	(.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (*.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	3.0b	(.f64 (sqrt.f64 (log1p.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.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 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))
	3.7b	(.f64 (.f64 (cbrt.f64 (log1p.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))) (cbrt.f64 (log1p.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.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 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))

Compiler

Compiled 5917 to 1041 computations (82.4% saved)

regimes2.8s (14.6%)

Accuracy

Total 0.4b remaining (10%)

Threshold costs 0.4b (10%)

Counts

195 → 1

Compiler

Compiled 84074 to 46456 computations (44.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	29	63
1	36	63
2	36	63

end22.0ms (0.1%)

Remove

(sort phi1 phi2)

(sort lambda1 lambda2)

Compiler

Compiled 210 to 140 computations (33.3% saved)

sample9.5s (49.5%)

Algorithm

1×

intervals

Results

6.6s	5471×	body	1024	valid
979.0ms	1456×	body	512	valid
768.0ms	280×	body	2048	valid
211.0ms	495×	body	256	valid
65.0ms	298×	body	128	valid
1.0ms	1×	body	1024	invalid
1.0ms	1×	body	512	invalid

Compiler

Compiled 1196 to 549 computations (54.1% 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.7s (19.3%)

sample626.0ms (3.3%)

simplify13.0ms (0.1%)

prune4.0ms (0%)

localize18.0ms (0.1%)

series82.0ms (0.4%)

rewrite18.0ms (0.1%)

simplify229.0ms (1.2%)

prune184.0ms (1%)

localize25.0ms (0.1%)

series141.0ms (0.7%)

rewrite19.0ms (0.1%)

simplify196.0ms (1%)

prune255.0ms (1.3%)

localize28.0ms (0.1%)

series118.0ms (0.6%)

rewrite6.0ms (0%)

simplify198.0ms (1%)

prune276.0ms (1.4%)

localize32.0ms (0.2%)

series139.0ms (0.7%)

rewrite5.0ms (0%)

simplify300.0ms (1.6%)

prune233.0ms (1.2%)

regimes2.8s (14.6%)

simplify3.0ms (0%)

end22.0ms (0.1%)

sample9.5s (49.5%)

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