Details

analyze3.6s (17.8%)

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.6s (51.9%)

Symmetry

(sort lambda1 lambda2)

(sort phi1 phi2)

Results

7.9s	5689×	body	1024	valid
1.2s	1457×	body	512	valid
652.0ms	222×	body	2048	valid
321.0ms	564×	body	256	valid
96.0ms	324×	body	128	valid
2.0ms	2×	body	1024	invalid
1.0ms	1×	body	512	invalid
0.0ms	1×	body	128	invalid

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

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

19.2b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 88 to 52 computations (40.9% saved)

localize20.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)
✓	1.4b	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
✓	2.4b	(cos.f64 (-.f64 lambda1 lambda2))

series74.0ms (0.4%)

Counts

4 → 164

Calls

4 calls:

34.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
28.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))

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

simplify232.0ms (1.1%)

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

prune192.0ms (0.9%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	145	16	161
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	146	16	162

Error

5.0b

Counts

162 → 16

Alt Table

Status	Error	Program
	19.3b	(.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))
	19.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)
	5.2b	(.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)
	50.4b	(cbrt.f64 (.f64 (.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))))) (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (acos.f64 (fma.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)))
	19.8b	(.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)))
	19.3b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (log.f64 (pow.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2))) (.f64 (cos.f64 phi2) (cos.f64 phi1)))))) R)
	29.7b	(expm1.f64 (log1p.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)))
▶	5.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)
	19.3b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (expm1.f64 (log1p.f64 (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	19.8b	(.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)
	36.6b	(.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)
	40.6b	(.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))
	19.8b	(.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))
	19.2b	(.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)
	19.8b	(.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))
	40.7b	(.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 R)) (.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 R)))

Compiler

Compiled 6210 to 1748 computations (71.9% saved)

localize24.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)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) R)
✓	0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
✓	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))))
✓	1.4b	(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))))))

series130.0ms (0.6%)

Counts

4 → 164

Calls

4 calls:

68.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
41.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)
11.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))

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

8.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
3.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))))))

simplify180.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

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

Counts

244 → 175

Iterations

Useful iterations: 2 (0.0ms)

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

prune265.0ms (1.3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	163	12	175
Fresh	12	3	15
Picked	1	0	1
Done	0	0	0
Total	176	15	191

Error

4.9b

Counts

191 → 15

Alt Table

Status	Error	Program
	5.4b	(.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 lambda1) (sin.f64 lambda2) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))))
▶	5.2b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) R)
	6.0b	(.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 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))))
	5.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)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R)
	33.7b	(.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)))
	5.3b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (log.f64 (exp.f64 (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) R)
	50.4b	(cbrt.f64 (.f64 (.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))))) (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (acos.f64 (fma.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)))
	5.4b	(.f64 (expm1.f64 (log1p.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) R)
	5.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 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))) 3)))) R)
	6.1b	(.f64 (.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.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 lambda1) (sin.f64 lambda2) (.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 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) R)))
	19.3b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (expm1.f64 (log1p.f64 (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	21.1b	(expm1.f64 (log1p.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) R)))
	40.6b	(.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))
	6.0b	(.f64 (.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1)))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) R)
	6.1b	(.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) (.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))

Compiler

Compiled 8328 to 2083 computations (75% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series85.0ms (0.4%)

Counts

4 → 144

Calls

4 calls:

37.0ms	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) R)
25.0ms	(exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (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 (sin.f64 lambda1) (sin.f64 lambda2) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1)))))))
10.0ms	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1)))))

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

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

simplify311.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

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

Counts

210 → 109

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	101	8602
1	143	8181
2	268	8181
3	445	8181
4	699	8175
5	1226	8175
6	2999	8175
7	4798	8175
8	5065	8175

prune184.0ms (0.9%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	99	10	109
Fresh	6	8	14
Picked	1	0	1
Done	0	0	0
Total	106	18	124

Error

4.8b

Counts

124 → 18

Alt Table

Status	Error	Program
	6.0b	(.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 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))))
