Details

analyze1.1s (13.8%)

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.5s (44.3%)

Infinites

0% of outputs are infinite.

Results

2.3s	3644×	body	1024	valid
456.0ms	1403×	body	512	valid
320.0ms	2384×	body	128	valid
246.0ms	190×	body	2048	valid
155.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`
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

15.4b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 45 to 27 computations (40% saved)

localize33.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

series58.0ms (0.7%)

Counts

3 → 68

Calls

3 calls:

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

rewrite11.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))

simplify62.0ms (0.8%)

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

prune164.0ms (2.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	112	12	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	113	12	125

Error

0.1b

Counts

125 → 12

Alt Table

Status	Error	Program
	15.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 a b))))
	29.4b	(fma.f64 (/.f64 (sin.f64 b) (cos.f64 b)) r (/.f64 (.f64 (pow.f64 (sin.f64 b) 2) (.f64 a r)) (pow.f64 (cos.f64 b) 2)))
	16.1b	(/.f64 (.f64 (.f64 r (*.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b)))) (cbrt.f64 (sin.f64 b))) (cos.f64 (+.f64 a b)))
	15.4b	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))
	15.4b	(/.f64 (*.f64 r (sin.f64 b)) (log1p.f64 (expm1.f64 (cos.f64 (+.f64 a b)))))
	40.6b	(/.f64 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 b) r) 3)) (cos.f64 (+.f64 a b)))
	32.3b	(/.f64 (*.f64 (/.f64 r (sqrt.f64 (cos.f64 (+.f64 b a)))) (sin.f64 b)) (sqrt.f64 (cos.f64 (+.f64 a b))))
	15.8b	(.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)))))
	15.4b	(/.f64 r (/.f64 (cos.f64 (+.f64 a b)) (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))))
	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)))
	16.1b	(.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)))))

Compiler

Compiled 2737 to 986 computations (64% saved)

localize12.0ms (0.1%)

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 r (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))

series145.0ms (1.8%)

Counts

4 → 72

Calls

4 calls:

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

rewrite25.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

10.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)))
4.0ms	(*.f64 (sin.f64 a) (sin.f64 b))
3.0ms	(*.f64 (cos.f64 a) (cos.f64 b))

simplify145.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

540×	`fma-neg_binary64`
447×	`cancel-sign-sub-inv_binary64`
253×	`associate-r_binary64`
242×	`distribute-rgt-neg-in_binary64`
239×	`associate-l_binary64`

Counts

159 → 191

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	302	3916
1	807	3681
2	2996	3445
3	4481	3439
4	4996	3439
5	4942	3439

prune297.0ms (3.7%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	178	13	191
Fresh	9	2	11
Picked	1	0	1
Done	0	0	0
Total	188	15	203

Error

0.0b

Counts

203 → 15

Alt Table

Status	Error	Program
	32.3b	(/.f64 (*.f64 (/.f64 r (sqrt.f64 (cos.f64 (+.f64 b a)))) (sin.f64 b)) (sqrt.f64 (cos.f64 (+.f64 a b))))
	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)))))
	0.3b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (log.f64 (exp.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.7b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (.f64 (cbrt.f64 (cos.f64 a)) (cbrt.f64 (cos.f64 a))) (.f64 (cbrt.f64 (cos.f64 a)) (cos.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (log1p.f64 (expm1.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.9b	(.f64 (/.f64 r (.f64 (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))) (/.f64 (sin.f64 b) (cbrt.f64 (-.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)))
	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.3b	(/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))
	40.6b	(/.f64 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 b) r) 3)) (cos.f64 (+.f64 a b)))
	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 r (/.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (sin.f64 b)))
	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))))))
	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.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))

Compiler

Compiled 5806 to 1723 computations (70.3% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 r (sin.f64 b))
✓	0.1b	(fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b))))
✓	0.2b	(/.f64 (.f64 r (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))

series127.0ms (1.6%)

Counts

2 → 60

Calls

2 calls:

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

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 33

Calls

2 calls:

4.0ms	(/.f64 (.f64 r (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))))

simplify67.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

656×	`associate-l_binary64`
468×	`fma-def_binary64`
441×	`associate-/r*_binary64`
304×	`associate-*l/_binary64`
267×	`associate-/l/_binary64`

Counts

93 → 88

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	170	2771
1	451	2573
2	1650	2534
3	5210	2534

prune282.0ms (3.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	168	5	173
Fresh	7	7	14
Picked	1	0	1
Done	0	0	0
Total	176	12	188

Error

0.0b

Counts

188 → 12

Alt Table

Status	Error	Program
	32.3b	(/.f64 (*.f64 (/.f64 r (sqrt.f64 (cos.f64 (+.f64 b a)))) (sin.f64 b)) (sqrt.f64 (cos.f64 (+.f64 a b))))
	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)))))
	0.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	0.9b	(/.f64 (/.f64 (.f64 r (sin.f64 b)) (.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))))))) (cbrt.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.3b	(/.f64 r (/.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b)))) (sin.f64 b)))
	40.6b	(/.f64 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 b) r) 3)) (cos.f64 (+.f64 a b)))
▶	0.3b	(.f64 (/.f64 r 1) (/.f64 (sin.f64 b) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (log1p.f64 (expm1.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
	1.3b	(.f64 (.f64 (cbrt.f64 (/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b))))))) (cbrt.f64 (/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))))
	0.3b	(/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (log.f64 (exp.f64 (.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.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))))

Compiler

Compiled 5016 to 1426 computations (71.6% 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 (/.f64 r 1) (/.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))

series176.0ms (2.2%)

Counts

2 → 60

Calls

2 calls:

111.0ms

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

65.0ms

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

rewrite19.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-sqr-sqrt_binary64`
34×	`times-frac_binary64`
26×	`*-un-lft-identity_binary64`
24×	`add-cube-cbrt_binary64`
21×	`add-exp-log_binary64`

