Details

analyze2.6s (17.9%)

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

Results

5.3s	4650×	body	1024	valid
1.2s	1767×	body	512	valid
363.0ms	778×	body	256	valid
322.0ms	133×	body	2048	valid
216.0ms	928×	body	128	valid

Compiler

Compiled 50 to 30 computations (40% saved)

preprocess87.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

732×	`fma-def_binary64`
699×	`fma-neg_binary64`
225×	`unsub-neg_binary64`
186×	`cancel-sign-sub-inv_binary64`
169×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	224
1	100	210
2	130	210
3	164	210
4	214	210
5	377	210
6	540	210
7	952	210
8	1385	210
9	1779	210
10	2307	210
11	2972	210
12	3608	210
13	3856	210
14	3960	210
15	4031	210
16	4058	210
0	4	4

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 24 to 14 computations (41.7% saved)

simplify28.0ms (0.2%)

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

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

1.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	1.1b	(+.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))))
	1.1b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))

Status

Error

Program

▶

1.1b

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

1.1b

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

Compiler

Compiled 137 to 71 computations (48.2% 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.5b	(fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))
✓	3.0b	(cos.f64 (-.f64 lambda1 lambda2))
✓	3.1b	(sin.f64 (-.f64 lambda1 lambda2))

series62.0ms (0.4%)

Counts

4 → 76

Calls

33 calls:

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

rewrite67.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

671×	`prod-diff_binary64`
250×	`log1p-udef_binary64`
139×	`add-sqr-sqrt_binary64`
138×	`*-un-lft-identity_binary64`
138×	`pow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

4 → 115

simplify52.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

872×	`cancel-sign-sub-inv_binary64`
736×	`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

prune361.0ms (2.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	184	14	198
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	186	14	200

Error

0.8b

Counts

200 → 14

Alt Table

Status	Error	Program
	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))))))
	25.9b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 lambda1)) (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))) (fma.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1))))
	16.5b	(+.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.2b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (pow.f64 (cbrt.f64 (cos.f64 (-.f64 lambda1 lambda2))) 3) (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)))))))
	4.7b	(+.f64 lambda1 (atan2.f64 (cbrt.f64 (pow.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))) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)) 3))))
	1.4b	(+.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)))
	16.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (pow.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)) 3) 1/3)))
	5.8b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (sqrt.f64 (pow.f64 (cos.f64 (-.f64 lambda1 lambda2)) 2)) (cos.f64 phi1))))
	1.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 3)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	5.3b	(+.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)))
	5.8b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 3) (pow.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) 3)) (+.f64 (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))

Compiler

Compiled 7031 to 1918 computations (72.7% saved)

localize20.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.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
✓	0.5b	(fma.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1))
	3.1b	(sin.f64 (-.f64 lambda1 lambda2))

series71.0ms (0.5%)

Counts

2 → 56

Calls

18 calls:

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

rewrite48.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

566×	`prod-diff_binary64`
266×	`log1p-udef_binary64`
148×	`add-sqr-sqrt_binary64`
147×	`*-un-lft-identity_binary64`
147×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	32
1	279	22
2	3470	22

Stop Event

1×	node limit

Counts

2 → 43

simplify44.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

904×	`fma-def_binary64`
731×	`cancel-sign-sub-inv_binary64`
608×	`associate-l_binary64`
206×	`distribute-rgt-neg-in_binary64`
193×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	142	1917
1	472	1823
2	1677	1624

Stop Event

1×	node limit

Counts

99 → 92

prune398.0ms (2.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	192	2	194
Fresh	4	9	13
Picked	1	0	1
Done	0	0	0
Total	197	11	208

Error

0.1b

Counts

208 → 11

Alt Table

Status	Error	Program
	1.2b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (pow.f64 (cbrt.f64 (cos.f64 (-.f64 lambda1 lambda2))) 3) (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)))))))
	4.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (-.f64 (.f64 (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))) (pow.f64 (cos.f64 phi1) 2)) (-.f64 (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (cos.f64 phi1)))))
	4.7b	(+.f64 lambda1 (atan2.f64 (cbrt.f64 (pow.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))) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)) 3))))
	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))))))
	16.5b	(+.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))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 3)))
	16.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (pow.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)) 3) 1/3)))
	1.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 3)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
▶	0.3b	(+.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))))) (fma.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1))))

Compiler

