Details

analyze2.7s (15.5%)

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)

sample8.4s (48%)

Results

5.9s	4648×	body	1024	valid
1.5s	1742×	body	512	valid
364.0ms	139×	body	2048	valid
341.0ms	742×	body	256	valid
254.0ms	985×	body	128	valid

Compiler

Compiled 74 to 44 computations (40.5% saved)

simplify32.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	32
1	21	30
2	28	30
3	35	30
4	42	30
5	68	30
6	98	30
7	132	30
8	176	30
9	220	30
10	288	30
11	310	30
12	346	30
13	393	30
14	403	30
15	421	30
16	442	30
17	449	30
18	470	30
19	478	30
20	480	30
21	453	30

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.8b

Counts

3 → 1

Alt Table

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

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series47.0ms (0.3%)

Counts

4 → 64

Calls

4 calls:

28.0ms	(fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))
12.0ms	(atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))
4.0ms	(sin.f64 (-.f64 lambda1 lambda2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))

rewrite70.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

671×	`prod-diff_binary64`
268×	`log1p-udef_binary64`
147×	`add-sqr-sqrt_binary64`
137×	`log1p-expm1-u_binary64`
137×	`expm1-log1p-u_binary64`

Counts

4 → 117

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	53
1	274	53
2	3451	53
3	5182	53
0	0	0
1	0	0

simplify66.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

594×	`cancel-sign-sub-inv_binary64`
483×	`fma-def_binary64`
479×	`associate-r_binary64`
462×	`associate-l_binary64`
430×	`sub-neg_binary64`

Counts

181 → 177

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	121	1354
1	389	1249
2	1245	1165
3	4326	1161
4	4974	1161

prune272.0ms (1.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	163	14	177
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	164	14	178

Error

0.6b

Counts

178 → 14

Alt Table

Status	Error	Program
	1.0b	(+.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))))
	17.7b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (exp.f64 (log.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	34.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (+.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (neg.f64 (sqrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (sqrt.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	5.1b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (expm1.f64 (log1p.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	1.0b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 3)))
	9.2b	(+.f64 lambda1 (expm1.f64 (log1p.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	0.8b	(+.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)))))))
	0.8b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)) 3))))
	5.8b	(+.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))))
	29.6b	(+.f64 lambda1 (pow.f64 (sqrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) 2))
	0.8b	(+.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))))))
	32.0b	(+.f64 lambda1 (pow.f64 (pow.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 3) 1/3))
▶	0.8b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cos.f64 phi1))))
	1.0b	(+.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))))

Compiler

Compiled 6586 to 1718 computations (73.9% saved)

localize33.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)))
✓	0.5b	(fma.f64 (cos.f64 phi2) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cos.f64 phi1))
✓	0.5b	(pow.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3)
	4.4b	(sin.f64 (-.f64 lambda1 lambda2))

series924.0ms (5.3%)

Counts

3 → 96

Calls

3 calls:

878.0ms

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

26.0ms

(pow.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3)

20.0ms

(*.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)))

rewrite98.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

268×	`log1p-expm1-u_binary64`
268×	`expm1-log1p-u_binary64`
259×	`add-cbrt-cube_binary64`
252×	`add-log-exp_binary64`
251×	`add-cube-cbrt_binary64`

Counts

3 → 47

Calls

3 calls:

97.0ms

(*.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)))

97.0ms

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

97.0ms

(pow.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	97
1	554	95
2	5176	95
0	0	0
1	0	0

simplify290.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

777×	`fma-def_binary64`
761×	`cancel-sign-sub-inv_binary64`
452×	`unswap-sqr_binary64`
300×	`associate-r_binary64`
216×	`fma-neg_binary64`

Counts

143 → 116

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	201	7863
1	646	7823
2	2572	7608
3	5380	7608

prune732.0ms (4.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	176	3	179
Fresh	2	11	13
Picked	1	0	1
Done	0	0	0
Total	179	14	193

Error

0.1b

Counts

193 → 14

Alt Table

Status	Error	Program
	1.0b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 3)))
	9.2b	(+.f64 lambda1 (expm1.f64 (log1p.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	0.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) lambda1 (sin.f64 (neg.f64 lambda2)))) (fma.f64 (cos.f64 phi2) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cos.f64 phi1))))
	0.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (+.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (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) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cos.f64 phi1))))
	0.8b	(+.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)))))))
	0.8b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)) 3))))
	5.8b	(+.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))))
	29.6b	(+.f64 lambda1 (pow.f64 (sqrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) 2))
	17.7b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (exp.f64 (log.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	5.1b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (expm1.f64 (log1p.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	0.8b	(+.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))))))
	32.0b	(+.f64 lambda1 (pow.f64 (pow.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 3) 1/3))
	1.0b	(+.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))))
