Details

analyze2.6s (19.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)

sample321.0ms (2.4%)

Algorithm

1×

intervals

Results

135.0ms	127×	body	1024	valid
40.0ms	66×	body	512	valid
13.0ms	6×	body	2048	valid
9.0ms	28×	body	256	valid
4.0ms	29×	body	128	valid

Compiler

Compiled 53 to 33 computations (37.7% saved)

simplify36.0ms (0.3%)

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.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.3b	(+.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	(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))
✓	3.6b	(cos.f64 (-.f64 lambda1 lambda2))
✓	3.6b	(sin.f64 (-.f64 lambda1 lambda2))

series49.0ms (0.4%)

Counts

4 → 64

Calls

4 calls:

30.0ms	(fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))
10.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))

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 65

Calls

4 calls:

4.0ms	(sin.f64 (-.f64 lambda1 lambda2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))
0.0ms	(fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))
0.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)))

simplify135.0ms (1%)

Algorithm

1×	egg-herbie

Rules

633×	`cancel-sign-sub-inv_binary64`
596×	`fma-def_binary64`
520×	`sub-neg_binary64`
381×	`*-commutative_binary64`
340×	`unsub-neg_binary64`

Counts

129 → 149

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	282	3217
1	522	2562
2	1534	2368
3	3855	2292
4	4591	2292
5	4928	2292

prune334.0ms (2.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	138	11	149
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	139	11	150

Error

0.2b

Counts

150 → 11

Alt Table

Status	Error	Program
	30.2b	(+.f64 lambda1 (.f64 (sqrt.f64 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) (sqrt.f64 (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.8b	(+.f64 lambda1 (.f64 (.f64 (cbrt.f64 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) (cbrt.f64 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))) (cbrt.f64 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	6.6b	(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) 3)))
	0.4b	(+.f64 lambda1 (log1p.f64 (expm1.f64 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	36.0b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (.f64 (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2))))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	0.6b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (.f64 (*.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	0.6b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (*.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	0.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1)) 3))))
▶	0.4b	(+.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.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) lambda1 (sin.f64 (neg.f64 lambda2)))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	13.2b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) 1)))

Compiler

