Details

analyze2.7s (13.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
9.4%	90.4%	0.2%	9
9.4%	90.4%	0.2%	10
10.9%	88.9%	0.2%	11
10.9%	88.9%	0.2%	12
10.9%	88.9%	0.2%	13
10.9%	88.9%	0.2%	14

Compiler

Compiled 25 to 15 computations (40% saved)

sample7.4s (36.8%)

Results

5.2s	4564×	body	1024	valid
1.2s	1820×	body	512	valid
337.0ms	763×	body	256	valid
269.0ms	108×	body	2048	valid
238.0ms	1001×	body	128	valid

Compiler

Compiled 74 to 44 computations (40.5% saved)

simplify28.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

284×	`fma-def_binary64`
141×	`fma-neg_binary64`
44×	`distribute-rgt-in_binary64`
39×	`cancel-sign-sub-inv_binary64`
35×	`sub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	32
1	21	30
2	28	30
3	35	30
4	45	30
5	71	30
6	115	30
7	168	30
8	240	30
9	327	30
10	454	30
11	600	30
12	646	30
13	748	30
14	852	30
15	874	30
16	907	30
17	951	30
18	994	30
19	1015	30
20	1017	30

Stop Event

1×

saturated

Counts

1 → 2

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

1.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	1.0b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))

Compiler

Compiled 89 to 43 computations (51.7% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2)))
✓	0.6b	(fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))
✓	4.1b	(sin.f64 (-.f64 lambda1 lambda2))
✓	4.1b	(cos.f64 (-.f64 lambda1 lambda2))

series50.0ms (0.2%)

Counts

4 → 76

Calls

4 calls:

29.0ms	(fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))
14.0ms	(*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2)))
3.0ms	(cos.f64 (-.f64 lambda1 lambda2))
3.0ms	(sin.f64 (-.f64 lambda1 lambda2))

rewrite61.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

671×	`prod-diff_binary64`
250×	`log1p-udef_binary64`
137×	`add-sqr-sqrt_binary64`
128×	`log1p-expm1-u_binary64`
128×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	37
1	255	37
2	3383	37

Stop Event

1×	node limit

Counts

4 → 115

Calls

4 calls:

59.0ms	(*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2)))
59.0ms	(fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))
59.0ms	(sin.f64 (-.f64 lambda1 lambda2))
59.0ms	(cos.f64 (-.f64 lambda1 lambda2))

simplify42.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

872×	`cancel-sign-sub-inv_binary64`
728×	`fma-def_binary64`
293×	`distribute-rgt-neg-in_binary64`
271×	`distribute-lft-neg-in_binary64`
265×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	160	1717
1	528	1597
2	1815	1465

Stop Event

1×	node limit

Counts

191 → 198

prune294.0ms (1.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	185	13	198
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	186	13	199

Error

0.8b

Counts

199 → 13

Alt Table

Status	Error	Program
	5.7b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (-.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (pow.f64 (cos.f64 phi1) 2)) (-.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))
	17.9b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sqrt.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	1.3b	(+.f64 lambda1 (atan2.f64 (pow.f64 (cbrt.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (.f64 1/2 (sin.f64 lambda2)) (.f64 lambda1 lambda1) (-.f64 (.f64 (cos.f64 lambda2) lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	15.0b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (sqrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 2)))
	15.0b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (exp.f64 (log1p.f64 (sin.f64 (-.f64 lambda1 lambda2)))) 1)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	1.4b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (+.f64 (cos.f64 lambda2) (fma.f64 lambda1 (sin.f64 lambda2) (.f64 (.f64 lambda1 lambda1) (.f64 (cos.f64 lambda2) -1/2)))) (cos.f64 phi1))))
▶	1.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 2))))
	3.9b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (-.f64 (exp.f64 (log1p.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) 1)))
	1.1b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	7.1b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (cbrt.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 3))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	1.2b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (+.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))))))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))

Compiler

Compiled 7109 to 1895 computations (73.3% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)
✓	1.4b	(-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))
	4.1b	(sin.f64 (-.f64 lambda1 lambda2))
	4.1b	(cos.f64 (-.f64 lambda1 lambda2))

series93.0ms (0.5%)

Counts

2 → 84

Calls

2 calls:

47.0ms	(-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))
46.0ms	(pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)

rewrite63.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

324×	`log1p-udef_binary64`
182×	`add-sqr-sqrt_binary64`
179×	`log1p-expm1-u_binary64`
179×	`expm1-log1p-u_binary64`
176×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	38
1	363	35
2	4898	35

Stop Event

1×	node limit

Counts

2 → 72

Calls

2 calls:

61.0ms	(pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)
61.0ms	(-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))

simplify57.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

524×	`fma-neg_binary64`
461×	`associate-r_binary64`
423×	`unswap-sqr_binary64`
319×	`associate-l_binary64`
237×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	230	2745
1	767	2623
2	3175	2618

Stop Event

1×	node limit

Counts

156 → 126

prune1.2s (6.1%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	346	8	354
Fresh	4	8	12
Picked	1	0	1
Done	0	0	0
Total	351	16	367

Error

0.7b

Counts

367 → 16

Alt Table

Status	Error	Program
	17.9b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sqrt.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	7.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (cbrt.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 3))) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 2))))
	1.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cbrt.f64 (pow.f64 (cos.f64 (-.f64 lambda1 lambda2)) 3)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 2)) (.f64 (cbrt.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 2))) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (pow.f64 (cbrt.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	1.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (/.f64 (-.f64 (pow.f64 (cos.f64 phi1) 4) (.f64 (.f64 (cos.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (neg.f64 (cos.f64 phi2)))) (.f64 (cos.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (neg.f64 (cos.f64 phi2)))))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (neg.f64 (cos.f64 phi2))))))))))
	1.1b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	15.0b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (sqrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 2)))
	1.4b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (+.f64 (cos.f64 lambda2) (fma.f64 lambda1 (sin.f64 lambda2) (.f64 (.f64 lambda1 lambda1) (.f64 (cos.f64 lambda2) -1/2)))) (cos.f64 phi1))))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (fma.f64 (cos.f64 phi2) (.f64 lambda1 (.f64 (cos.f64 phi1) (neg.f64 (sin.f64 lambda2)))) (pow.f64 (cos.f64 phi1) 2)) (.f64 (cos.f64 phi2) (*.f64 (cos.f64 phi1) (cos.f64 lambda2))))))))
▶	1.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	3.9b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (-.f64 (exp.f64 (log1p.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) 1)))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (.f64 1/2 (sin.f64 lambda2)) (.f64 lambda1 lambda1) (-.f64 (.f64 (cos.f64 lambda2) lambda1) (sin.f64 lambda2)))) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 3)) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.2b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (+.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))))))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))

Compiler

Compiled 26218 to 6969 computations (73.4% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(pow.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3)
	1.4b	(-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))
	4.1b	(sin.f64 (-.f64 lambda1 lambda2))
	4.1b	(cos.f64 (-.f64 lambda1 lambda2))

series96.0ms (0.5%)

Counts

1 → 36

Calls

1 calls:

96.0ms

(pow.f64 (*.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3)

rewrite47.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

477×	`prod-diff_binary64`
256×	`expm1-udef_binary64`
256×	`log1p-udef_binary64`
144×	`add-sqr-sqrt_binary64`
136×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	24
1	287	14
2	3497	14

Stop Event

1×	node limit

Counts

1 → 27

Calls

1 calls:

47.0ms

(pow.f64 (*.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3)

simplify65.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

757×	`unswap-sqr_binary64`
711×	`associate-r_binary64`
503×	`associate-l_binary64`
314×	`fma-neg_binary64`
302×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	241	2331
1	842	2312
2	4216	2309

Stop Event

1×	node limit

Counts

63 → 53

prune1.5s (7.4%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	310	4	314
Fresh	1	14	15
Picked	1	0	1
Done	0	0	0
Total	312	18	330

Error

0.7b

Counts

330 → 18

Alt Table

Status	Error	Program
	1.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 2))))
	1.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cbrt.f64 (pow.f64 (cos.f64 (-.f64 lambda1 lambda2)) 3)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 2)) (.f64 (cbrt.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 2))) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (pow.f64 (cbrt.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	17.9b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sqrt.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 2))) (/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	3.9b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (-.f64 (exp.f64 (log1p.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) 1)))
▶	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 3)) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (/.f64 (-.f64 (pow.f64 (cos.f64 phi1) 4) (.f64 (.f64 (cos.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (neg.f64 (cos.f64 phi2)))) (.f64 (cos.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (neg.f64 (cos.f64 phi2)))))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (neg.f64 (cos.f64 phi2))))))))))
	1.1b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	15.0b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (sqrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 2)))
	1.4b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (+.f64 (cos.f64 lambda2) (fma.f64 lambda1 (sin.f64 lambda2) (.f64 (.f64 lambda1 lambda1) (.f64 (cos.f64 lambda2) -1/2)))) (cos.f64 phi1))))
	7.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (cbrt.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 3))) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (fma.f64 (cos.f64 phi2) (.f64 lambda1 (.f64 (cos.f64 phi1) (neg.f64 (sin.f64 lambda2)))) (pow.f64 (cos.f64 phi1) 2)) (.f64 (cos.f64 phi2) (*.f64 (cos.f64 phi1) (cos.f64 lambda2))))))))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (-.f64 (.f64 (cos.f64 lambda2) lambda1) (sin.f64 lambda2))) (/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (.f64 1/2 (sin.f64 lambda2)) (.f64 lambda1 lambda1) (-.f64 (.f64 (cos.f64 lambda2) lambda1) (sin.f64 lambda2)))) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.2b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (+.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))))))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	1.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))

Compiler

Compiled 26814 to 7231 computations (73% saved)

localize37.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(+.f64 (pow.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3))
	0.6b	(pow.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3)
	1.4b	(-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))
	4.1b	(cos.f64 (-.f64 lambda1 lambda2))

series203.0ms (1%)

Counts

1 → 48

Calls

1 calls:

203.0ms

(+.f64 (pow.f64 (*.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3))

rewrite57.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

342×	`log1p-udef_binary64`
192×	`add-sqr-sqrt_binary64`
183×	`log1p-expm1-u_binary64`
183×	`expm1-log1p-u_binary64`
181×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	32
1	381	22
2	4965	22

Stop Event

1×	node limit

Counts

1 → 41

Calls

1 calls:

56.0ms

(+.f64 (pow.f64 (*.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3))

simplify99.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

791×	`associate-r_binary64`
548×	`associate-l_binary64`
389×	`fma-def_binary64`
295×	`fma-neg_binary64`
281×	`*-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	281	6029
1	988	6005
2	4775	6005

Stop Event

1×	node limit

Counts

89 → 79

prune2.0s (10%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	320	9	329
Fresh	6	11	17
Picked	1	0	1
Done	0	0	0
Total	327	20	347

Error

0.6b

Counts

347 → 20

Alt Table

Status	Error	Program
	5.6b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (/.f64 (-.f64 (/.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 6) (-.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3))) (/.f64 (pow.f64 (cos.f64 phi1) 6) (-.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)))) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	7.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (cbrt.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 3))) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (fma.f64 (cos.f64 phi2) (.f64 lambda1 (.f64 (cos.f64 phi1) (neg.f64 (sin.f64 lambda2)))) (pow.f64 (cos.f64 phi1) 2)) (.f64 (cos.f64 phi2) (*.f64 (cos.f64 phi1) (cos.f64 lambda2))))))))
	1.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (fma.f64 lambda1 (sin.f64 lambda2) (cos.f64 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 2))))
	1.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cbrt.f64 (pow.f64 (cos.f64 (-.f64 lambda1 lambda2)) 3)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.3b	(+.f64 lambda1 (atan2.f64 (pow.f64 (cbrt.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	11.2b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.1b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	15.0b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (sqrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 2)))
	1.4b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (+.f64 (cos.f64 lambda2) (fma.f64 lambda1 (sin.f64 lambda2) (.f64 (.f64 lambda1 lambda1) (.f64 (cos.f64 lambda2) -1/2)))) (cos.f64 phi1))))
	1.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (/.f64 (+.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) 3)) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	5.6b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (/.f64 (.f64 (-.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 6) (pow.f64 (cos.f64 phi1) 6)) (/.f64 1 (-.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)))) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	13.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 1 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))))))
	5.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (*.f64 (sqrt.f64 (pow.f64 (cos.f64 (-.f64 lambda1 lambda2)) 2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	3.9b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (-.f64 (exp.f64 (log1p.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) 1)))
	1.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (/.f64 (log.f64 (exp.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3) (pow.f64 (cos.f64 phi1) 3)))) (+.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) (-.f64 (pow.f64 (cos.f64 phi1) 2) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))))))
	1.2b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (+.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (cbrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))))))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))

