Details

analyze3.6s (20.1%)

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.3s (58.1%)

Results

7.9s	5668×	body	1024	valid
1.2s	1445×	body	512	valid
818.0ms	279×	body	2048	valid
301.0ms	556×	body	256	valid
102.0ms	308×	body	128	valid
3.0ms	2×	body	1024	invalid
1.0ms	2×	body	512	invalid

Compiler

Compiled 50 to 36 computations (28% saved)

preprocess71.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

1299×	`fma-def_binary64`
458×	`fma-neg_binary64`
236×	`cancel-sign-sub-inv_binary64`
181×	`distribute-rgt-in_binary64`
160×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	92	319
1	181	319
2	307	319
3	402	319
4	466	319
5	670	319
6	894	319
7	1289	319
8	2073	319
9	3037	319
10	3654	319
11	4561	319
0	5	5
1	5	5

Stop Event

1×	unsound
1×	node limit

Symmetry

(sort lambda1 lambda2)

(sort phi1 phi2)

Compiler

Compiled 24 to 17 computations (29.2% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	29
1	28	29
2	44	29
3	57	29
4	67	29
5	85	29
6	123	29
7	160	29
8	206	29
9	243	29
10	269	29
11	271	29

Stop Event

1×

saturated

Counts

1 → 2

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

14.5b

Counts

3 → 2

Alt Table

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

▶

14.5b

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

14.5b

(*.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 89 computations (34.6% saved)

localize17.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 lambda2 lambda1)))
✓	0.3b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1))))) R)
✓	0.5b	(acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)))))
✓	4.1b	(cos.f64 (-.f64 lambda2 lambda1))

series72.0ms (0.4%)

Counts

4 → 164

Calls

45 calls:

4.0ms	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1))))) R)	R	-inf
3.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)))	lambda2	-inf
3.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)))	lambda1	0
3.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)))	lambda2	inf
3.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda2 lambda1)))	phi1	-inf

rewrite70.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

355×	`log1p-udef_binary64`
195×	`add-sqr-sqrt_binary64`
181×	`log1p-expm1-u_binary64`
181×	`expm1-log1p-u_binary64`
180×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	77
1	362	77
2	4849	77

Stop Event

1×	node limit

Counts

4 → 81

simplify95.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

573×	`cancel-sign-sub-inv_binary64`
568×	`fma-def_binary64`
442×	`*-commutative_binary64`
334×	`sub-neg_binary64`
248×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	136	4331
1	434	4272
2	1451	4154
3	4577	4154

Stop Event

1×	node limit

Counts

245 → 133

prune177.0ms (1%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	114	19	133
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	116	19	135

Error

1.9b

Counts

135 → 19

Alt Table

Status	Error	Program
	2.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (+.f64 (.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))) (.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))))) R)
	14.7b	(.f64 (/.f64 (-.f64 (pow.f64 (.f64 (PI.f64) 1/2) 3) (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3)) (+.f64 (.f64 (.f64 (PI.f64) 1/2) (.f64 (PI.f64) 1/2)) (+.f64 (.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) (.f64 (.f64 (PI.f64) 1/2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))))))) R)
	46.4b	(cbrt.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R) 3))
	14.8b	(.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) 2))) R)
	38.7b	(pow.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)) 2)
	14.7b	(.f64 (-.f64 (exp.f64 (log1p.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))))) 1) R)
	14.5b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (-.f64 lambda2 lambda1)))) 1)))) R)
	15.1b	(pow.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)) 3)
