Details

analyze1.5s (15.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
6.2%	93.6%	0.1%	7
9.4%	90.5%	0.1%	8
14%	85.8%	0.1%	9
19.5%	80.4%	0.1%	10
20.7%	79.2%	0.1%	11
22%	77.8%	0.1%	12
23.5%	76.4%	0.1%	13
23.8%	76%	0.1%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample3.9s (38.4%)

Results

2.4s	3586×	body	1024	valid
571.0ms	1416×	body	512	valid
390.0ms	2395×	body	128	valid
287.0ms	202×	body	2048	valid
199.0ms	657×	body	256	valid
1.0ms	2×	body	512	invalid
1.0ms	1×	body	1024	invalid

Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
2×	`associate-/r/_binary64`
1×	`+-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	13	14
2	17	14
3	20	14
4	21	14
5	21	14

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

13.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	13.0b	(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))

Compiler

Compiled 45 to 27 computations (40% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 r (sin.f64 b))
✓	0.3b	(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
✓	2.7b	(cos.f64 (+.f64 a b))

series56.0ms (0.6%)

Counts

3 → 68

Calls

3 calls:

45.0ms	(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
7.0ms	(*.f64 r (sin.f64 b))
4.0ms	(cos.f64 (+.f64 a b))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-cbrt-cube_binary64`
10×	`add-exp-log_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-cube-cbrt_binary64`

Counts

3 → 53

Calls

3 calls:

4.0ms	(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
3.0ms	(*.f64 r (sin.f64 b))
3.0ms	(cos.f64 (+.f64 a b))

simplify59.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

558×	`fma-def_binary64`
517×	`associate-/r*_binary64`
394×	`associate-*l/_binary64`
321×	`associate-/l/_binary64`
308×	`associate-/r/_binary64`

Counts

121 → 124

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	200	2011
1	525	1879
2	2003	1831
3	5044	1831

prune135.0ms (1.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	114	10	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	115	10	125

Error

0.2b

Counts

125 → 10

Alt Table

Status	Error	Program
	13.7b	(.f64 (.f64 (cbrt.f64 (/.f64 (.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))) (cbrt.f64 (/.f64 (.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b))))) (cbrt.f64 (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))))
▶	0.3b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
	13.0b	(/.f64 r (/.f64 (cos.f64 (+.f64 a b)) (sin.f64 b)))
	30.1b	(fma.f64 1/2 (.f64 (/.f64 (.f64 (sin.f64 b) r) (cos.f64 b)) (.f64 a a)) (fma.f64 (/.f64 (sin.f64 b) (cos.f64 b)) r (fma.f64 (/.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (cos.f64 b) 2)) (.f64 a r) (/.f64 (.f64 (.f64 a (*.f64 a r)) (pow.f64 (sin.f64 b) 3)) (pow.f64 (cos.f64 b) 3)))))
	40.3b	(/.f64 (.f64 (.f64 r (sqrt.f64 (sin.f64 b))) (sqrt.f64 (sin.f64 b))) (cos.f64 (+.f64 a b)))
	13.1b	(/.f64 (*.f64 r (sin.f64 b)) (cbrt.f64 (pow.f64 (cos.f64 (+.f64 b a)) 3)))
	35.5b	(.f64 (sqrt.f64 (/.f64 (.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))) (sqrt.f64 (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))))
	36.0b	(/.f64 (.f64 (sqrt.f64 r) (.f64 (sqrt.f64 r) (sin.f64 b))) (cos.f64 (+.f64 a b)))
	13.7b	(/.f64 (.f64 (.f64 (cbrt.f64 (.f64 r (sin.f64 b))) (cbrt.f64 (.f64 r (sin.f64 b)))) (cbrt.f64 (*.f64 r (sin.f64 b)))) (cos.f64 (+.f64 a b)))
	13.4b	(.f64 (/.f64 r (.f64 (cbrt.f64 (cos.f64 (+.f64 a b))) (cbrt.f64 (cos.f64 (+.f64 a b))))) (/.f64 (sin.f64 b) (cbrt.f64 (cos.f64 (+.f64 a b)))))

Compiler

Compiled 2751 to 960 computations (65.1% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))
	0.1b	(*.f64 r (sin.f64 b))