▶	5.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)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R)
	33.7b	(.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (cos.f64 phi2) (cos.f64 phi1))))) R)) (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (*.f64 (cos.f64 phi2) (cos.f64 phi1))))) R)))
	5.9b	(.f64 (+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (cos.f64 phi2) (cos.f64 phi1))))))))) (log.f64 (cbrt.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (cos.f64 phi2) (cos.f64 phi1))))))))) R)
	5.4b	(.f64 (expm1.f64 (log1p.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) R)
	6.1b	(.f64 (.f64 (cbrt.f64 (.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) R)) (cbrt.f64 (.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) R))) (cbrt.f64 (.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) R)))
	5.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 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))) 3)))) R)
	5.4b	(.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (cos.f64 phi2) (cos.f64 phi1)))))) 3))) R)
	6.1b	(.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) (.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	5.4b	(.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 lambda1) (sin.f64 lambda2) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))))
	46.0b	(cbrt.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (cos.f64 phi2) (cos.f64 phi1))))) R) 3))
	6.1b	(.f64 (.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.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 lambda1) (sin.f64 lambda2) (.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 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) R)))
	19.3b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (expm1.f64 (log1p.f64 (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	34.4b	(.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (*.f64 (cos.f64 phi2) (cos.f64 phi1))))) (sqrt.f64 R)) (sqrt.f64 R))
	6.0b	(.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 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1)))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1)))))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1)))))))) R)
	6.1b	(.f64 (.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) (.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	5.4b	(.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 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) (sqrt.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))))) R)
	6.0b	(.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1)))))) (.f64 (log.f64 (exp.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1)))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))))) R))

Compiler

Compiled 6404 to 1265 computations (80.2% 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 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
✓	0.5b	(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))))))
✓	1.3b	(-.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)))))))

series31.0ms (0.2%)

Counts

2 → 96

Calls

2 calls:

19.0ms

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

11.0ms

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

rewrite24.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

49×	`add-sqr-sqrt_binary64`
46×	`*-un-lft-identity_binary64`
44×	`add-cube-cbrt_binary64`
39×	`prod-diff_binary64`
37×	`times-frac_binary64`

Counts

2 → 82

Calls

2 calls:

8.0ms

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

0.0ms

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

simplify292.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

1004×	`fma-def_binary64`
503×	`fma-neg_binary64`
414×	`times-frac_binary64`
357×	`distribute-rgt-in_binary64`
302×	`associate-l_binary64`

Counts

178 → 124

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	156	11412
1	249	9072
2	663	7546
3	1909	7546
4	4377	7509
5	4935	7509
6	4999	7509

prune358.0ms (1.8%)

Pruning

22 alts after pruning (21 fresh and 1 done)

	Pruned	Kept	Total
New	237	6	243
Fresh	2	15	17
Picked	0	1	1
Done	0	0	0
Total	239	22	261

Error

4.6b

Counts

261 → 22

Alt Table

