Details

analyze1.7s (16.5%)

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)

sample4.0s (38.8%)

Results

2.5s	3586×	body	1024	valid
593.0ms	1416×	body	512	valid
377.0ms	2395×	body	128	valid
293.0ms	202×	body	2048	valid
197.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)

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

13.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	13.0b	(*.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)))
✓	2.7b	(cos.f64 (+.f64 a b))

series77.0ms (0.8%)

Counts

3 → 52

Calls

3 calls:

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

rewrite15.0ms (0.1%)

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))))
3.0ms	(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
3.0ms	(cos.f64 (+.f64 a b))

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

prune174.0ms (1.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	159	13	172
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	160	13	173

Error

0.1b

Counts

173 → 13

Alt Table

Status	Error	Program
	36.0b	(.f64 (sqrt.f64 r) (.f64 (sqrt.f64 r) (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))))
	13.0b	(*.f64 r (/.f64 (sin.f64 b) (expm1.f64 (log1p.f64 (cos.f64 (+.f64 a b))))))
	13.0b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 a b))))
	13.7b	(.f64 (.f64 (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))) (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))))) (cbrt.f64 (*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))))
	13.6b	(.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))))))
	13.7b	(.f64 (.f64 r (*.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b)))) (/.f64 (cbrt.f64 (sin.f64 b)) (cos.f64 (+.f64 a b))))
	13.0b	(.f64 r (.f64 (sin.f64 b) (/.f64 1 (cos.f64 (+.f64 a b)))))
	13.4b	(.f64 r (.f64 (/.f64 1 (*.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))))))
	38.6b	(.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)))))
▶	0.3b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
	13.0b	(*.f64 r (/.f64 (sin.f64 b) (log1p.f64 (expm1.f64 (cos.f64 (+.f64 a b))))))
	31.5b	(fma.f64 1/2 (.f64 (/.f64 (sin.f64 b) (cos.f64 b)) (.f64 a (.f64 a r))) (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 (*.f64 a a) (pow.f64 (sin.f64 b) 3)) (pow.f64 (cos.f64 b) 3)) r))))
	13.0b	(/.f64 (*.f64 (sin.f64 b) r) (cos.f64 (+.f64 a b)))

Compiler

Compiled 4161 to 1373 computations (67% 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.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))))

series194.0ms (1.9%)

Counts

4 → 80

Calls

4 calls:

106.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
64.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.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:

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

simplify152.0ms (1.5%)

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

