Details

analyze4.1s (15.2%)

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)

sample372.0ms (1.4%)

Algorithm

1×

intervals

Results

247.0ms	174×	body	1024	valid
68.0ms	5×	body	2048	valid
29.0ms	40×	body	512	valid
8.0ms	17×	body	256	valid
4.0ms	20×	body	128	valid

Compiler

Compiled 61 to 39 computations (36.1% saved)

simplify33.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 → 1

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

1 alts after pruning (1 fresh and 0 done)

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

Error

13.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	13.0b	(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 84 to 51 computations (39.3% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
4.6b	(sin.f64 (-.f64 lambda1 lambda2))
4.9b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite331.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

6.8b

Rules

43×	`add-cube-cbrt_binary64`
35×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
18×	`add-exp-log_binary64`
16×	`add-cbrt-cube_binary64`

Counts

4 → 169

Calls

4 calls:

19.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
15.0ms	(sin.f64 (-.f64 lambda1 lambda2))
15.0ms	(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
14.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 6063 to 697 computations (88.5% saved)

series201.0ms (0.7%)

Error

9.8b

Counts

4 → 66

Calls

4 calls:

62.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
37.0ms	(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
18.0ms	(cos.f64 (-.f64 lambda1 lambda2))
17.0ms	(sin.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 4850 to 2306 computations (52.5% saved)

simplify144.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

837×	`fma-neg_binary64`
678×	`associate-r_binary64`
608×	`associate-l_binary64`
326×	`fma-def_binary64`
292×	`*-commutative_binary64`

Counts

235 → 124

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	400	4969
1	1207	4087
2	4647	4087
3	5317	4087

prune221.0ms (0.8%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	102	22	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	103	22	125

Error

6.7b

Counts

125 → 22

Alt Table

Status	Error	Program
	28.9b	(atan2.f64 (-.f64 (.f64 (fma.f64 (cos.f64 lambda2) lambda1 (sin.f64 (neg.f64 lambda2))) (cos.f64 phi2)) (.f64 (.f64 (.f64 lambda1 lambda1) (.f64 -1/2 (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)))))
	20.9b	(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 lambda2))))
	13.2b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2)))) (.f64 (cos.f64 phi2) (cbrt.f64 (sin.f64 (-.f64 lambda1 lambda2))))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	36.6b	(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)))))
	29.8b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (-.f64 (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (+.f64 (cos.f64 lambda2) (.f64 lambda1 (sin.f64 lambda2)))) (.f64 1/2 (.f64 (sin.f64 phi1) (.f64 (.f64 lambda1 lambda1) (.f64 (cos.f64 lambda2) (cos.f64 phi2))))))))
	33.1b	(atan2.f64 (.f64 (+.f64 (sin.f64 (-.f64 (-.f64 lambda1 lambda2) phi2)) (sin.f64 (+.f64 (-.f64 lambda1 lambda2) phi2))) 1/2) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
▶	8.8b	(atan2.f64 (.f64 (/.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.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.1b	(atan2.f64 (.f64 (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) 3) (pow.f64 (.f64 (cos.f64 lambda1) (sin.f64 lambda2)) 3)) (fma.f64 (sin.f64 lambda1) (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.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)))))
	32.1b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 phi1 (cos.f64 phi2)) (.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi2) (pow.f64 phi1 3))) -1/6))))
	34.4b	(atan2.f64 (sqrt.f64 (.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 2) (pow.f64 (cos.f64 phi2) 2))) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
	27.4b	(atan2.f64 (.f64 (-.f64 (fma.f64 1/6 (.f64 (cos.f64 lambda1) (pow.f64 lambda2 3)) (sin.f64 lambda1)) (fma.f64 lambda2 (cos.f64 lambda1) (.f64 1/2 (.f64 lambda2 (.f64 lambda2 (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)))))
	14.7b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 2)) (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)))))
	27.0b	(atan2.f64 (.f64 (-.f64 (sin.f64 lambda1) (fma.f64 lambda2 (cos.f64 lambda1) (.f64 1/2 (.f64 lambda2 (.f64 lambda2 (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)))))
	13.1b	(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))))
	13.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 (cbrt.f64 (pow.f64 (cos.f64 (-.f64 lambda1 lambda2)) 2)) (cbrt.f64 (cos.f64 (-.f64 lambda1 lambda2)))))))
	27.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 (fma.f64 lambda2 (sin.f64 lambda1) (cos.f64 lambda1)) (.f64 1/2 (.f64 (cos.f64 lambda1) (*.f64 lambda2 lambda2)))))))
	21.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)) (fma.f64 lambda2 (sin.f64 lambda1) (cos.f64 lambda1)))))
	23.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)) (fma.f64 (cos.f64 (fma.f64 (.f64 (cbrt.f64 lambda1) (cbrt.f64 lambda1)) (cbrt.f64 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 (.f64 0 lambda2)) (neg.f64 (sin.f64 (-.f64 lambda1 lambda2))))))))
	13.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))))) 1)))
	18.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))))
	15.9b	(atan2.f64 (.f64 (cbrt.f64 (pow.f64 (sin.f64 (-.f64 lambda1 lambda2)) 3)) (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.8b	(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)) (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))

Compiler

Compiled 5586 to 1868 computations (66.6% saved)

localize38.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
0.3b	(.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
3.8b	(/.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
4.9b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite441.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

39×	`add-cube-cbrt_binary64`
35×	`pow1_binary64`
24×	`add-exp-log_binary64`
24×	`add-sqr-sqrt_binary64`
20×	`add-cbrt-cube_binary64`

Counts

4 → 179

Calls

4 calls:

19.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
15.0ms	(/.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
14.0ms	(cos.f64 (-.f64 lambda1 lambda2))
14.0ms	(.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))

Compiler

Compiled 10616 to 790 computations (92.6% saved)

series293.0ms (1.1%)

Error

6.1b

Counts

4 → 57

Calls

4 calls:

72.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
66.0ms	(.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
31.0ms	(/.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
21.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 7297 to 2967 computations (59.3% saved)

simplify189.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

639×	`associate-r_binary64`
593×	`associate-l_binary64`
378×	`fma-neg_binary64`
308×	`fma-def_binary64`
181×	`cancel-sign-sub-inv_binary64`

Counts

236 → 134

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	407	6803
1	1206	5521
2	4784	5520
3	5003	5520

prune283.0ms (1.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	126	8	134
Fresh	19	2	21
Picked	1	0	1
Done	0	0	0
Total	146	10	156

Error

0.0b

Counts

156 → 10

Alt Table

Status	Error	Program
	13.1b	(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))))
	15.8b	(atan2.f64 (.f64 (log.f64 (exp.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.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)))))
▶	1.9b	(atan2.f64 (.f64 (/.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	7.3b	(atan2.f64 (.f64 (/.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (/.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (.f64 (cbrt.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cbrt.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (cbrt.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.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)))))
	13.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))))) 1)))
	1.9b	(atan2.f64 (.f64 (/.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (/.f64 (.f64 (pow.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) 2) (-.f64 (.f64 (pow.f64 (cos.f64 lambda1) 2) (pow.f64 (cos.f64 lambda2) 2)) (.f64 (pow.f64 (sin.f64 lambda1) 2) (.f64 (sin.f64 lambda2) (sin.f64 lambda2))))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (-.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
	16.7b	(atan2.f64 (.f64 (/.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (/.f64 (.f64 (pow.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) 3) (+.f64 (pow.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3))) (fma.f64 (.f64 (pow.f64 (cos.f64 lambda1) 2) (pow.f64 (cos.f64 lambda2) 2)) (pow.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) 2) (.f64 (.f64 (pow.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) 2) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (-.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))))))))
	8.8b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) 2)) (cbrt.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.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)))))
	14.7b	(atan2.f64 (.f64 (/.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) 3)) (cbrt.f64 (pow.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) 3))) (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.3b	(atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1)))) (cbrt.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))))) (cbrt.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.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)))))

