Details

analyze1.1s (13.3%)

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
12.5%	87.4%	0.1%	7
12.5%	87.4%	0.1%	8
18.7%	81.1%	0.1%	9
21.8%	78%	0.1%	10
21.8%	78%	0.1%	11
23.4%	76.5%	0.1%	12
24.2%	75.7%	0.1%	13
24.2%	75.7%	0.1%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample3.3s (39.1%)

Infinites

0% of outputs are infinite.

Results

2.1s	3644×	body	1024	valid
472.0ms	1403×	body	512	valid
310.0ms	2384×	body	128	valid
223.0ms	190×	body	2048	valid
175.0ms	635×	body	256	valid

Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	13	14
2	16	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

15.4b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 45 to 28 computations (37.8% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series74.0ms (0.9%)

Counts

3 → 52

Calls

3 calls:

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

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
19×	`times-frac_binary64`
19×	`*-un-lft-identity_binary64`
19×	`add-cube-cbrt_binary64`
13×	`associate-r_binary64`

Counts

3 → 73

Calls

3 calls:

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

simplify70.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

696×	`fma-def_binary64`
561×	`associate-/r*_binary64`
437×	`associate-*l/_binary64`
281×	`associate-/r/_binary64`
239×	`associate-/l/_binary64`

Counts

125 → 172

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	244	2790
1	620	2642
2	2288	2580
3	5317	2580

prune176.0ms (2.1%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	158	14	172
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	159	14	173

Error

0.1b

Counts

173 → 14

Alt Table

Status	Error	Program
	42.9b	(.f64 (sqrt.f64 r) (.f64 (sqrt.f64 r) (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))))
▶	0.3b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
	28.7b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (cos.f64 a) (.f64 (sin.f64 a) b))))
	32.3b	(.f64 (.f64 r (/.f64 1 (sqrt.f64 (cos.f64 (+.f64 a b))))) (/.f64 (sin.f64 b) (sqrt.f64 (cos.f64 (+.f64 a b)))))
	29.1b	(*.f64 r (fma.f64 (/.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (cos.f64 b) 2)) a (/.f64 (sin.f64 b) (cos.f64 b))))
	15.8b	(.f64 (/.f64 r (.f64 (cbrt.f64 (cos.f64 (+.f64 b a))) (cbrt.f64 (cos.f64 (+.f64 b a))))) (/.f64 (sin.f64 b) (cbrt.f64 (cos.f64 (+.f64 a b)))))
	47.0b	(*.f64 r (exp.f64 (-.f64 (log.f64 (sin.f64 b)) (log.f64 (cos.f64 (+.f64 a b))))))
	16.2b	(.f64 (.f64 r (/.f64 (.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b))) (.f64 (cbrt.f64 (cos.f64 (+.f64 a b))) (cbrt.f64 (cos.f64 (+.f64 a b)))))) (/.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (cos.f64 (+.f64 a b)))))
	16.1b	(.f64 (.f64 r (*.f64 (cbrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))) (cbrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))))) (cbrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))))
	16.1b	(.f64 r (.f64 (*.f64 (cbrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))) (cbrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))) (cbrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))))
	15.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 a b))))
	30.3b	(+.f64 (/.f64 (.f64 b r) (cos.f64 a)) (/.f64 (.f64 (sin.f64 a) (*.f64 (pow.f64 b 2) r)) (pow.f64 (cos.f64 a) 2)))
	15.4b	(/.f64 (*.f64 (sin.f64 b) r) (cos.f64 (+.f64 a b)))
	16.1b	(.f64 r (.f64 (*.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b))) (/.f64 (cbrt.f64 (sin.f64 b)) (cos.f64 (+.f64 b a)))))

Compiler

Compiled 4177 to 1393 computations (66.7% 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 a) (sin.f64 b)))
✓	0.2b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
✓	0.2b	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
✓	0.2b	(*.f64 (sin.f64 a) (sin.f64 b))

series204.0ms (2.4%)

Counts

4 → 80

Calls

4 calls:

113.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
67.0ms	(/.f64 (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)))
9.0ms	(*.f64 (sin.f64 a) (sin.f64 b))

rewrite30.0ms (0.4%)

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 a) (sin.f64 b)))))
6.0ms	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
5.0ms	(*.f64 (sin.f64 a) (sin.f64 b))
4.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))

simplify149.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

386×	`fma-neg_binary64`
323×	`cancel-sign-sub-inv_binary64`
290×	`associate-r_binary64`
268×	`associate-l_binary64`
198×	`distribute-rgt-neg-in_binary64`

Counts

190 → 252

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	331	5599
1	871	5281
2	3258	5029
3	4530	5023
4	4971	5023

prune272.0ms (3.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	242	10	252
Fresh	11	2	13
Picked	1	0	1
Done	0	0	0
Total	254	12	266

Error

0.0b

Counts

266 → 12

Alt Table

Status	Error	Program
	13.3b	(.f64 r (cbrt.f64 (.f64 (.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))) (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
▶	0.3b	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
	15.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 a b))))
	5.8b	(.f64 r (expm1.f64 (log1p.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
	15.8b	(.f64 (/.f64 r (.f64 (cbrt.f64 (cos.f64 (+.f64 b a))) (cbrt.f64 (cos.f64 (+.f64 b a))))) (/.f64 (sin.f64 b) (cbrt.f64 (cos.f64 (+.f64 a b)))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 b) (sin.f64 a)) 3)))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (expm1.f64 (log1p.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
	0.5b	(.f64 (.f64 r (/.f64 (sin.f64 b) (-.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))))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
	0.4b	(/.f64 r (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1)))
	37.0b	(*.f64 (sqrt.f64 r) (/.f64 (sqrt.f64 r) (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1))))
	1.3b	(.f64 (.f64 (cbrt.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1)))) (cbrt.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1))))) (cbrt.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1)))))
	0.3b	(.f64 r (/.f64 (sin.f64 b) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b))))))