▶	0.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) lambda1 (fma.f64 -1 (sin.f64 lambda2) (.f64 (.f64 lambda1 lambda1) (-.f64 (.f64 1/2 (sin.f64 lambda2)) (.f64 1/6 (.f64 (cos.f64 lambda2) lambda1))))))) (fma.f64 (cos.f64 phi2) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cos.f64 phi1))))

Compiler

Compiled 16001 to 4411 computations (72.4% saved)

localize39.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 1/6 (.f64 (cos.f64 lambda2) lambda1))
	0.4b	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)))
	0.5b	(fma.f64 (cos.f64 phi2) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cos.f64 phi1))
	0.5b	(pow.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3)

series11.0ms (0.1%)

Counts

1 → 4

Calls

1 calls:

11.0ms

(*.f64 1/6 (*.f64 (cos.f64 lambda2) lambda1))

rewrite41.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

598×	`log1p-expm1-u_binary64`
598×	`expm1-log1p-u_binary64`
343×	`log-prod_binary64`
126×	`pow1/3_binary64`
126×	`expm1-udef_binary64`

Counts

1 → 16

Calls

1 calls:

40.0ms

(*.f64 1/6 (*.f64 (cos.f64 lambda2) lambda1))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	140	9
2	1576	9
3	4980	9
0	0	0
1	0	0

simplify66.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

820×	`distribute-rgt-neg-in_binary64`
729×	`distribute-lft-neg-in_binary64`
484×	`associate-l_binary64`
420×	`associate-r_binary64`
420×	`neg-mul-1_binary64`

Counts

20 → 23

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	25	82
1	69	74
2	198	64
3	616	60
4	2572	60
5	4724	60
6	5069	60

prune514.0ms (2.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	138	1	139
Fresh	0	13	13
Picked	1	0	1
Done	0	0	0
Total	139	14	153

Error

0.1b

Counts

153 → 14

Alt Table

Status	Error	Program
	0.8b	(+.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))))))
	0.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) lambda1 (fma.f64 -1 (sin.f64 lambda2) (.f64 (.f64 lambda1 lambda1) (-.f64 (.f64 1/2 (sin.f64 lambda2)) (.f64 1/6 (.f64 (cos.f64 lambda2) lambda1))))))) (fma.f64 (cos.f64 phi2) (/.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 9)) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cos.f64 phi1))))
	1.0b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 3)))
	9.2b	(+.f64 lambda1 (expm1.f64 (log1p.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
▶	0.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) lambda1 (sin.f64 (neg.f64 lambda2)))) (fma.f64 (cos.f64 phi2) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cos.f64 phi1))))
	0.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (+.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (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) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cos.f64 phi1))))
	0.8b	(+.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)))))))
	0.8b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)) 3))))
	5.8b	(+.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))))
	29.6b	(+.f64 lambda1 (pow.f64 (sqrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) 2))
	17.7b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (exp.f64 (log.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	5.1b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (expm1.f64 (log1p.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	32.0b	(+.f64 lambda1 (pow.f64 (pow.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 3) 1/3))
	1.0b	(+.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))))

Compiler

Compiled 14940 to 5255 computations (64.8% saved)

localize33.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
	0.4b	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)))
	0.5b	(fma.f64 (cos.f64 phi2) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cos.f64 phi1))
	0.5b	(pow.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3)

series23.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

22.0ms

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

rewrite80.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

665×	`prod-diff_binary64`
198×	`expm1-udef_binary64`
198×	`log1p-udef_binary64`
178×	`log-pow_binary64`
172×	`fma-def_binary64`

Counts

1 → 21

Calls

1 calls:

80.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	18
1	207	18
2	2654	18
3	4817	18
4	5132	18
0	0	0
1	0	0

simplify49.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