Compiler

Compiled 7356 to 1485 computations (79.8% saved)

localize42.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
0.3b	(.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
3.8b	(/.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))

rewrite532.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

47×	`pow1_binary64`
30×	`add-exp-log_binary64`
28×	`add-sqr-sqrt_binary64`
25×	`pow-prod-down_binary64`
24×	`add-cube-cbrt_binary64`

Counts

4 → 172

Calls

4 calls:

20.0ms	(.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
15.0ms	(/.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
14.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
14.0ms	(.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))

Compiler

Compiled 10950 to 816 computations (92.5% saved)

series273.0ms (1%)

Error

0.0b

Counts

4 → 50

Calls

4 calls:

72.0ms	(.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
59.0ms	(.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
31.0ms	(/.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))
24.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 7771 to 2974 computations (61.7% saved)

simplify157.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

501×	`associate-r_binary64`
440×	`associate-l_binary64`
411×	`fma-neg_binary64`
229×	`*-commutative_binary64`
181×	`fma-def_binary64`

Counts

222 → 138

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	331	5574
1	891	4771
2	3797	4723
3	5020	4723

prune347.0ms (1.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	131	7	138
Fresh	7	2	9
Picked	1	0	1
Done	0	0	0
Total	139	9	148

Error

0.0b

Counts

148 → 9

Alt Table

Status	Error	Program
	9.9b	(atan2.f64 (.f64 (/.f64 (log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	1.9b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))) 2)) (cbrt.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	0.4b	(atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2))))) (cbrt.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))))) (cbrt.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	13.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))))) 1)))
	5.1b	(atan2.f64 (.f64 (/.f64 (/.f64 (.f64 (pow.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))) 3) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (pow.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))) 2)) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	1.9b	(atan2.f64 (.f64 (/.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (/.f64 (.f64 (pow.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) 2) (-.f64 (.f64 (pow.f64 (cos.f64 lambda1) 2) (pow.f64 (cos.f64 lambda2) 2)) (.f64 (pow.f64 (sin.f64 lambda1) 2) (.f64 (sin.f64 lambda2) (sin.f64 lambda2))))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (-.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
▶	0.2b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	1.9b	(atan2.f64 (.f64 (/.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (.f64 (.f64 (cbrt.f64 (sin.f64 lambda1)) (cbrt.f64 (sin.f64 lambda1))) (.f64 (sin.f64 lambda2) (cbrt.f64 (sin.f64 lambda1))))))))
	0.4b	(atan2.f64 (.f64 (.f64 (/.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))) (.f64 (cbrt.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cbrt.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))))) (/.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (fma.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 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))

Compiler

Compiled 8265 to 1331 computations (83.9% saved)

localize63.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(expm1.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (*.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))))
0.2b	(.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
0.3b	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (*.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2))))))