▶	2.1b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) R)
	14.5b	(.f64 (log1p.f64 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))))) R)
	2.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) R)
	14.7b	(.f64 (pow.f64 (sqrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))))) 2) R)
	14.7b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (pow.f64 (cbrt.f64 (cos.f64 (-.f64 lambda2 lambda1))) 3)))) R)
	14.6b	(*.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (log.f64 (pow.f64 (pow.f64 (exp.f64 (cos.f64 phi2)) (cos.f64 phi1)) (cos.f64 (-.f64 lambda2 lambda1)))))) R)
	14.6b	(.f64 (/.f64 (-.f64 (.f64 (.f64 (PI.f64) 1/2) (.f64 (PI.f64) 1/2)) (.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))))) (+.f64 (.f64 (PI.f64) 1/2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))))) R)
	46.5b	(cbrt.f64 (.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3) (pow.f64 R 3)))
	54.5b	(pow.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R) 3) 1/3)
	14.5b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))))) R)
	15.2b	(.f64 (pow.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))))) 3) R)

Compiler

Compiled 4836 to 1754 computations (63.7% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series124.0ms (0.7%)

Counts

4 → 180

Calls

45 calls:

7.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))	lambda2	inf
7.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))	phi1	-inf
6.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))	phi1	inf
6.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))	lambda1	inf
6.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1))))	phi2	inf

rewrite36.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

246×	`add-sqr-sqrt_binary64`
229×	`log1p-expm1-u_binary64`
229×	`expm1-log1p-u_binary64`
226×	`add-cbrt-cube_binary64`
225×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	109
1	466	79

Stop Event

1×	node limit

Counts

4 → 62

simplify99.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