547×	`distribute-rgt-neg-in_binary64`
506×	`distribute-lft-neg-in_binary64`
474×	`fma-def_binary64`
409×	`associate-l_binary64`
405×	`associate-r_binary64`

Counts

45 → 37

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	81	694
1	247	690
2	744	578
3	2989	556
4	5174	556

prune486.0ms (2.8%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	153	0	153
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	153	14	167

Error

0.1b

Counts

167 → 14

Alt Table

Status	Error	Program
	0.8b	(+.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))))))
	0.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) lambda1 (fma.f64 -1 (sin.f64 lambda2) (.f64 (.f64 lambda1 lambda1) (-.f64 (.f64 1/2 (sin.f64 lambda2)) (.f64 1/6 (.f64 (cos.f64 lambda2) lambda1))))))) (fma.f64 (cos.f64 phi2) (/.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 9)) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cos.f64 phi1))))
	1.0b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 3)))
	9.2b	(+.f64 lambda1 (expm1.f64 (log1p.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
✓	0.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) lambda1 (sin.f64 (neg.f64 lambda2)))) (fma.f64 (cos.f64 phi2) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cos.f64 phi1))))
	0.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (+.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (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) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cos.f64 phi1))))
	0.8b	(+.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)))))))
	0.8b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)) 3))))
	5.8b	(+.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))))
	29.6b	(+.f64 lambda1 (pow.f64 (sqrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) 2))
	17.7b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (exp.f64 (log.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	5.1b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (expm1.f64 (log1p.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	32.0b	(+.f64 lambda1 (pow.f64 (pow.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 3) 1/3))
	1.0b	(+.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))))

Compiler

Compiled 13292 to 3943 computations (70.3% saved)

regimes2.2s (12.3%)

Accuracy

Total 0.1b remaining (53.4%)

Threshold costs 0.1b (53.4%)

Counts

201 → 1

Compiler

Compiled 80906 to 39196 computations (51.6% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative_binary64`
13×	`+-commutative_binary64`
9×	`sub-neg_binary64`
8×	`distribute-rgt-neg-in_binary64`
8×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	120
1	55	120
2	76	120
3	94	120
4	104	120
5	108	120
6	109	120
7	109	120

end330.0ms (1.9%)

Compiler: Compiled 779 to 348 computations (55.3% saved)

Iter	Nodes	Cost
0	15	32
1	21	30
2	28	30
3	35	30
4	42	30
5	68	30
6	98	30
7	132	30
8	176	30
9	220	30
10	288	30
11	310	30
12	346	30
13	393	30
14	403	30
15	421	30
16	442	30
17	449	30
18	470	30
19	478	30
20	480	30
21	453	30

Iter	Nodes	Cost
0	15	32
1	21	30
2	28	30
3	35	30
4	42	30
5	68	30
6	98	30
7	132	30
8	176	30
9	220	30
10	288	30
11	310	30
12	346	30
13	393	30
14	403	30
15	421	30
16	442	30
17	449	30
18	470	30
19	478	30
20	480	30
21	453	30

Details

analyze2.7s (15.5%)

sample8.4s (48%)

simplify32.0ms (0.2%)

prune4.0ms (0%)

localize16.0ms (0.1%)

series47.0ms (0.3%)

rewrite70.0ms (0.4%)

simplify66.0ms (0.4%)

prune272.0ms (1.5%)

localize33.0ms (0.2%)

series924.0ms (5.3%)

rewrite98.0ms (0.6%)

simplify290.0ms (1.6%)

prune732.0ms (4.2%)

localize39.0ms (0.2%)

series11.0ms (0.1%)

rewrite41.0ms (0.2%)

simplify66.0ms (0.4%)

prune514.0ms (2.9%)

localize33.0ms (0.2%)

series23.0ms (0.1%)

rewrite80.0ms (0.5%)

simplify49.0ms (0.3%)

prune486.0ms (2.8%)

regimes2.2s (12.3%)

simplify6.0ms (0%)

end330.0ms (1.9%)

Profiling

Iter	Nodes	Cost
0	15	32
1	21	30
2	28	30
3	35	30
4	42	30
5	68	30
6	98	30
7	132	30
8	176	30
9	220	30
10	288	30
11	310	30
12	346	30
13	393	30
14	403	30
15	421	30
16	442	30
17	449	30
18	470	30
19	478	30
20	480	30
21	453	30