Compiled 5665 to 1531 computations (73% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))
✓	0.6b	(log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	3.6b	(cos.f64 (-.f64 lambda1 lambda2))
	3.6b	(sin.f64 (-.f64 lambda1 lambda2))

series30.0ms (0.2%)

Counts

1 → 48

Calls

1 calls:

30.0ms

(log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`log-prod_binary64`
4×	`log-pow_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`exp-prod_binary64`

Counts

1 → 18

Calls

1 calls:

2.0ms

(log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))

simplify68.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

884×	`fma-neg_binary64`
493×	`distribute-rgt-neg-in_binary64`
361×	`associate-r_binary64`
360×	`cancel-sign-sub-inv_binary64`
332×	`fma-def_binary64`

Counts

66 → 65

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	120	1364
1	299	1293
2	892	1239
3	3120	1227
4	5053	1227

prune397.0ms (2.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	195	3	198
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	198	11	209

Error

0.2b

Counts

209 → 11

Alt Table

Status	Error	Program
	0.8b	(+.f64 lambda1 (.f64 (.f64 (cbrt.f64 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) (cbrt.f64 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))) (cbrt.f64 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	14.1b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (exp.f64 (log.f64 (log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))))
	30.2b	(+.f64 lambda1 (.f64 (sqrt.f64 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) (sqrt.f64 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	6.6b	(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) 3)))
	0.4b	(+.f64 lambda1 (log1p.f64 (expm1.f64 (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.6b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (*.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
▶	0.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1)) 3))))
	0.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (log.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi1))))))
	0.6b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (.f64 (*.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))))) (log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	0.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) lambda1 (sin.f64 (neg.f64 lambda2)))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))
	13.2b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) 1)))

Compiler

Compiled 7362 to 2081 computations (71.7% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 (pow.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1)) 3))
✓	0.7b	(pow.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1)) 3)
	3.6b	(cos.f64 (-.f64 lambda1 lambda2))
	3.6b	(sin.f64 (-.f64 lambda1 lambda2))

series160.0ms (1.2%)

Counts

2 → 96

Calls

2 calls:

132.0ms	(pow.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1)) 3)
28.0ms	(cbrt.f64 (pow.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1)) 3))

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
8×	`*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64`
8×	`add-cube-cbrt_binary64`
6×	`cube-prod_binary64`

Counts

2 → 48

Calls

2 calls:

2.0ms	(pow.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1)) 3)
1.0ms	(cbrt.f64 (pow.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1)) 3))

simplify97.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

683×	`fma-def_binary64`
627×	`associate-l_binary64`
459×	`associate-+r+_binary64`
306×	`associate-+l+_binary64`
232×	`*-commutative_binary64`

Counts

144 → 134

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	498	5652
1	1573	5322
2	5306	5322

prune568.0ms (4.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	213	3	216
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	216	11	227

Error

0.2b

Counts

227 → 11

Alt Table

Status	Error	Program
	0.6b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (*.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	0.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) lambda1 (sin.f64 (neg.f64 lambda2)))) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1)) 3))))
	13.2b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) 1)))
	0.6b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (.f64 (*.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))))) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1)) 3))))
	30.2b	(+.f64 lambda1 (.f64 (sqrt.f64 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) (sqrt.f64 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	14.1b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (exp.f64 (log.f64 (log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))))
	6.6b	(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) 3)))
	0.6b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) (cbrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) 3)))))
	0.4b	(+.f64 lambda1 (log1p.f64 (expm1.f64 (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.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (log.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi1))))))
	0.6b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (.f64 (*.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))))) (log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))

Compiler

Compiled 11307 to 4240 computations (62.5% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(fma.f64 (cos.f64 phi2) (log.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi1))
✓	0.6b	(log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (log.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi1))))
	3.6b	(cos.f64 (-.f64 lambda1 lambda2))
	3.6b	(sin.f64 (-.f64 lambda1 lambda2))

series70.0ms (0.5%)

Counts

2 → 96

Calls

2 calls:

37.0ms

(log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (log.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi1))))

32.0ms

(fma.f64 (cos.f64 phi2) (log.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi1))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`log-prod_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`
4×	`log-pow_binary64`

Counts

2 → 28

Calls

2 calls:

2.0ms

(log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (log.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi1))))

0.0ms

(fma.f64 (cos.f64 phi2) (log.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi1))

simplify98.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

880×	`fma-neg_binary64`
493×	`distribute-rgt-neg-in_binary64`
361×	`associate-r_binary64`
360×	`cancel-sign-sub-inv_binary64`
332×	`fma-def_binary64`

Counts

124 → 75

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	127	2545
1	301	2420
2	893	2312
3	3119	2288
4	5053	2288

prune326.0ms (2.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	157	0	157
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	157	11	168

Error

0.2b

Counts

168 → 11

Alt Table

Status	Error	Program
	0.6b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (*.f64 (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))) (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) (cbrt.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	0.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) lambda1 (sin.f64 (neg.f64 lambda2)))) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1)) 3))))
	13.2b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) 1)))
	0.6b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (.f64 (*.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))))) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1)) 3))))
	30.2b	(+.f64 lambda1 (.f64 (sqrt.f64 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))) (sqrt.f64 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))
	14.1b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (exp.f64 (log.f64 (log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))))
	6.6b	(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) 3)))
	0.6b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) (cbrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2) (cos.f64 phi1))) 3)))))
	0.4b	(+.f64 lambda1 (log1p.f64 (expm1.f64 (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.4b	(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (log.f64 (exp.f64 (cos.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi1))))))
	0.6b	(+.f64 lambda1 (atan2.f64 (.f64 (cos.f64 phi2) (.f64 (*.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))))) (log.f64 (exp.f64 (fma.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1))))))

Compiler

Compiled 5991 to 1622 computations (72.9% saved)

regimes1.6s (11.8%)

Accuracy

Total 0.1b remaining (11.7%)

Threshold costs 0.1b (11.7%)

Counts

173 → 1

Compiler

Compiled 39018 to 21731 computations (44.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	46
1	31	46
2	34	46
3	35	46
4	35	46

end1.0ms (0%)

Compiler: Compiled 32 to 20 computations (37.5% saved)

sample6.6s (48.5%)

Algorithm

1×

intervals

Results

4.4s	4470×	body	1024	valid
870.0ms	1761×	body	512	valid
282.0ms	725×	body	256	valid
237.0ms	105×	body	2048	valid
152.0ms	939×	body	128	valid

Compiler

Compiled 435 to 226 computations (48% 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.6s (19.3%)

sample321.0ms (2.4%)

simplify36.0ms (0.3%)

prune4.0ms (0%)

localize14.0ms (0.1%)

series49.0ms (0.4%)

rewrite12.0ms (0.1%)

simplify135.0ms (1%)

prune334.0ms (2.5%)

localize19.0ms (0.1%)

series30.0ms (0.2%)

rewrite3.0ms (0%)

simplify68.0ms (0.5%)

prune397.0ms (2.9%)

localize17.0ms (0.1%)

series160.0ms (1.2%)

rewrite5.0ms (0%)

simplify97.0ms (0.7%)

prune568.0ms (4.2%)

localize21.0ms (0.2%)

series70.0ms (0.5%)

rewrite3.0ms (0%)

simplify98.0ms (0.7%)

prune326.0ms (2.4%)

regimes1.6s (11.8%)

simplify3.0ms (0%)

end1.0ms (0%)

sample6.6s (48.5%)

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