Compiled 7768 to 1968 computations (74.7% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series56.0ms (0.4%)

Counts

2 → 84

Calls

21 calls:

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

rewrite64.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

926×	`prod-diff_binary64`
203×	`add-sqr-sqrt_binary64`
200×	`*-un-lft-identity_binary64`
200×	`pow1_binary64`
185×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	72
1	386	58
2	4923	58

Stop Event

1×	node limit

Counts

2 → 35

simplify79.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

555×	`fma-def_binary64`
481×	`associate-l_binary64`
473×	`associate-r_binary64`
402×	`sub-neg_binary64`
328×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	102	3417
1	313	3413
2	1045	3372
3	4846	3372

Stop Event

1×	node limit

Counts

119 → 61

prune331.0ms (2.3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	150	3	153
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	152	12	164

Error

0.1b

Counts

164 → 12

Alt Table

Status	Error	Program
	1.2b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (pow.f64 (cbrt.f64 (cos.f64 (-.f64 lambda1 lambda2))) 3) (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)))))))
	4.5b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (-.f64 (.f64 (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))) (pow.f64 (cos.f64 phi1) 2)) (-.f64 (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))) (cos.f64 phi1)))))
	4.7b	(+.f64 lambda1 (atan2.f64 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	16.5b	(+.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))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 3)))
	16.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (pow.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)) 3) 1/3)))
	27.4b	(+.f64 lambda1 (.f64 (cbrt.f64 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) (cbrt.f64 (pow.f64 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 2))))
	1.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 3)) (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))))) (log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	1.1b	(+.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))))) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)) 3))))
✓	0.3b	(+.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))))) (fma.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1))))

Compiler

Compiled 6746 to 1770 computations (73.8% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (neg.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))) (log.f64 (exp.f64 (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))
✓	0.7b	(log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	3.0b	(cos.f64 (-.f64 lambda1 lambda2))

series41.0ms (0.3%)

Counts

2 → 96

Calls

24 calls:

4.0ms	(log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))	phi1	-inf
3.0ms	(log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))	phi2	-inf
3.0ms	(log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))	lambda1	-inf
3.0ms	(log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))	phi2	inf
2.0ms	(log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))	lambda2	-inf

rewrite35.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

216×	`add-sqr-sqrt_binary64`
214×	`pow1_binary64`
213×	`*-un-lft-identity_binary64`
199×	`add-log-exp_binary64`
198×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	53
1	415	51

Stop Event

1×	node limit

Counts

2 → 40

simplify71.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

881×	`fma-neg_binary64`
370×	`cancel-sign-sub-inv_binary64`
359×	`associate-r_binary64`
327×	`associate-l_binary64`
327×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	94	2850
1	284	2825
2	923	2771
3	3943	2767

Stop Event

1×	node limit

Counts

136 → 75

prune377.0ms (2.6%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	169	2	171
Fresh	1	9	10
Picked	0	1	1
Done	0	1	1
Total	170	13	183

Error

0.1b

Counts

183 → 13

Alt Table

Status	Error	Program
	1.2b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (pow.f64 (cbrt.f64 (cos.f64 (-.f64 lambda1 lambda2))) 3) (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.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (pow.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) 3)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	1.1b	(+.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 (sqrt.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))))
	16.5b	(+.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))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 3)))
	16.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (pow.f64 (pow.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)) 3) 1/3)))
	27.4b	(+.f64 lambda1 (.f64 (cbrt.f64 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) (cbrt.f64 (pow.f64 (atan2.f64 (.f64 (cos.f64 phi2) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) 2))))
	1.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 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)) 2)))))
✓	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))))) (log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	1.1b	(+.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))))) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)) 3))))
✓	0.3b	(+.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))))) (fma.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda1) (cos.f64 lambda2) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi1))))
	4.7b	(+.f64 lambda1 (atan2.f64 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))

Compiler

Compiled 6602 to 1635 computations (75.2% saved)

regimes1.8s (12.2%)

Accuracy

Total 0.1b remaining (52.4%)

Threshold costs 0.1b (52.4%)

Counts

185 → 1

Compiler

Compiled 41860 to 24216 computations (42.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
4×	`+-commutative_binary64`
3×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	52
1	32	52
2	41	52
3	46	52
4	48	52

Stop Event

1×

saturated

end299.0ms (2.1%)

Stop Event

1×

fuel

Compiler

Compiled 537 to 292 computations (45.6% saved)

Details

analyze2.6s (17.9%)

sample7.4s (51.4%)

preprocess87.0ms (0.6%)

simplify28.0ms (0.2%)

prune4.0ms (0%)

localize14.0ms (0.1%)

series62.0ms (0.4%)

rewrite67.0ms (0.5%)

simplify52.0ms (0.4%)

prune361.0ms (2.5%)

localize20.0ms (0.1%)

series71.0ms (0.5%)

rewrite48.0ms (0.3%)

simplify44.0ms (0.3%)

prune398.0ms (2.8%)

localize22.0ms (0.2%)

series56.0ms (0.4%)

rewrite64.0ms (0.4%)

simplify79.0ms (0.6%)

prune331.0ms (2.3%)

localize26.0ms (0.2%)

series41.0ms (0.3%)

rewrite35.0ms (0.2%)

simplify71.0ms (0.5%)

prune377.0ms (2.6%)

regimes1.8s (12.2%)

simplify3.0ms (0%)

end299.0ms (2.1%)

Profiling