✓	0.2b	(*.f64 (sin.f64 a) (sin.f64 b))
✓	0.3b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))

series139.0ms (1.4%)

Counts

3 → 64

Calls

3 calls:

115.0ms

(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))

14.0ms

(-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))

10.0ms

(*.f64 (sin.f64 a) (sin.f64 b))

rewrite19.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-cbrt-cube_binary64`
10×	`add-exp-log_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-cube-cbrt_binary64`

Counts

3 → 66

Calls

3 calls:

8.0ms

(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))

4.0ms

(-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))

3.0ms

(*.f64 (sin.f64 a) (sin.f64 b))

simplify131.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

824×	`fma-def_binary64`
381×	`fma-neg_binary64`
329×	`cancel-sign-sub-inv_binary64`
204×	`associate-r_binary64`
204×	`distribute-rgt-neg-in_binary64`

Counts

130 → 156

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	252	3500
1	691	3279
2	2584	3054
3	4578	3049
4	4996	3049
5	4923	3049

prune212.0ms (2.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	183	11	194
Fresh	8	1	9
Picked	1	0	1
Done	0	0	0
Total	192	12	204

Error

0.0b

Counts

204 → 12

Alt Table

Status	Error	Program
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (cbrt.f64 (.f64 (.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
	29.0b	(.f64 (sqrt.f64 (/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (sqrt.f64 (/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))
	1.3b	(.f64 (.f64 (cbrt.f64 (/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (cbrt.f64 (/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
	13.7b	(/.f64 (.f64 (.f64 (cbrt.f64 (.f64 r (sin.f64 b))) (cbrt.f64 (.f64 r (sin.f64 b)))) (cbrt.f64 (*.f64 r (sin.f64 b)))) (cos.f64 (+.f64 a b)))
	0.7b	(/.f64 (.f64 r (sin.f64 b)) (log.f64 (/.f64 (exp.f64 (.f64 (cos.f64 a) (cos.f64 b))) (exp.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.9b	(/.f64 1 (/.f64 (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)) r))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2))) (fma.f64 (sin.f64 b) (sin.f64 a) (.f64 (cos.f64 a) (cos.f64 b)))))
	31.0b	(exp.f64 (log.f64 (/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))))
▶	0.3b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
	0.4b	(.f64 (/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
	28.8b	(/.f64 (.f64 (sqrt.f64 r) (.f64 (sin.f64 b) (sqrt.f64 r))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))

Compiler

Compiled 5657 to 1571 computations (72.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
✓	0.2b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
✓	0.2b	(*.f64 (sin.f64 b) (sin.f64 a))
✓	0.2b	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))

series195.0ms (1.9%)

Counts

4 → 76

Calls

4 calls:

109.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
62.0ms	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
15.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
9.0ms	(*.f64 (sin.f64 b) (sin.f64 a))

rewrite31.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64`
22×	`*-un-lft-identity_binary64`
22×	`add-cube-cbrt_binary64`
20×	`associate-r_binary64`
19×	`times-frac_binary64`

Counts

4 → 110

Calls

4 calls:

8.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
7.0ms	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
5.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
3.0ms	(*.f64 (sin.f64 b) (sin.f64 a))

simplify176.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

367×	`fma-neg_binary64`
327×	`cancel-sign-sub-inv_binary64`
298×	`associate-r_binary64`
265×	`associate-l_binary64`
203×	`associate-/l*_binary64`

Counts

186 → 253

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	336	5467
1	876	5149
2	3335	4803
3	4502	4797
4	4984	4797
5	4933	4797

