Details

analyze2.8s (16.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
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)

sample190.0ms (1.1%)

Algorithm

1×

intervals

Results

121.0ms	125×	body	1024	valid
17.0ms	34×	body	512	valid
14.0ms	7×	body	2048	valid
11.0ms	68×	body	128	valid
8.0ms	22×	body	256	valid

Compiler

Compiled 28 to 20 computations (28.6% saved)

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

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

14.5b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 45 to 27 computations (40% saved)

localize16.0ms (0.1%)

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

series131.0ms (0.8%)

Counts

3 → 68

Calls

3 calls:

105.0ms	(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
18.0ms	(*.f64 r (sin.f64 b))
8.0ms	(cos.f64 (+.f64 a b))

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

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

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

prune235.0ms (1.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	116	8	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	117	8	125

Error

0.2b

Counts

125 → 8

Alt Table

Status	Error	Program
	37.4b	(/.f64 (.f64 (sqrt.f64 r) (.f64 (sqrt.f64 r) (sin.f64 b))) (cos.f64 (+.f64 a b)))
	14.6b	(/.f64 r (/.f64 (cos.f64 (+.f64 a b)) (sin.f64 b)))
	14.5b	(/.f64 (*.f64 r (sin.f64 b)) (expm1.f64 (log1p.f64 (cos.f64 (+.f64 a b)))))
	40.7b	(cbrt.f64 (.f64 (.f64 (/.f64 (.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b))) (/.f64 (.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))) (/.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))))
	14.5b	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))
	14.6b	(/.f64 (*.f64 r (sin.f64 b)) (cbrt.f64 (pow.f64 (cos.f64 (+.f64 b a)) 3)))
	38.7b	(.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)))))

Compiler

Compiled 2563 to 878 computations (65.7% saved)

localize29.0ms (0.2%)

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

series310.0ms (1.8%)

Counts

3 → 64

Calls

3 calls:

257.0ms

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

33.0ms

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

20.0ms

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

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

14.0ms

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

8.0ms

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

8.0ms

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

simplify349.0ms (2%)

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

prune445.0ms (2.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	185	9	194
Fresh	5	2	7
Picked	1	0	1
Done	0	0	0
Total	191	11	202

Error

0.0b

Counts

202 → 11

Alt Table

Status	Error	Program
	0.3b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))))
	38.7b	(.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)))))
	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 r (sin.f64 b)) (expm1.f64 (log1p.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
▶	0.3b	(/.f64 (.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
	0.4b	(.f64 (/.f64 (.f64 (sin.f64 b) r) (-.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 (.f64 r (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))))))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 b) (sin.f64 a)) 3)) (fma.f64 (sin.f64 b) (.f64 (sin.f64 a) (fma.f64 (sin.f64 b) (sin.f64 a) (.f64 (cos.f64 a) (cos.f64 b)))) (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)))))
	14.6b	(/.f64 (*.f64 r (sin.f64 b)) (cbrt.f64 (pow.f64 (cos.f64 (+.f64 b a)) 3)))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 a) (sin.f64 a)) (sin.f64 a)) (.f64 (*.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b))))))
	0.7b	(/.f64 1 (/.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (*.f64 r (sin.f64 b))))

Compiler

Compiled 5607 to 1575 computations (71.9% saved)

localize35.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 b) (sin.f64 a))))
✓	0.2b	(*.f64 (sin.f64 b) (sin.f64 a))
✓	0.2b	(/.f64 (.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
✓	52.1b	(fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))

series1.1s (6.4%)

Counts

4 → 100

Calls

4 calls:

951.0ms	(/.f64 (.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
97.0ms	(fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))
30.0ms	(fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a))))
20.0ms	(*.f64 (sin.f64 b) (sin.f64 a))

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
11×	`add-cbrt-cube_binary64`
11×	`add-exp-log_binary64`
10×	`add-sqr-sqrt_binary64`
8×	`add-cube-cbrt_binary64`

Counts

4 → 68

Calls

4 calls:

9.0ms	(/.f64 (.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
7.0ms	(*.f64 (sin.f64 b) (sin.f64 a))
1.0ms	(fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))
1.0ms	(fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a))))

simplify199.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

708×	`fma-def_binary64`
385×	`fma-neg_binary64`
294×	`associate-/l/_binary64`
257×	`cancel-sign-sub-inv_binary64`
197×	`div-sub_binary64`

Counts

168 → 150

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	253	4321
1	665	3313
2	2408	3166
3	4394	3160
4	4973	3160