Status	Error	Program
	5.4b	(.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 lambda1) (sin.f64 lambda2) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))))
	6.7b	(.f64 (+.f64 (fma.f64 (/.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) 1) (/.f64 (cbrt.f64 (PI.f64)) 2) (neg.f64 (.f64 (cbrt.f64 (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))))))) (.f64 (cbrt.f64 (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))))))) (cbrt.f64 (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))))))))))) (fma.f64 (neg.f64 (cbrt.f64 (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)))))))) (.f64 (cbrt.f64 (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))))))) (cbrt.f64 (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)))))))) (.f64 (cbrt.f64 (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))))))) (.f64 (cbrt.f64 (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))))))) (cbrt.f64 (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)
✓	5.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)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) R)
	34.3b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (sqrt.f64 (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))))))) (sqrt.f64 (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)))))))))) (fma.f64 (neg.f64 (sqrt.f64 (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)))))))) (sqrt.f64 (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))))))) (.f64 (sqrt.f64 (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))))))) (sqrt.f64 (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)
	6.0b	(.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 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))))
	33.7b	(.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (cos.f64 phi2) (cos.f64 phi1))))) R)) (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (*.f64 (cos.f64 phi2) (cos.f64 phi1))))) R)))
	5.9b	(.f64 (+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (cos.f64 phi2) (cos.f64 phi1))))))))) (log.f64 (cbrt.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (cos.f64 phi2) (cos.f64 phi1))))))))) R)
	5.4b	(.f64 (expm1.f64 (log1p.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) R)
	5.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 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))) 3)))) R)
	5.9b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 (.f64 (cbrt.f64 (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))))))) (cbrt.f64 (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)))))))) (cbrt.f64 (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)
	6.1b	(.f64 (.f64 (cbrt.f64 (.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) R)) (cbrt.f64 (.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) R))) (cbrt.f64 (.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) R)))
	5.4b	(.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (cos.f64 phi2) (cos.f64 phi1)))))) 3))) R)
	6.1b	(.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) (.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	34.5b	(.f64 (+.f64 (fma.f64 (/.f64 (sqrt.f64 (PI.f64)) 1) (/.f64 (sqrt.f64 (PI.f64)) 2) (neg.f64 (.f64 (sqrt.f64 (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))))))) (sqrt.f64 (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)))))))))) (fma.f64 (neg.f64 (sqrt.f64 (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)))))))) (sqrt.f64 (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))))))) (.f64 (sqrt.f64 (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))))))) (sqrt.f64 (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)
	7.9b	(.f64 (+.f64 (fma.f64 (/.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 2)) (neg.f64 (.f64 (cbrt.f64 (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))))))) (.f64 (cbrt.f64 (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))))))) (cbrt.f64 (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))))))))))) (fma.f64 (neg.f64 (cbrt.f64 (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)))))))) (.f64 (cbrt.f64 (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))))))) (cbrt.f64 (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)))))))) (.f64 (cbrt.f64 (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))))))) (.f64 (cbrt.f64 (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))))))) (cbrt.f64 (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)
	46.0b	(cbrt.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (cos.f64 phi2) (cos.f64 phi1))))) R) 3))
	6.1b	(.f64 (.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.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 lambda1) (sin.f64 lambda2) (.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 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))) R)))
	19.3b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (expm1.f64 (log1p.f64 (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	34.4b	(.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (*.f64 (cos.f64 phi2) (cos.f64 phi1))))) (sqrt.f64 R)) (sqrt.f64 R))
	6.1b	(.f64 (.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) (.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	7.6b	(.f64 (fma.f64 (/.f64 (sqrt.f64 (PI.f64)) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 (sqrt.f64 (PI.f64)) (cbrt.f64 2)) (neg.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))) R)
	6.0b	(.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1)))))) (.f64 (log.f64 (exp.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1)))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi2) (.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cos.f64 phi1))))))))) R))

Compiler

Compiled 16955 to 3316 computations (80.4% saved)

regimes3.1s (15.2%)

Accuracy

Total 0.6b remaining (14.3%)

Threshold costs 0.6b (14.3%)

Counts

221 → 1

Compiler

Compiled 103278 to 52554 computations (49.1% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
1×	`*-lft-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	39
1	30	39
2	29	39

end544.0ms (2.7%)

Remove

(sort phi1 phi2)

(sort lambda1 lambda2)

Compiler

Compiled 1924 to 715 computations (62.8% 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 (17.8%)

sample10.6s (51.9%)

simplify11.0ms (0.1%)

prune4.0ms (0%)

localize20.0ms (0.1%)

series74.0ms (0.4%)

rewrite18.0ms (0.1%)

simplify232.0ms (1.1%)

prune192.0ms (0.9%)

localize24.0ms (0.1%)

series130.0ms (0.6%)

rewrite19.0ms (0.1%)

simplify180.0ms (0.9%)

prune265.0ms (1.3%)

localize26.0ms (0.1%)

series85.0ms (0.4%)

rewrite12.0ms (0.1%)

simplify311.0ms (1.5%)

prune184.0ms (0.9%)

localize25.0ms (0.1%)

series31.0ms (0.2%)

rewrite24.0ms (0.1%)

simplify292.0ms (1.4%)

prune358.0ms (1.8%)

regimes3.1s (15.2%)

simplify2.0ms (0%)

end544.0ms (2.7%)

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