Details

analyze1.6s (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
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 (34.4%)

Results

2.5s	3632×	body	1024	valid
572.0ms	1389×	body	512	valid
387.0ms	2400×	body	128	valid
292.0ms	211×	body	2048	valid
196.0ms	624×	body	256	valid
2.0ms	3×	body	1024	invalid

Compiler

Compiled 38 to 26 computations (31.6% saved)

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

16.5b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 45 to 28 computations (37.8% saved)

localize8.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)))
✓	4.0b	(cos.f64 (+.f64 a b))

series82.0ms (0.7%)

Counts

3 → 52

Calls

3 calls:

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

rewrite17.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:

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

simplify77.0ms (0.7%)

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

prune781.0ms (6.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	163	9	172
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	164	9	173

Error

0.2b

Counts

173 → 9

Alt Table

Status	Error	Program
	16.5b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 a b))))
	36.7b	(cbrt.f64 (pow.f64 (/.f64 (*.f64 (sin.f64 b) r) (cos.f64 (+.f64 b a))) 3))
	30.8b	(.f64 r (cbrt.f64 (/.f64 (.f64 (.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b)) (.f64 (*.f64 (cos.f64 (+.f64 a b)) (cos.f64 (+.f64 a b))) (cos.f64 (+.f64 a b))))))
	16.6b	(*.f64 r (/.f64 (sin.f64 b) (log.f64 (exp.f64 (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)))))
	16.9b	(.f64 r (/.f64 (/.f64 (sin.f64 b) (.f64 (cbrt.f64 (cos.f64 (+.f64 a b))) (cbrt.f64 (cos.f64 (+.f64 a b))))) (cbrt.f64 (cos.f64 (+.f64 a b)))))
	26.9b	(fma.f64 (/.f64 (sin.f64 b) (cos.f64 b)) r (.f64 (/.f64 (.f64 a (pow.f64 (sin.f64 b) 2)) (pow.f64 (cos.f64 b) 2)) r))
	40.7b	(.f64 (.f64 r (sqrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))) (sqrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))))
	37.3b	(.f64 (sqrt.f64 (.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))) (sqrt.f64 (*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))))

Compiler

Compiled 3951 to 1271 computations (67.8% 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 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))))

series213.0ms (1.9%)

Counts

4 → 80

Calls

4 calls:

114.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
73.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)))
11.0ms	(*.f64 (sin.f64 a) (sin.f64 b))

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:

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

simplify157.0ms (1.4%)

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 → 216

Iterations

Useful iterations: 3 (0.0ms)

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

