Details

analyze3.5s (19%)

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)

sample618.0ms (3.4%)

Algorithm

1×

intervals

Symmetry

(sort lambda1 lambda2)

(sort phi1 phi2)

Results

195.0ms	168×	body	1024	valid
36.0ms	14×	body	2048	valid
33.0ms	51×	body	512	valid
7.0ms	17×	body	256	valid
1.0ms	6×	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

13.7b

Counts

3 → 2

Alt Table

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

13.7b

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

▶

13.7b

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

Compiler

Compiled 136 to 86 computations (36.8% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series61.0ms (0.3%)

Counts

4 → 124

Calls

4 calls:

37.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
10.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
10.0ms	(*.f64 (sin.f64 phi1) (sin.f64 phi2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 74

Calls

4 calls:

4.0ms	(cos.f64 (-.f64 lambda1 lambda2))
3.0ms	(*.f64 (sin.f64 phi1) (sin.f64 phi2))
3.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
1.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

simplify162.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

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

Counts

198 → 134

Iterations

Useful iterations: 4 (0.0ms)

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

prune155.0ms (0.8%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	119	15	134
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	121	15	136

Error

3.0b

Counts

136 → 15

Alt Table

Status	Error	Program
	14.4b	(.f64 (.f64 (cbrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (cbrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) (.f64 R (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 phi1))))))))
	13.9b	(.f64 (expm1.f64 (log1p.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)
	13.9b	(.f64 (.f64 (sqrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (sqrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	13.9b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (.f64 (.f64 (cbrt.f64 (cos.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (cos.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	51.3b	(.f64 (acos.f64 (+.f64 (exp.f64 (+.f64 (log.f64 (sin.f64 phi1)) (log.f64 (sin.f64 phi2)))) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)
	37.6b	(.f64 (sqrt.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)) (sqrt.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)))
	14.3b	(.f64 (.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi2) (cos.f64 phi1)))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi2) (cos.f64 phi1))))))) (cbrt.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)
	43.4b	(cbrt.f64 (.f64 (.f64 (.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (.f64 (.f64 R R) R)))
	13.8b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (log.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	14.3b	(.f64 (.f64 (cbrt.f64 (.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)) (cbrt.f64 (.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R))) (cbrt.f64 (.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) R)))
▶	3.2b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) R)
	13.7b	(.f64 (log.f64 (exp.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	14.3b	(.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))))) (*.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	13.7b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) R)
	13.9b	(.f64 (sqrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (.f64 R (sqrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 phi1))))))))

Compiler

Compiled 5376 to 1528 computations (71.6% saved)

localize27.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 (sin.f64 phi1) (sin.f64 phi2))
✓	0.3b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) R)
✓	1.1b	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))

series108.0ms (0.6%)

Counts

3 → 116

Calls

3 calls:

79.0ms

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

19.0ms

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

11.0ms

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

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 51

Calls

3 calls:

3.0ms

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

3.0ms

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

1.0ms

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

simplify206.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

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

Counts

167 → 96

Iterations

Useful iterations: 3 (0.0ms)

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