Compiler

Compiled 30749 to 8644 computations (71.9% saved)

regimes3.3s (16.6%)

Accuracy

Total 0.2b remaining (24.2%)

Threshold costs 0.2b (24.2%)

Counts

299 → 1

Compiler

Compiled 115129 to 54813 computations (52.4% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

15×	`*-commutative_binary64`
14×	`+-commutative_binary64`
11×	`sub-neg_binary64`
9×	`neg-sub0_binary64`
9×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	122
1	58	122
2	86	122
3	103	122
4	114	122
5	117	122

Stop Event

1×

saturated

end571.0ms (2.9%)

Compiler: Compiled 1366 to 639 computations (53.2% saved)

Details

analyze2.7s (13.3%)

sample7.4s (36.8%)

simplify28.0ms (0.1%)

prune3.0ms (0%)

localize14.0ms (0.1%)

series50.0ms (0.2%)

rewrite61.0ms (0.3%)

simplify42.0ms (0.2%)

prune294.0ms (1.5%)

localize25.0ms (0.1%)

series93.0ms (0.5%)

rewrite63.0ms (0.3%)

simplify57.0ms (0.3%)

prune1.2s (6.1%)

localize35.0ms (0.2%)

series96.0ms (0.5%)

rewrite47.0ms (0.2%)

simplify65.0ms (0.3%)

prune1.5s (7.4%)

localize37.0ms (0.2%)

series203.0ms (1%)

rewrite57.0ms (0.3%)

simplify99.0ms (0.5%)

prune2.0s (10%)

regimes3.3s (16.6%)

simplify6.0ms (0%)

end571.0ms (2.9%)

Profiling