Details

analyze4.3s (20.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
7.8%	92%	0.2%	9
7.8%	92%	0.2%	10
10.1%	89.7%	0.2%	11
10.1%	89.7%	0.2%	12
13.9%	85.9%	0.2%	13
13.9%	85.9%	0.2%	14

Compiler

Compiled 29 to 18 computations (37.9% saved)

sample476.0ms (2.3%)

Algorithm

1×

intervals

Results

223.0ms	161×	body	1024	valid
32.0ms	44×	body	512	valid
28.0ms	9×	body	2048	valid
8.0ms	15×	body	256	valid
6.0ms	27×	body	128	valid

Compiler

Compiled 61 to 39 computations (36.1% saved)

simplify29.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

543×	`fma-def_binary64`
194×	`fma-neg_binary64`
83×	`cancel-sign-sub-inv_binary64`
59×	`distribute-rgt-neg-in_binary64`
47×	`distribute-rgt-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

12.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	12.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 108 to 55 computations (49.1% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
✓	0.3b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
✓	3.1b	(cos.f64 (-.f64 lambda1 lambda2))
✓	3.3b	(sin.f64 (-.f64 lambda1 lambda2))

series61.0ms (0.3%)

Counts

4 → 72

Calls

4 calls:

41.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
11.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
5.0ms	(cos.f64 (-.f64 lambda1 lambda2))
4.0ms	(sin.f64 (-.f64 lambda1 lambda2))

rewrite24.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 90

Calls

4 calls:

7.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
5.0ms	(sin.f64 (-.f64 lambda1 lambda2))
4.0ms	(cos.f64 (-.f64 lambda1 lambda2))
3.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))

simplify117.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

453×	`fma-neg_binary64`
422×	`associate-r_binary64`
380×	`associate-l_binary64`
380×	`distribute-rgt-neg-in_binary64`
340×	`distribute-lft-neg-in_binary64`

Counts

162 → 194

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	368	3902
1	782	3174
2	2633	2887
3	4652	2788
4	5011	2788

prune464.0ms (2.2%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	174	20	194
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	175	20	195

Error

7.0b

Counts

195 → 20

Alt Table

Status	Error	Program
	23.1b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) lambda1 (fma.f64 -1 (sin.f64 lambda2) (.f64 (.f64 lambda1 lambda1) (-.f64 (.f64 1/2 (sin.f64 lambda2)) (.f64 (.f64 (cos.f64 lambda2) 1/6) lambda1))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	18.7b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 (fma.f64 1 lambda1 (neg.f64 (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)))))) (cos.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)))))) (.f64 (sin.f64 (fma.f64 1 lambda1 (neg.f64 (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)))))) (sin.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2)) (.f64 (cbrt.f64 lambda2) (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2))))))))))
	22.9b	(atan2.f64 (.f64 (+.f64 (.f64 (sin.f64 lambda1) (cos.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2))) (cbrt.f64 lambda2)))) (.f64 (cos.f64 lambda1) (sin.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 lambda2) (cbrt.f64 lambda2))) (cbrt.f64 lambda2))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	12.6b	(atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
▶	7.4b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	24.0b	(atan2.f64 (.f64 (fma.f64 (cos.f64 lambda2) lambda1 (sin.f64 (neg.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	12.5b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2))) (cbrt.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)))) (cbrt.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)))) (cos.f64 (-.f64 lambda1 lambda2)))))
	24.0b	(atan2.f64 (.f64 (log.f64 (exp.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	12.3b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	12.4b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	35.1b	(atan2.f64 (.f64 (sin.f64 lambda1) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	12.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cbrt.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 (-.f64 lambda1 lambda2))) (cos.f64 (-.f64 lambda1 lambda2)))))))
	51.8b	(atan2.f64 (.f64 (+.f64 (.f64 (sin.f64 (fma.f64 (.f64 (cbrt.f64 lambda1) (cbrt.f64 lambda1)) (cbrt.f64 lambda1) (neg.f64 (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2))))) (cos.f64 (fma.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2) (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2))))) (.f64 (cos.f64 (fma.f64 (.f64 (cbrt.f64 lambda1) (cbrt.f64 lambda1)) (cbrt.f64 lambda1) (neg.f64 (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2))))) (sin.f64 (fma.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2) (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2)))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	20.1b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (cos.f64 lambda2) (*.f64 lambda1 (sin.f64 lambda2))))))
	38.8b	(atan2.f64 (.f64 (.f64 (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	47.8b	(atan2.f64 (.f64 (+.f64 (.f64 (sin.f64 (fma.f64 1 lambda1 (neg.f64 (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2))))) (cos.f64 (fma.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2) (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2))))) (.f64 (cos.f64 (fma.f64 1 lambda1 (neg.f64 (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2))))) (sin.f64 (fma.f64 (neg.f64 (sqrt.f64 lambda2)) (sqrt.f64 lambda2) (.f64 (sqrt.f64 lambda2) (sqrt.f64 lambda2)))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	29.0b	(atan2.f64 (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	13.3b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (log.f64 (exp.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)))) (cos.f64 (-.f64 lambda1 lambda2)))))
	12.7b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3))))
	12.4b	(atan2.f64 (.f64 (expm1.f64 (log1p.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 8839 to 2442 computations (72.4% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (sin.f64 lambda1) (cos.f64 lambda2))
	0.1b	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
	0.3b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
	3.1b	(cos.f64 (-.f64 lambda1 lambda2))

series11.0ms (0.1%)

Counts

1 → 8

Calls

1 calls:

11.0ms

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

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64`
3×	`associate-r_binary64`
3×	`associate-l_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 21

Calls

1 calls:

3.0ms

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

simplify100.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

529×	`fma-neg_binary64`
499×	`distribute-rgt-neg-in_binary64`
414×	`distribute-lft-neg-in_binary64`
325×	`*-commutative_binary64`
249×	`associate-l_binary64`

Counts

29 → 46

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	81	458
1	203	416
2	570	396
3	1526	373
4	2793	373
5	4861	373
6	4978	373
7	4997	373
8	4900	373

prune589.0ms (2.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	195	5	200
Fresh	13	6	19
Picked	1	0	1
Done	0	0	0
Total	209	11	220

Error

0.1b

Counts

220 → 11

Alt Table

Status	Error	Program
	8.3b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (log.f64 (exp.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (cos.f64 (-.f64 lambda1 lambda2)))))
	7.4b	(atan2.f64 (.f64 (-.f64 (.f64 (.f64 (sin.f64 lambda1) (.f64 (cbrt.f64 (cos.f64 lambda2)) (cbrt.f64 (cos.f64 lambda2)))) (cbrt.f64 (cos.f64 lambda2))) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	12.6b	(atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	7.7b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))) 3))))
	12.4b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	12.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cbrt.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 (-.f64 lambda1 lambda2))) (cos.f64 (-.f64 lambda1 lambda2)))))))
	38.8b	(atan2.f64 (.f64 (.f64 (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.2b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	24.0b	(atan2.f64 (.f64 (log.f64 (exp.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
▶	0.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	12.4b	(atan2.f64 (.f64 (expm1.f64 (log1p.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 9142 to 2072 computations (77.3% saved)

localize32.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
✓	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
✓	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)))
✓	0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

series121.0ms (0.6%)

Counts

3 → 104

Calls

3 calls:

57.0ms

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

53.0ms

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

11.0ms

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

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-cbrt-cube_binary64`
29×	`add-exp-log_binary64`
29×	`pow1_binary64`
17×	`cbrt-unprod_binary64`
17×	`prod-exp_binary64`

Counts

3 → 75

Calls

3 calls:

10.0ms

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

6.0ms

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

4.0ms

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

simplify112.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

835×	`associate-r_binary64`
696×	`associate-l_binary64`
609×	`fma-neg_binary64`
551×	`distribute-rgt-neg-in_binary64`
357×	`*-commutative_binary64`

Counts

179 → 183

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	342	4644
1	1038	4148
2	3853	4140
3	5453	4140

prune706.0ms (3.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	270	5	275
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	274	12	286

Error

0.1b

Counts

286 → 12

Alt Table

Status	Error	Program
	38.8b	(atan2.f64 (.f64 (.f64 (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	1.0b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (log.f64 (exp.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	12.4b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	12.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cbrt.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 (-.f64 lambda1 lambda2))) (cos.f64 (-.f64 lambda1 lambda2)))))))
	7.4b	(atan2.f64 (.f64 (-.f64 (.f64 (.f64 (sin.f64 lambda1) (.f64 (cbrt.f64 (cos.f64 lambda2)) (cbrt.f64 (cos.f64 lambda2)))) (cbrt.f64 (cos.f64 lambda2))) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	12.6b	(atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.4b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) 3)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	24.0b	(atan2.f64 (.f64 (log.f64 (exp.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 phi1)) (cbrt.f64 (sin.f64 phi1))) (.f64 (cos.f64 phi2) (cbrt.f64 (sin.f64 phi1)))) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
▶	0.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (log.f64 (exp.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
	31.0b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sqrt.f64 (sin.f64 lambda1)) (*.f64 (sqrt.f64 (sin.f64 lambda1)) (sin.f64 lambda2)))))))
	12.4b	(atan2.f64 (.f64 (expm1.f64 (log1p.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 15958 to 3019 computations (81.1% saved)

localize33.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
	0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)))
	0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
✓	3.0b	(log.f64 (exp.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))

series55.0ms (0.3%)

Counts

1 → 48

Calls

1 calls:

55.0ms

(log.f64 (exp.f64 (*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 16

Calls

1 calls:

2.0ms

(log.f64 (exp.f64 (*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))

simplify73.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

681×	`distribute-rgt-neg-in_binary64`
664×	`distribute-lft-neg-in_binary64`
619×	`*-commutative_binary64`
584×	`fma-def_binary64`
458×	`cancel-sign-sub-inv_binary64`

Counts

64 → 58

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	148	1785
1	421	1711
2	1398	1583
3	3538	1577
4	5149	1577

prune722.0ms (3.4%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	239	2	241
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	240	13	253

Error

0.0b

Counts

253 → 13

Alt Table

Status	Error	Program
	38.8b	(atan2.f64 (.f64 (.f64 (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (sqrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	1.0b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (log.f64 (exp.f64 (.f64 (.f64 (cos.f64 phi2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (sin.f64 phi1)))) (log.f64 (exp.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
	12.4b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.2b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (log.f64 (sqrt.f64 (exp.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))))
	12.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cbrt.f64 (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 (-.f64 lambda1 lambda2))) (cos.f64 (-.f64 lambda1 lambda2)))))))
	7.4b	(atan2.f64 (.f64 (-.f64 (.f64 (.f64 (sin.f64 lambda1) (.f64 (cbrt.f64 (cos.f64 lambda2)) (cbrt.f64 (cos.f64 lambda2)))) (cbrt.f64 (cos.f64 lambda2))) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	12.6b	(atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.4b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) 3)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	24.0b	(atan2.f64 (.f64 (log.f64 (exp.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	0.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 phi1)) (cbrt.f64 (sin.f64 phi1))) (.f64 (cos.f64 phi2) (cbrt.f64 (sin.f64 phi1)))) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
✓	0.1b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (log.f64 (exp.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
	31.0b	(atan2.f64 (.f64 (-.f64 (.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (.f64 (sqrt.f64 (sin.f64 lambda1)) (*.f64 (sqrt.f64 (sin.f64 lambda1)) (sin.f64 lambda2)))))))
	12.4b	(atan2.f64 (.f64 (expm1.f64 (log1p.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 14571 to 2879 computations (80.2% saved)

regimes2.0s (9.7%)

Accuracy

Total 0.1b remaining (47.6%)

Threshold costs 0.1b (47.6%)

Counts

203 → 1

Compiler

Compiled 54939 to 31103 computations (43.4% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

22×	`*-commutative_binary64`
16×	`+-commutative_binary64`
15×	`sub-neg_binary64`
13×	`neg-sub0_binary64`
13×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	73
1	47	73
2	63	73
3	88	73
4	119	73
5	136	73
6	147	73
7	151	73
8	150	73

end1.0ms (0%)

Compiler: Compiled 48 to 25 computations (47.9% saved)

sample10.8s (51.6%)

Algorithm

1×

intervals

Results

8.1s	5304×	body	1024	valid
917.0ms	1261×	body	512	valid
646.0ms	194×	body	2048	valid
197.0ms	438×	body	256	valid
166.0ms	803×	body	128	valid

Compiler

Compiled 659 to 360 computations (45.4% saved)

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39

Details

analyze4.3s (20.5%)

sample476.0ms (2.3%)

simplify29.0ms (0.1%)

prune3.0ms (0%)

localize20.0ms (0.1%)

series61.0ms (0.3%)

rewrite24.0ms (0.1%)

simplify117.0ms (0.6%)

prune464.0ms (2.2%)

localize28.0ms (0.1%)

series11.0ms (0.1%)

rewrite4.0ms (0%)

simplify100.0ms (0.5%)

prune589.0ms (2.8%)

localize32.0ms (0.2%)

series121.0ms (0.6%)

rewrite25.0ms (0.1%)

simplify112.0ms (0.5%)

prune706.0ms (3.4%)

localize33.0ms (0.2%)

series55.0ms (0.3%)

rewrite3.0ms (0%)

simplify73.0ms (0.3%)

prune722.0ms (3.4%)

regimes2.0s (9.7%)

simplify6.0ms (0%)

end1.0ms (0%)

sample10.8s (51.6%)

Profiling

Iter	Nodes	Cost
0	18	39
1	32	39
2	61	39
3	115	39
4	155	39
5	246	39
6	348	39
7	437	39
8	572	39
9	622	39
10	694	39
11	720	39
12	669	39