prune234.0ms (1.3%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	121	13	134
Fresh	8	6	14
Picked	1	0	1
Done	0	0	0
Total	130	19	149

Error

2.9b

Counts

149 → 19

Alt Table

Status	Error	Program
	13.8b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (log.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	3.3b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))) R)
	3.5b	(.f64 (sqrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (.f64 R (sqrt.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))))
	3.3b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))) R)
	3.3b	(.f64 (acos.f64 (+.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 phi2) (sin.f64 phi2)) (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)
	4.1b	(.f64 (.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R))) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)))
	3.4b	(.f64 (expm1.f64 (log1p.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))) R)
	40.0b	(cbrt.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R) 3))
	3.2b	(.f64 (acos.f64 (+.f64 (.f64 (cos.f64 phi2) (.f64 (cos.f64 lambda2) (.f64 (cos.f64 phi1) (cos.f64 lambda1)))) (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (sin.f64 lambda1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 lambda2) (cos.f64 phi1))))))) R)
	13.9b	(.f64 (.f64 (sqrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (sqrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	13.9b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (.f64 (.f64 (cbrt.f64 (cos.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (cos.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	37.6b	(.f64 (sqrt.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)) (sqrt.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)))
	14.3b	(.f64 (.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi2) (cos.f64 phi1)))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi2) (cos.f64 phi1))))))) (cbrt.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.5b	(.f64 (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) 3)) R)
	32.9b	(.f64 (.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (sqrt.f64 R)) (sqrt.f64 R))
	4.1b	(.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) (.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	40.1b	(cbrt.f64 (.f64 (.f64 (.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (.f64 (.f64 R R) R)))
	14.4b	(.f64 (.f64 (cbrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (cbrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) (.f64 R (cbrt.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.2b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)))))) R)

Compiler

Compiled 6519 to 1767 computations (72.9% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)))))) R)
✓	0.3b	(pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)
✓	1.1b	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3))))))
✓	31.7b	(cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3))

series140.0ms (0.8%)

Counts

4 → 156

Calls

4 calls:

76.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)))))) R)
32.0ms	(pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)
21.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3))))))
11.0ms	(cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
9×	`pow1_binary64`
8×	`*-un-lft-identity_binary64`

Counts

4 → 75

Calls

4 calls:

3.0ms	(pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)
3.0ms	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)))))) R)
2.0ms	(cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3))
1.0ms	(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3))))))

simplify210.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

707×	`fma-neg_binary64`
559×	`fma-def_binary64`
513×	`*-commutative_binary64`
290×	`cancel-sign-sub-inv_binary64`
198×	`sub-neg_binary64`

Counts

231 → 153

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	196	8107
1	465	6698
2	1496	6606
3	3571	6582
4	4954	6582
5	4938	6582

prune312.0ms (1.7%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	148	5	153
Fresh	6	12	18
Picked	1	0	1
Done	0	0	0
Total	155	17	172

Error

2.9b

Counts

172 → 17

Alt Table

Status	Error	Program
▶	3.2b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))) R)
	3.3b	(.f64 (acos.f64 (+.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 phi2) (sin.f64 phi2)) (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)
	4.1b	(.f64 (.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R))) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)))
	3.4b	(.f64 (expm1.f64 (log1p.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))) R)
	14.4b	(.f64 (.f64 (cbrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (cbrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) (.f64 R (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 phi1))))))))
	13.9b	(.f64 (.f64 (sqrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))) (sqrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	13.9b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (.f64 (.f64 (cbrt.f64 (cos.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (cos.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	37.6b	(.f64 (sqrt.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)) (sqrt.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)))
	14.3b	(.f64 (.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi2) (cos.f64 phi1)))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi2) (cos.f64 phi1))))))) (cbrt.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.5b	(.f64 (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) 3)) R)
	13.8b	(.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (log.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2))))))) R)
	32.9b	(.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))) (sqrt.f64 R)) (sqrt.f64 R))
	3.5b	(.f64 (sqrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (.f64 R (sqrt.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))))
	4.1b	(.f64 (.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)))))) (.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	40.1b	(cbrt.f64 (.f64 (.f64 (.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (.f64 (.f64 R R) R)))
	3.3b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))) R)
	40.0b	(cbrt.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R) 3))

Compiler

Compiled 7443 to 2574 computations (65.4% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series85.0ms (0.5%)

Counts

4 → 108

Calls

4 calls:

36.0ms	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))) R)
26.0ms	(exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))
12.0ms	(log.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2))))))
11.0ms	(acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2))))

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

simplify267.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

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

Counts

174 → 88

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	95	7290
1	129	6869
2	252	6869
3	391	6869
4	659	6863
5	1226	6863
6	2999	6863
7	4798	6863
8	5065	6863