rewrite311.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

40×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
20×	`pow-prod-down_binary64`
20×	`add-exp-log_binary64`
18×	`add-cube-cbrt_binary64`

Counts

4 → 143

Calls

4 calls:

20.0ms	(.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
14.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
11.0ms	(expm1.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (*.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))))
9.0ms	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (*.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2))))))

Compiler

Compiled 5917 to 670 computations (88.7% saved)

series333.0ms (1.2%)

Error

0.0b

Counts

4 → 50

Calls

4 calls:

105.0ms	(.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
93.0ms	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (*.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2))))))
42.0ms	(expm1.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (*.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))))
25.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 6258 to 2866 computations (54.2% saved)

simplify126.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

558×	`cancel-sign-sub-inv_binary64`
396×	`associate-r_binary64`
377×	`unswap-sqr_binary64`
335×	`associate-l_binary64`
264×	`fma-neg_binary64`

Counts

193 → 121

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	293	3597
1	752	3290
2	2737	3275
3	4987	3275

prune234.0ms (0.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	120	1	121
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	122	8	130

Error

0.0b

Counts

130 → 8

Alt Table

Status	Error	Program
	0.4b	(atan2.f64 (.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2))))) (cbrt.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))))) (cbrt.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	0.2b	(atan2.f64 (.f64 (log1p.f64 (expm1.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (.f64 (.f64 (cbrt.f64 (sin.f64 lambda1)) (cbrt.f64 (sin.f64 lambda1))) (*.f64 (sin.f64 lambda2) (cbrt.f64 (sin.f64 lambda1))))))))
	9.9b	(atan2.f64 (.f64 (/.f64 (log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))))))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	1.9b	(atan2.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))) 2)) (cbrt.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	13.4b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (-.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))))) 1)))
	5.1b	(atan2.f64 (.f64 (/.f64 (/.f64 (.f64 (pow.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))) 3) (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (pow.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))) 2)) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
	1.9b	(atan2.f64 (.f64 (/.f64 (.f64 (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (sin.f64 (neg.f64 lambda2)) (cos.f64 lambda1))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (fma.f64 (cos.f64 lambda2) (sin.f64 lambda1) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (/.f64 (.f64 (pow.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) 2) (-.f64 (.f64 (pow.f64 (cos.f64 lambda1) 2) (pow.f64 (cos.f64 lambda2) 2)) (.f64 (pow.f64 (sin.f64 lambda1) 2) (.f64 (sin.f64 lambda2) (sin.f64 lambda2))))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (-.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
	0.4b	(atan2.f64 (.f64 (.f64 (/.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 (neg.f64 lambda2)))) (.f64 (cbrt.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (cbrt.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))))) (/.f64 (fma.f64 (sin.f64 lambda1) (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cbrt.f64 (fma.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 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi2) (sin.f64 phi1)))) (.f64 (.f64 (cos.f64 phi2) (sin.f64 phi1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))

Compiler

Compiled 5505 to 954 computations (82.7% saved)

regimes7.3s (27.2%)

Accuracy

Total 0.1b remaining (63.1%)

Threshold costs 0.1b (63.1%)

Compiler

Compiled 214146 to 106161 computations (50.4% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

20×	`*-commutative_binary64`
14×	`+-commutative_binary64`
13×	`sub-neg_binary64`
11×	`neg-sub0_binary64`
11×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	84
1	53	84
2	63	84
3	82	84
4	100	84
5	118	84
6	129	84
7	135	84
8	137	84
9	134	84

end1.0ms (0%)

Compiler: Compiled 54 to 33 computations (38.9% saved)

sample10.5s (39%)

Algorithm

1×

intervals

Results

7.6s	5320×	body	1024	valid
996.0ms	1303×	body	512	valid
709.0ms	211×	body	2048	valid
250.0ms	390×	body	256	valid
176.0ms	776×	body	128	valid

Compiler

Compiled 665 to 314 computations (52.8% 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.1s (15.2%)

sample372.0ms (1.4%)

simplify33.0ms (0.1%)

prune3.0ms (0%)

localize21.0ms (0.1%)

rewrite331.0ms (1.2%)

series201.0ms (0.7%)

simplify144.0ms (0.5%)

prune221.0ms (0.8%)

localize38.0ms (0.1%)

rewrite441.0ms (1.6%)

series293.0ms (1.1%)

simplify189.0ms (0.7%)

prune283.0ms (1.1%)

localize42.0ms (0.2%)

rewrite532.0ms (2%)

series273.0ms (1%)

simplify157.0ms (0.6%)

prune347.0ms (1.3%)

localize63.0ms (0.2%)

rewrite311.0ms (1.2%)

series333.0ms (1.2%)

simplify126.0ms (0.5%)

prune234.0ms (0.9%)

regimes7.3s (27.2%)

simplify8.0ms (0%)

end1.0ms (0%)

sample10.5s (39%)

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