Compiler

Compiled 7780 to 2075 computations (73.3% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series117.0ms (1.4%)

Counts

2 → 32

Calls

2 calls:

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

rewrite14.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 48

Calls

2 calls:

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

simplify62.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

637×	`fma-def_binary64`
562×	`associate-/r*_binary64`
288×	`associate-/l/_binary64`
269×	`associate-/r/_binary64`
220×	`cancel-sign-sub-inv_binary64`

Counts

80 → 98

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	217	2345
1	590	2167
2	2246	2068
3	5305	2068

prune241.0ms (2.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	189	2	191
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	193	10	203

Error

0.0b

Counts

203 → 10

Alt Table

Status	Error	Program
	13.3b	(.f64 r (cbrt.f64 (.f64 (.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))) (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
	15.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 a b))))
	5.8b	(.f64 r (expm1.f64 (log1p.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
	15.8b	(.f64 (/.f64 r (.f64 (cbrt.f64 (cos.f64 (+.f64 b a))) (cbrt.f64 (cos.f64 (+.f64 b a))))) (/.f64 (sin.f64 b) (cbrt.f64 (cos.f64 (+.f64 a b)))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 b) (sin.f64 a)) 3)))))
	0.5b	(.f64 (.f64 r (/.f64 (sin.f64 b) (-.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))))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
	0.4b	(/.f64 r (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1)))
	0.4b	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (expm1.f64 (log1p.f64 (.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b))))
	0.4b	(/.f64 (.f64 (sin.f64 b) r) (log1p.f64 (expm1.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))))
▶	0.3b	(.f64 r (/.f64 (sin.f64 b) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b))))))

Compiler

Compiled 5404 to 1538 computations (71.5% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series398.0ms (4.7%)

Counts

3 → 84

Calls

3 calls:

209.0ms

(*.f64 r (/.f64 (sin.f64 b) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))

171.0ms

(/.f64 (sin.f64 b) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b)))))

17.0ms

(fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b))))

rewrite14.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
19×	`*-un-lft-identity_binary64`
19×	`times-frac_binary64`
19×	`add-cube-cbrt_binary64`
13×	`associate-r_binary64`

Counts

3 → 73

Calls

3 calls:

5.0ms

(*.f64 r (/.f64 (sin.f64 b) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))

3.0ms

(/.f64 (sin.f64 b) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b)))))

0.0ms

(fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b))))

simplify129.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

711×	`fma-def_binary64`
566×	`associate-/r*_binary64`
285×	`associate-/r/_binary64`
240×	`associate-/l/_binary64`
199×	`associate-r_binary64`

Counts

157 → 178

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	250	4914
1	627	4622
2	2345	4559
3	4948	4558
4	4980	4558

prune257.0ms (3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	224	1	225
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	226	9	235

Error

Counts

235 → 9

Alt Table

Status	Error	Program
	13.3b	(.f64 r (cbrt.f64 (.f64 (.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))) (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
	0.9b	(.f64 r (.f64 (/.f64 1 (.f64 (cbrt.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b))))) (cbrt.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b))))))) (/.f64 (sin.f64 b) (cbrt.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b))))))))
	5.8b	(.f64 r (expm1.f64 (log1p.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
	15.8b	(.f64 (/.f64 r (.f64 (cbrt.f64 (cos.f64 (+.f64 b a))) (cbrt.f64 (cos.f64 (+.f64 b a))))) (/.f64 (sin.f64 b) (cbrt.f64 (cos.f64 (+.f64 a b)))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 b) (sin.f64 a)) 3)))))
	0.5b	(.f64 (.f64 r (/.f64 (sin.f64 b) (-.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))))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
	0.4b	(/.f64 r (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1)))
	0.4b	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (expm1.f64 (log1p.f64 (.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b))))
	0.4b	(/.f64 (.f64 (sin.f64 b) r) (log1p.f64 (expm1.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))))

Compiler

Compiled 6494 to 1616 computations (75.1% saved)

regimes1.6s (18.8%)

Accuracy

Total 0.3b remaining (81.3%)

Threshold costs 0.3b (81.3%)

Counts

254 → 1

Compiler

Compiled 29351 to 16899 computations (42.4% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	25	26
2	34	26
3	41	26
4	45	26
5	46	26
6	45	26

end162.0ms (1.9%)

Compiler: Compiled 303 to 164 computations (45.9% saved)

Details

analyze1.1s (13.3%)

sample3.3s (39.1%)

simplify6.0ms (0.1%)

prune2.0ms (0%)

localize7.0ms (0.1%)

series74.0ms (0.9%)

rewrite16.0ms (0.2%)

simplify70.0ms (0.8%)

prune176.0ms (2.1%)

localize12.0ms (0.1%)

series204.0ms (2.4%)

rewrite30.0ms (0.4%)

simplify149.0ms (1.8%)

prune272.0ms (3.2%)

localize13.0ms (0.2%)

series117.0ms (1.4%)

rewrite14.0ms (0.2%)

simplify62.0ms (0.7%)

prune241.0ms (2.8%)

localize14.0ms (0.2%)

series398.0ms (4.7%)

rewrite14.0ms (0.2%)

simplify129.0ms (1.5%)

prune257.0ms (3%)

regimes1.6s (18.8%)

simplify3.0ms (0%)

end162.0ms (1.9%)

Profiling