383×	`fma-neg_binary64`
345×	`associate-r_binary64`
300×	`distribute-rgt-neg-in_binary64`
284×	`distribute-lft-neg-in_binary64`
283×	`associate--l+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	200	6295
1	666	6237
2	2451	6034

Stop Event

1×	node limit

Counts

242 → 118

prune200.0ms (1.1%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	111	7	118
Fresh	5	13	18
Picked	1	0	1
Done	0	0	0
Total	117	20	137

Error

1.9b

Counts

137 → 20

Alt Table

Status	Error	Program
	14.7b	(.f64 (expm1.f64 (log1p.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))))))) R)
	14.7b	(.f64 (/.f64 (-.f64 (pow.f64 (.f64 (PI.f64) 1/2) 3) (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3)) (+.f64 (.f64 (.f64 (PI.f64) 1/2) (.f64 (PI.f64) 1/2)) (+.f64 (.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) (.f64 (.f64 (PI.f64) 1/2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))))))) R)
	14.5b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))))))) R)
	46.4b	(cbrt.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R) 3))
	14.8b	(.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) 2))) R)
	14.6b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1))))))) R)
	38.7b	(pow.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)) 2)
	14.5b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (-.f64 lambda2 lambda1)))) 1)))) R)
	14.6b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (log.f64 (pow.f64 (exp.f64 (cos.f64 phi1)) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1))))))) R)
	54.5b	(pow.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R) 3) 1/3)
	2.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (pow.f64 (cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))) 3))))) R)
	14.7b	(.f64 (pow.f64 (sqrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))))) 2) R)
	14.7b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (pow.f64 (cbrt.f64 (cos.f64 (-.f64 lambda2 lambda1))) 3)))) R)
	14.6b	(*.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (log.f64 (pow.f64 (pow.f64 (exp.f64 (cos.f64 phi2)) (cos.f64 phi1)) (cos.f64 (-.f64 lambda2 lambda1)))))) R)
	46.5b	(cbrt.f64 (.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3) (pow.f64 R 3)))
	15.1b	(pow.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)) 3)
▶	2.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) R)
	2.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) 3)))))) R)
	2.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda1)) (sin.f64 lambda2))))))) R)
	15.2b	(.f64 (pow.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))))) 3) R)

Compiler

Compiled 5016 to 1907 computations (62% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series109.0ms (0.6%)

Counts

3 → 156

Calls

39 calls:

8.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))	phi1	inf
6.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))	lambda1	-inf
6.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))	phi1	-inf
6.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))	lambda1	inf
6.0ms	(.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda2) (sin.f64 lambda1))))	phi2	-inf

rewrite35.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

226×	`add-sqr-sqrt_binary64`
207×	`log1p-expm1-u_binary64`
207×	`expm1-log1p-u_binary64`
206×	`add-log-exp_binary64`
205×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	101
1	427	71

Stop Event

1×	node limit

Counts

3 → 55

simplify93.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

906×	`cancel-sign-sub-inv_binary64`
343×	`fma-neg_binary64`
317×	`associate-r_binary64`
292×	`associate--l+_binary64`
254×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	173	5964
1	570	5916
2	2148	5759

Stop Event

1×	node limit

Counts

211 → 95

prune194.0ms (1.1%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	124	1	125
Fresh	1	18	19
Picked	1	0	1
Done	0	0	0
Total	126	19	145

Error

1.9b

Counts

145 → 19

Alt Table

Status	Error	Program
	14.7b	(.f64 (expm1.f64 (log1p.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))))))) R)
	14.7b	(.f64 (/.f64 (-.f64 (pow.f64 (.f64 (PI.f64) 1/2) 3) (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3)) (+.f64 (.f64 (.f64 (PI.f64) 1/2) (.f64 (PI.f64) 1/2)) (+.f64 (.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) (.f64 (.f64 (PI.f64) 1/2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))))))) R)
	14.5b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))))))) R)
	46.4b	(cbrt.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R) 3))
	14.8b	(.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) 2))) R)
	14.6b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1))))))) R)
	38.7b	(pow.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)) 2)
	14.5b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (-.f64 lambda2 lambda1)))) 1)))) R)
	14.6b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (log.f64 (pow.f64 (exp.f64 (cos.f64 phi1)) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1))))))) R)
	54.5b	(pow.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R) 3) 1/3)
	2.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (pow.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) 3))))) R)
	14.7b	(.f64 (pow.f64 (sqrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))))) 2) R)
	14.7b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (pow.f64 (cbrt.f64 (cos.f64 (-.f64 lambda2 lambda1))) 3)))) R)
	14.6b	(*.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (log.f64 (pow.f64 (pow.f64 (exp.f64 (cos.f64 phi2)) (cos.f64 phi1)) (cos.f64 (-.f64 lambda2 lambda1)))))) R)
	46.5b	(cbrt.f64 (.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3) (pow.f64 R 3)))
	15.1b	(pow.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)) 3)
▶	2.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) 3)))))) R)
	2.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda1)) (sin.f64 lambda2))))))) R)
	15.2b	(.f64 (pow.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))))) 3) R)

Compiler

Compiled 5204 to 1947 computations (62.6% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series88.0ms (0.5%)

Counts

4 → 156

Calls

39 calls:

6.0ms	(pow.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) 3)	lambda2	inf
5.0ms	(pow.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) 3)	lambda1	-inf
4.0ms	(pow.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) 3)	lambda1	inf
4.0ms	(pow.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) 3)	lambda2	-inf
4.0ms	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) 3)))))) R)	lambda2	inf

rewrite40.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

263×	`add-sqr-sqrt_binary64`
249×	`log1p-expm1-u_binary64`
249×	`expm1-log1p-u_binary64`
245×	`add-cbrt-cube_binary64`
242×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	94
1	528	74

Stop Event

1×	node limit

Counts

4 → 72

simplify106.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

607×	`associate-r_binary64`
583×	`associate-l_binary64`
426×	`fma-def_binary64`
290×	`cancel-sign-sub-inv_binary64`
266×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	97	4912
1	282	4896
2	1029	4824
3	4892	4824

Stop Event

1×	node limit

Counts

228 → 109

prune171.0ms (1%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	107	2	109
Fresh	1	17	18
Picked	0	1	1
Done	0	0	0
Total	108	20	128

Error

1.9b

Counts

128 → 20

Alt Table

Status	Error	Program
	14.7b	(.f64 (expm1.f64 (log1p.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))))))) R)
	14.7b	(.f64 (/.f64 (-.f64 (pow.f64 (.f64 (PI.f64) 1/2) 3) (pow.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3)) (+.f64 (.f64 (.f64 (PI.f64) 1/2) (.f64 (PI.f64) 1/2)) (+.f64 (.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) (.f64 (.f64 (PI.f64) 1/2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))))))) R)
	14.5b	(.f64 (log.f64 (exp.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1)))))))) R)
	46.4b	(cbrt.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R) 3))
	14.8b	(.f64 (.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2)))))) (cbrt.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))) 2))) R)
	14.6b	(.f64 (-.f64 (/.f64 (PI.f64) 2) (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1))))))) R)
	38.7b	(pow.f64 (sqrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)) 2)
	14.5b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (-.f64 lambda2 lambda1)))) 1)))) R)
	14.6b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (log.f64 (pow.f64 (exp.f64 (cos.f64 phi1)) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda2 lambda1))))))) R)
	54.5b	(pow.f64 (pow.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R) 3) 1/3)
	2.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda1)) (sin.f64 lambda2))))))) R)
	2.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (log.f64 (pow.f64 (exp.f64 (sin.f64 lambda2)) (sin.f64 lambda1))))))) R)
	2.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (pow.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) 3))))) R)
	14.7b	(.f64 (pow.f64 (sqrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))))) 2) R)
	14.7b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (pow.f64 (cbrt.f64 (cos.f64 (-.f64 lambda2 lambda1))) 3)))) R)
	2.2b	(.f64 (acos.f64 (fma.f64 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (sin.f64 phi1) (sin.f64 phi2)))) R)
	46.5b	(cbrt.f64 (.f64 (pow.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) 3) (pow.f64 R 3)))
	15.1b	(pow.f64 (cbrt.f64 (.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) R)) 3)
✓	2.2b	(.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) 3)))))) R)
	15.2b	(.f64 (pow.f64 (cbrt.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))))) 3) R)

Compiler

Compiled 3998 to 1514 computations (62.1% saved)

regimes1.6s (8.8%)

Accuracy

Total 0.2b remaining (6.3%)

Threshold costs 0.2b (6.3%)

Counts

128 → 1

Compiler

Compiled 37558 to 25392 computations (32.4% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	45
1	30	45

Stop Event

1×

saturated

end419.0ms (2.4%)

Stop Event

1×

fuel

Remove

(sort phi1 phi2)

(sort lambda1 lambda2)

Compiler

Compiled 828 to 557 computations (32.7% saved)

Iter	Nodes	Cost
0	18	29
1	28	29
2	44	29
3	57	29
4	67	29
5	85	29
6	123	29
7	160	29
8	206	29
9	243	29
10	269	29
11	271	29

Iter	Nodes	Cost
0	18	29
1	28	29
2	44	29
3	57	29
4	67	29
5	85	29
6	123	29
7	160	29
8	206	29
9	243	29
10	269	29
11	271	29

Details

analyze3.6s (20.1%)

sample10.3s (58.1%)

preprocess71.0ms (0.4%)

simplify10.0ms (0.1%)

prune6.0ms (0%)

localize17.0ms (0.1%)

series72.0ms (0.4%)

rewrite70.0ms (0.4%)

simplify95.0ms (0.5%)

prune177.0ms (1%)

localize26.0ms (0.1%)

series124.0ms (0.7%)

rewrite36.0ms (0.2%)

simplify99.0ms (0.6%)

prune200.0ms (1.1%)

localize23.0ms (0.1%)

series109.0ms (0.6%)

rewrite35.0ms (0.2%)

simplify93.0ms (0.5%)

prune194.0ms (1.1%)

localize27.0ms (0.1%)

series88.0ms (0.5%)

rewrite40.0ms (0.2%)

simplify106.0ms (0.6%)

prune171.0ms (1%)

regimes1.6s (8.8%)

simplify2.0ms (0%)

end419.0ms (2.4%)

Profiling

Iter	Nodes	Cost
0	18	29
1	28	29
2	44	29
3	57	29
4	67	29
5	85	29
6	123	29
7	160	29
8	206	29
9	243	29
10	269	29
11	271	29