prune595.0ms (3.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	181	7	188
Fresh	5	5	10
Picked	1	0	1
Done	0	0	0
Total	187	12	199

Error

0.0b

Counts

199 → 12

Alt Table

Status	Error	Program
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (expm1.f64 (log1p.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(.f64 (/.f64 (.f64 (sin.f64 b) r) (.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))) (-.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
▶	0.3b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))))
	38.7b	(.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)))))
	0.4b	(/.f64 r (/.f64 (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (.f64 (sin.f64 b) (sin.f64 a)))) (sin.f64 b)))
	0.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (.f64 (sin.f64 b) (sin.f64 a))))))
	0.3b	(/.f64 (.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b)) (.f64 (.f64 (sin.f64 a) (sin.f64 a)) (sin.f64 a)))))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
	0.3b	(.f64 (/.f64 r 1) (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a))))))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 b) (sin.f64 a)) 3)) (fma.f64 (sin.f64 b) (.f64 (sin.f64 a) (fma.f64 (sin.f64 b) (sin.f64 a) (.f64 (cos.f64 a) (cos.f64 b)))) (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)))))
	14.6b	(/.f64 (*.f64 r (sin.f64 b)) (cbrt.f64 (pow.f64 (cos.f64 (+.f64 b a)) 3)))
	0.3b	(/.f64 (.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (log1p.f64 (expm1.f64 (.f64 (sin.f64 b) (sin.f64 a)))))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
	36.2b	(cbrt.f64 (.f64 (.f64 (/.f64 (.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (.f64 (sin.f64 b) (sin.f64 a))))) (/.f64 (.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (.f64 (sin.f64 b) (sin.f64 a)))))) (/.f64 (.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))))

Compiler

Compiled 7799 to 1714 computations (78% saved)

localize65.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series305.0ms (1.8%)

Counts

3 → 84

Calls

3 calls:

229.0ms

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

54.0ms

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

21.0ms

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

rewrite80.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`pow1_binary64`
28×	`sin-mult_binary64`
20×	`add-cbrt-cube_binary64`
20×	`add-exp-log_binary64`
17×	`pow-prod-down_binary64`

Counts

3 → 90

Calls

3 calls:

24.0ms

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

22.0ms

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

12.0ms

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

simplify235.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

787×	`fma-def_binary64`
379×	`cancel-sign-sub-inv_binary64`
301×	`associate-r_binary64`
299×	`unswap-sqr_binary64`
289×	`associate-l_binary64`

Counts

174 → 173

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	312	5351
1	794	4297
2	2931	4048
3	4940	4048
4	4961	4048

prune1.1s (6.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	312	2	314
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	315	11	326

Error

0.0b

Counts

326 → 11

Alt Table

Status	Error	Program
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (expm1.f64 (log1p.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(.f64 (/.f64 (.f64 (sin.f64 b) r) (.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))) (-.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
	0.3b	(/.f64 (.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (log1p.f64 (expm1.f64 (.f64 (sin.f64 b) (sin.f64 a)))))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
	33.2b	(.f64 (sqrt.f64 (/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.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)) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.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)) (cbrt.f64 (.f64 (expm1.f64 (log1p.f64 (.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2)))) (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(/.f64 r (/.f64 (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (.f64 (sin.f64 b) (sin.f64 a)))) (sin.f64 b)))
	0.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (.f64 (sin.f64 b) (sin.f64 a))))))
	0.3b	(.f64 (/.f64 r 1) (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a))))))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 b) (sin.f64 a)) 3)) (fma.f64 (sin.f64 b) (.f64 (sin.f64 a) (fma.f64 (sin.f64 b) (sin.f64 a) (.f64 (cos.f64 a) (cos.f64 b)))) (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)))))
	14.6b	(/.f64 (*.f64 r (sin.f64 b)) (cbrt.f64 (pow.f64 (cos.f64 (+.f64 b a)) 3)))
	36.2b	(cbrt.f64 (.f64 (.f64 (/.f64 (.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (.f64 (sin.f64 b) (sin.f64 a))))) (/.f64 (.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (.f64 (sin.f64 b) (sin.f64 a)))))) (/.f64 (.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))))

Compiler

Compiled 12182 to 2914 computations (76.1% saved)

regimes2.7s (15.9%)

Accuracy

Total 0.3b remaining (82.3%)

Threshold costs 0.3b (82.3%)

Counts

279 → 1

Compiler

Compiled 33345 to 17343 computations (48% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	48
1	28	48
2	33	48
3	35	48
4	36	48
5	36	48

end1.0ms (0%)

Compiler: Compiled 32 to 21 computations (34.4% saved)

sample6.1s (35.2%)

Algorithm

1×

intervals

Results

3.4s	3522×	body	1024	valid
704.0ms	1357×	body	512	valid
403.0ms	2333×	body	128	valid
385.0ms	185×	body	2048	valid
217.0ms	603×	body	256	valid
0.0ms	1×	body	512	invalid
0.0ms	1×	body	256	invalid

Compiler

Compiled 504 to 224 computations (55.6% saved)

Details

analyze2.8s (16.3%)

sample190.0ms (1.1%)

simplify16.0ms (0.1%)

prune4.0ms (0%)

localize16.0ms (0.1%)

series131.0ms (0.8%)

rewrite24.0ms (0.1%)

simplify130.0ms (0.8%)

prune235.0ms (1.4%)

localize29.0ms (0.2%)

series310.0ms (1.8%)

rewrite36.0ms (0.2%)

simplify349.0ms (2%)

prune445.0ms (2.6%)

localize35.0ms (0.2%)

series1.1s (6.4%)

rewrite26.0ms (0.1%)

simplify199.0ms (1.2%)

prune595.0ms (3.5%)

localize65.0ms (0.4%)

series305.0ms (1.8%)

rewrite80.0ms (0.5%)

simplify235.0ms (1.4%)

prune1.1s (6.1%)

regimes2.7s (15.9%)

simplify6.0ms (0%)

end1.0ms (0%)

sample6.1s (35.2%)

Profiling