prune274.0ms (2.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	204	12	216
Fresh	12	0	12
Picked	1	0	1
Done	0	0	0
Total	217	12	229

Error

0.0b

Counts

229 → 12

Alt Table

Status	Error	Program
	1.2b	(.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) (-.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))))
	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))))))
	28.8b	(*.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 r) (cbrt.f64 r)) (/.f64 (cbrt.f64 r) (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1))))
	0.5b	(.f64 r (.f64 (/.f64 (sin.f64 b) (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 a) (sin.f64 b)) 3))) (+.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (+.f64 (.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)))))))
	33.5b	(.f64 (.f64 r (sqrt.f64 (sin.f64 b))) (/.f64 (sqrt.f64 (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	31.0b	(exp.f64 (log.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
	33.1b	(.f64 (.f64 r (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.4b	(.f64 r (/.f64 (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 (/.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 (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))

Compiler

Compiled 6683 to 1935 computations (71% 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.1b	(*.f64 (sin.f64 b) r)
	0.2b	(*.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))))

series114.0ms (1.1%)

Counts

2 → 28

Calls

2 calls:

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

rewrite12.0ms (0.1%)

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

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))))
3.0ms	(*.f64 (sin.f64 b) r)

simplify61.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

542×	`associate-/r*_binary64`
499×	`fma-def_binary64`
346×	`associate-/l/_binary64`
337×	`associate-/r/_binary64`
159×	`associate-/l*_binary64`

Counts

75 → 98

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	197	2205
1	542	2011
2	2101	1931
3	5002	1931

prune232.0ms (2.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	178	3	181
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	183	10	193

Error

0.0b

Counts

193 → 10

Alt Table

Status	Error	Program
	0.5b	(/.f64 (.f64 (sin.f64 b) r) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 a) (sin.f64 b)) 3)) (fma.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2) (.f64 (sin.f64 a) (.f64 (sin.f64 b) (fma.f64 (cos.f64 a) (cos.f64 b) (.f64 (sin.f64 a) (sin.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)))))
	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))))))
	33.5b	(.f64 (.f64 r (sqrt.f64 (sin.f64 b))) (/.f64 (sqrt.f64 (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	31.0b	(exp.f64 (log.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 (sin.f64 b) (/.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) r))
	33.1b	(.f64 (.f64 r (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 (/.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) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
	1.3b	(.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (/.f64 (cbrt.f64 r) (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1))))
	0.4b	(.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))))

Compiler

Compiled 5208 to 1432 computations (72.5% 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.2b	(/.f64 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))
✓	0.2b	(.f64 (sin.f64 b) (/.f64 r (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))

series210.0ms (2%)

Counts

2 → 60

Calls

2 calls:

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

rewrite22.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
19×	`times-frac_binary64`
18×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64`
17×	`associate-r_binary64`

Counts

2 → 71

Calls

2 calls:

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

simplify97.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

710×	`fma-def_binary64`
620×	`associate-/r*_binary64`
342×	`associate-/r/_binary64`
255×	`associate-/l/_binary64`
213×	`associate-r_binary64`

Counts

131 → 128

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	250	4413
1	661	4164
2	2537	4013
3	5511	4013

prune280.0ms (2.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	210	1	211
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	211	10	221

Error

0.0b

Counts

221 → 10

Alt Table

Status	Error	Program
	0.5b	(/.f64 (.f64 (sin.f64 b) r) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 a) (sin.f64 b)) 3)) (fma.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2) (.f64 (sin.f64 a) (.f64 (sin.f64 b) (fma.f64 (cos.f64 a) (cos.f64 b) (.f64 (sin.f64 a) (sin.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)))))
	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))))))
	33.5b	(.f64 (.f64 r (sqrt.f64 (sin.f64 b))) (/.f64 (sqrt.f64 (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	31.0b	(exp.f64 (log.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 (sin.f64 b) (/.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) r))
	1.2b	(.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) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
	1.3b	(.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (/.f64 (cbrt.f64 r) (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1))))
	0.4b	(.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))))
	1.3b	(.f64 (.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b))) (.f64 (cbrt.f64 (sin.f64 b)) (/.f64 r (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))

Compiler

Compiled 6134 to 1622 computations (73.6% saved)

regimes2.3s (22.8%)

Accuracy

Total 0.3b remaining (83.7%)

Threshold costs 0.3b (83.7%)

Counts

264 → 1

Compiler

Compiled 34052 to 18701 computations (45.1% saved)

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

end180.0ms (1.8%)

Compiler: Compiled 357 to 189 computations (47.1% saved)

Details

analyze1.7s (16.5%)

sample4.0s (38.8%)

simplify6.0ms (0.1%)

prune2.0ms (0%)

localize7.0ms (0.1%)

series77.0ms (0.8%)

rewrite15.0ms (0.1%)

simplify73.0ms (0.7%)

prune174.0ms (1.7%)

localize13.0ms (0.1%)

series194.0ms (1.9%)

rewrite30.0ms (0.3%)

simplify152.0ms (1.5%)

prune274.0ms (2.7%)

localize12.0ms (0.1%)

series114.0ms (1.1%)

rewrite12.0ms (0.1%)

simplify61.0ms (0.6%)

prune232.0ms (2.3%)

localize13.0ms (0.1%)

series210.0ms (2%)

rewrite22.0ms (0.2%)

simplify97.0ms (0.9%)

prune280.0ms (2.7%)

regimes2.3s (22.8%)

simplify3.0ms (0%)

end180.0ms (1.8%)

Profiling