Counts

2 → 85

Calls

2 calls:

8.0ms

(*.f64 (/.f64 r 1) (/.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)))))

simplify108.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

664×	`associate-/r*_binary64`
608×	`fma-def_binary64`
475×	`associate-/l/_binary64`
392×	`associate-/r/_binary64`
201×	`associate-/l*_binary64`

Counts

145 → 178

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	253	5077
1	592	4716
2	2310	4655
3	5191	4655

prune346.0ms (4.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	255	2	257
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	256	13	269

Error

Counts

269 → 13

Alt Table

Status	Error	Program
	32.3b	(/.f64 (*.f64 (/.f64 r (sqrt.f64 (cos.f64 (+.f64 b a)))) (sin.f64 b)) (sqrt.f64 (cos.f64 (+.f64 a b))))
	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)))))
	0.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	0.9b	(/.f64 (/.f64 (.f64 r (sin.f64 b)) (.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))))))) (cbrt.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.3b	(/.f64 r (/.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b)))) (sin.f64 b)))
	40.6b	(/.f64 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 b) r) 3)) (cos.f64 (+.f64 a b)))
	1.3b	(.f64 (.f64 r (.f64 (cbrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (cbrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))))) (cbrt.f64 (/.f64 (sin.f64 b) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))))
✓	0.3b	(.f64 (/.f64 r 1) (/.f64 (sin.f64 b) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (log1p.f64 (expm1.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(.f64 (/.f64 r 1) (/.f64 1 (/.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (sin.f64 b))))
	0.3b	(/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (log.f64 (exp.f64 (.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.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))))

Compiler

Compiled 7913 to 2310 computations (70.8% saved)

regimes1.0s (12.6%)

Accuracy

Total 0.3b remaining (85.7%)

Threshold costs 0.3b (85.7%)

Counts

222 → 1

Compiler

Compiled 21277 to 12053 computations (43.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	13	26
1	21	26
2	31	26
3	37	26
4	41	26
5	42	26
6	42	26

end214.0ms (2.7%)

Compiler: Compiled 421 to 220 computations (47.7% saved)

Details

analyze1.1s (13.8%)

sample3.5s (44.3%)

simplify6.0ms (0.1%)

prune2.0ms (0%)

localize33.0ms (0.4%)

series58.0ms (0.7%)

rewrite11.0ms (0.1%)

simplify62.0ms (0.8%)

prune164.0ms (2.1%)

localize12.0ms (0.1%)

series145.0ms (1.8%)

rewrite25.0ms (0.3%)

simplify145.0ms (1.8%)

prune297.0ms (3.7%)

localize14.0ms (0.2%)

series127.0ms (1.6%)

rewrite6.0ms (0.1%)

simplify67.0ms (0.8%)

prune282.0ms (3.5%)

localize14.0ms (0.2%)

series176.0ms (2.2%)

rewrite19.0ms (0.2%)

simplify108.0ms (1.4%)

prune346.0ms (4.3%)

regimes1.0s (12.6%)

simplify3.0ms (0%)

end214.0ms (2.7%)

Profiling