prune519.0ms (5.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	249	4	253
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	254	11	265

Error

0.0b

Counts

265 → 11

Alt Table

Status	Error	Program
	33.1b	(.f64 (.f64 r (sqrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))))) (sqrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (cbrt.f64 (.f64 (.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
▶	0.3b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
	0.7b	(/.f64 (.f64 r (sin.f64 b)) (log.f64 (/.f64 (exp.f64 (.f64 (cos.f64 a) (cos.f64 b))) (exp.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(.f64 r (.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (.f64 (.f64 (sin.f64 b) (sin.f64 a)) (.f64 (sin.f64 b) (sin.f64 a))))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))))
	0.4b	(.f64 (/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
	0.9b	(/.f64 1 (/.f64 (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)) r))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2))) (fma.f64 (sin.f64 b) (sin.f64 a) (.f64 (cos.f64 a) (cos.f64 b)))))
	31.0b	(exp.f64 (log.f64 (/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))))
	28.8b	(/.f64 (.f64 (sqrt.f64 r) (.f64 (sin.f64 b) (sqrt.f64 r))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
	8.2b	(*.f64 r (expm1.f64 (log1p.f64 (/.f64 1 (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (sin.f64 a))))))

Compiler

Compiled 7806 to 2032 computations (74% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
	0.1b	(*.f64 r (sin.f64 b))
	0.2b	(*.f64 (sin.f64 b) (sin.f64 a))
✓	0.3b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))

series109.0ms (1.1%)

Counts

1 → 36

Calls

1 calls:

109.0ms

(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
4×	`associate-/r/_binary64`
3×	`associate-/r*_binary64`
3×	`*-un-lft-identity_binary64`

Counts

1 → 27

Calls

1 calls:

7.0ms

(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))

simplify111.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

479×	`associate-/r*_binary64`
414×	`fma-def_binary64`
324×	`associate-*l/_binary64`
304×	`associate-/l/_binary64`
275×	`associate-/r/_binary64`

Counts

63 → 60

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	168	2243
1	463	2079
2	1787	1954
3	4914	1953
4	4977	1953

prune214.0ms (2.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	192	0	192
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	192	11	203

Error

0.0b

Counts

203 → 11

Alt Table

Status	Error	Program
	33.1b	(.f64 (.f64 r (sqrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))))) (sqrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (cbrt.f64 (.f64 (.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
✓	0.3b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
	0.7b	(/.f64 (.f64 r (sin.f64 b)) (log.f64 (/.f64 (exp.f64 (.f64 (cos.f64 a) (cos.f64 b))) (exp.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(.f64 r (.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (.f64 (.f64 (sin.f64 b) (sin.f64 a)) (.f64 (sin.f64 b) (sin.f64 a))))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))))
	0.4b	(.f64 (/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
	0.9b	(/.f64 1 (/.f64 (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)) r))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2))) (fma.f64 (sin.f64 b) (sin.f64 a) (.f64 (cos.f64 a) (cos.f64 b)))))
	31.0b	(exp.f64 (log.f64 (/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))))
	28.8b	(/.f64 (.f64 (sqrt.f64 r) (.f64 (sin.f64 b) (sqrt.f64 r))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
	8.2b	(*.f64 r (expm1.f64 (log1p.f64 (/.f64 1 (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (sin.f64 a))))))

Compiler

Compiled 5207 to 1378 computations (73.5% saved)

regimes2.3s (22.8%)

Accuracy

Total 0.3b remaining (82.9%)

Threshold costs 0.3b (82.9%)

Counts

370 → 1

Compiler

Compiled 36452 to 21178 computations (41.9% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-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	16	46
1	28	46
2	36	46
3	40	46
4	41	46
5	41	46

end185.0ms (1.8%)

Compiler: Compiled 390 to 200 computations (48.7% saved)

Details

analyze1.5s (15.2%)

sample3.9s (38.4%)

simplify8.0ms (0.1%)

prune2.0ms (0%)

localize7.0ms (0.1%)

series56.0ms (0.6%)

rewrite13.0ms (0.1%)

simplify59.0ms (0.6%)

prune135.0ms (1.3%)

localize13.0ms (0.1%)

series139.0ms (1.4%)

rewrite19.0ms (0.2%)

simplify131.0ms (1.3%)

prune212.0ms (2.1%)

localize12.0ms (0.1%)

series195.0ms (1.9%)

rewrite31.0ms (0.3%)

simplify176.0ms (1.7%)

prune519.0ms (5.2%)

localize13.0ms (0.1%)

series109.0ms (1.1%)

rewrite9.0ms (0.1%)

simplify111.0ms (1.1%)

prune214.0ms (2.1%)

regimes2.3s (22.8%)

simplify4.0ms (0%)

end185.0ms (1.8%)

Profiling