prune242.0ms (2.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	205	11	216
Fresh	8	0	8
Picked	1	0	1
Done	0	0	0
Total	214	11	225

Error

0.0b

Counts

225 → 11

Alt Table

Status	Error	Program
	1.1b	(.f64 (.f64 (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))))) (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
	0.4b	(.f64 r (.f64 (/.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 (.f64 r (/.f64 (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 r (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1)))
	0.9b	(.f64 r (/.f64 (/.f64 (sin.f64 b) (.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)))))) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))))
	33.3b	(.f64 r (.f64 (sqrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (sqrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))))
	1.2b	(.f64 (.f64 r (.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b)))) (/.f64 (cbrt.f64 (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
	0.4b	(*.f64 r (/.f64 1 (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1))))
▶	0.3b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	29.0b	(.f64 (sqrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))) (sqrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
	0.5b	(.f64 r (/.f64 (sin.f64 b) (log.f64 (exp.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))

Compiler

Compiled 6699 to 1901 computations (71.6% saved)

localize14.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 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
✓	0.2b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	0.2b	(*.f64 (sin.f64 a) (sin.f64 b))

series174.0ms (1.5%)

Counts

2 → 52

Calls

2 calls:

115.0ms	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
59.0ms	(/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))

rewrite24.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-exp-log_binary64`
18×	`times-frac_binary64`
17×	`associate-r_binary64`
17×	`*-un-lft-identity_binary64`
17×	`add-sqr-sqrt_binary64`

Counts

2 → 81

Calls

2 calls:

11.0ms	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
5.0ms	(/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))

simplify98.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

654×	`fma-def_binary64`
547×	`associate-/r*_binary64`
243×	`associate-l_binary64`
228×	`associate-/r/_binary64`
223×	`associate-r_binary64`

Counts

133 → 151

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	235	4350
1	640	3988
2	2388	3856
3	5020	3856

prune304.0ms (2.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	230	4	234
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	235	10	245

Error

0.0b

Counts

245 → 10

Alt Table

Status	Error	Program
▶	0.3b	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
	1.1b	(.f64 (.f64 (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))))) (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
	29.0b	(.f64 (sqrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))) (sqrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
	0.3b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
	1.2b	(.f64 (.f64 r (.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b)))) (/.f64 (cbrt.f64 (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 (/.f64 1 (-.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 (.f64 r (/.f64 (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 (.f64 r (sin.f64 b)) (.f64 (.f64 (cbrt.f64 (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (cbrt.f64 (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))))
	33.3b	(.f64 r (.f64 (sqrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (sqrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))))
	0.5b	(.f64 r (/.f64 (sin.f64 b) (log.f64 (exp.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))

Compiler

Compiled 7653 to 2309 computations (69.8% saved)

localize14.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 b) (sin.f64 a)))
✓	0.2b	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
✓	0.2b	(*.f64 (sin.f64 b) (sin.f64 a))

series166.0ms (1.5%)

Counts

4 → 56

Calls

4 calls:

131.0ms	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
16.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
10.0ms	(*.f64 (cos.f64 a) (cos.f64 b))
10.0ms	(*.f64 (sin.f64 b) (sin.f64 a))

rewrite23.0ms (0.2%)

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:

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

simplify240.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

454×	`fma-neg_binary64`
450×	`cancel-sign-sub-inv_binary64`
254×	`associate-r_binary64`
242×	`associate-l_binary64`
242×	`distribute-rgt-neg-in_binary64`

Counts

143 → 190

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	304	3458
1	810	3223
2	3060	3204
3	4414	3201
4	4988	3201

prune362.0ms (3.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	185	5	190
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	190	10	200

Error

0.0b

Counts

200 → 10

Alt Table

Status	Error	Program
	0.5b	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (log.f64 (exp.f64 (.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 b) (sin.f64 a))))
	0.4b	(.f64 (.f64 r (sin.f64 b)) (.f64 (/.f64 1 (-.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 (.f64 (sin.f64 b) r) (/.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 a) (sin.f64 b) (.f64 (cos.f64 a) (cos.f64 b)))))
	0.3b	(.f64 (sin.f64 b) (/.f64 r (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
	1.2b	(.f64 (.f64 r (.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b)))) (/.f64 (cbrt.f64 (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
	0.9b	(.f64 (.f64 r (sin.f64 b)) (.f64 (.f64 (cbrt.f64 (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (cbrt.f64 (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))))
	0.3b	(/.f64 (sin.f64 b) (/.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))) r))
	0.6b	(/.f64 (.f64 (sin.f64 b) r) (-.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 b) (sin.f64 a))))
	33.3b	(.f64 r (.f64 (sqrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (sqrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))))
	29.0b	(.f64 (sqrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))) (sqrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))

Compiler

Compiled 5349 to 1415 computations (73.5% saved)

regimes2.7s (23.7%)

Accuracy

Total 0.3b remaining (82.7%)

Threshold costs 0.3b (82.7%)

Counts

387 → 1

Compiler

Compiled 49544 to 28935 computations (41.6% 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

end185.0ms (1.6%)

Compiler: Compiled 358 to 192 computations (46.4% saved)

Details

analyze1.6s (13.8%)

sample3.9s (34.4%)

simplify7.0ms (0.1%)

prune2.0ms (0%)

localize8.0ms (0.1%)

series82.0ms (0.7%)

rewrite17.0ms (0.2%)

simplify77.0ms (0.7%)

prune781.0ms (6.8%)

localize12.0ms (0.1%)

series213.0ms (1.9%)

rewrite31.0ms (0.3%)

simplify157.0ms (1.4%)

prune242.0ms (2.1%)

localize14.0ms (0.1%)

series174.0ms (1.5%)

rewrite24.0ms (0.2%)

simplify98.0ms (0.9%)

prune304.0ms (2.7%)

localize14.0ms (0.1%)

series166.0ms (1.5%)

rewrite23.0ms (0.2%)

simplify240.0ms (2.1%)

prune362.0ms (3.2%)

regimes2.7s (23.7%)

simplify3.0ms (0%)

end185.0ms (1.6%)

Profiling