prune141.0ms (0.8%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	79	9	88
Fresh	7	9	16
Picked	1	0	1
Done	0	0	0
Total	87	18	105

Error

2.8b

Counts

105 → 18

Alt Table

Status	Error	Program
	4.0b	(.f64 (.f64 (cbrt.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))))) (cbrt.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))))) (.f64 (cbrt.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))))) R))
	4.0b	(.f64 (log.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))) (cbrt.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))))) (cbrt.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))))) R)
	3.4b	(.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))) 3))) R)
	32.9b	(.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))) (sqrt.f64 R)) (sqrt.f64 R))
	4.1b	(.f64 (cbrt.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))) (.f64 R (.f64 (cbrt.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))) (cbrt.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))))))
	3.3b	(.f64 (log.f64 (/.f64 (sqrt.f64 (exp.f64 (PI.f64))) (exp.f64 (asin.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))))) R)
	4.1b	(.f64 (.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)))))) (.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	40.0b	(cbrt.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R) 3))
	40.1b	(cbrt.f64 (.f64 (.f64 (.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (.f64 (.f64 R R) R)))
	3.3b	(.f64 (acos.f64 (+.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 phi1) (sin.f64 phi1)) (sin.f64 phi1)) (.f64 (.f64 (sin.f64 phi2) (sin.f64 phi2)) (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)
	4.1b	(.f64 (.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R))) (cbrt.f64 (.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)))
	3.4b	(.f64 (log.f64 (expm1.f64 (log1p.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))))) R)
	3.3b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))) R)
	37.6b	(.f64 (sqrt.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)) (sqrt.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)))
	14.3b	(.f64 (.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi2) (cos.f64 phi1)))))) (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi2) (cos.f64 phi1))))))) (cbrt.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)
	4.1b	(.f64 (.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))) (.f64 (cbrt.f64 R) (cbrt.f64 R))) (cbrt.f64 R))
	3.4b	(.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (.f64 (sin.f64 phi1) (sin.f64 phi2))))))) (log.f64 (sqrt.f64 (exp.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (sin.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (*.f64 (sin.f64 phi1) (sin.f64 phi2)))))))) R)
	3.5b	(.f64 (sqrt.f64 (acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (.f64 R (sqrt.f64 (acos.f64 (fma.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))))

Compiler

Compiled 4685 to 746 computations (84.1% saved)

regimes2.8s (15.1%)

Accuracy

Total 0.4b remaining (8.6%)

Threshold costs 0.4b (8.6%)

Counts

186 → 1

Compiler

Compiled 76788 to 44519 computations (42% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
1×	`exp-1-e_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	45
1	33	45
2	32	45

end33.0ms (0.2%)

Remove: (sort lambda1 lambda2)
Compiler: Compiled 224 to 161 computations (28.1% saved)

sample9.2s (50.1%)

Algorithm

1×

intervals

Results

6.2s	5450×	body	1024	valid
898.0ms	1458×	body	512	valid
758.0ms	288×	body	2048	valid
219.0ms	538×	body	256	valid
55.0ms	266×	body	128	valid
2.0ms	2×	body	1024	invalid
1.0ms	1×	body	512	invalid

Compiler

Compiled 1015 to 483 computations (52.4% 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.5s (19%)

sample618.0ms (3.4%)

simplify12.0ms (0.1%)

prune5.0ms (0%)

localize19.0ms (0.1%)

series61.0ms (0.3%)

rewrite15.0ms (0.1%)

simplify162.0ms (0.9%)

prune155.0ms (0.8%)

localize27.0ms (0.1%)

series108.0ms (0.6%)

rewrite9.0ms (0.1%)

simplify206.0ms (1.1%)

prune234.0ms (1.3%)

localize29.0ms (0.2%)

series140.0ms (0.8%)

rewrite13.0ms (0.1%)

simplify210.0ms (1.1%)

prune312.0ms (1.7%)

localize29.0ms (0.2%)

series85.0ms (0.5%)

rewrite12.0ms (0.1%)

simplify267.0ms (1.5%)

prune141.0ms (0.8%)

regimes2.8s (15.1%)

simplify3.0ms (0%)

end33.0ms (0.2%)

sample9.2s (50.1%)

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