Details

analyze1.5s (16.6%)

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)

sample120.0ms (1.4%)

Algorithm

1×

intervals

Results

65.0ms	116×	body	1024	valid
12.0ms	44×	body	512	valid
7.0ms	74×	body	128	valid
5.0ms	5×	body	2048	valid
4.0ms	17×	body	256	valid

Compiler

Compiled 28 to 20 computations (28.6% saved)

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

16.9b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 45 to 27 computations (40% saved)

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

series63.0ms (0.7%)

Counts

3 → 68

Calls

3 calls:

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

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

simplify66.0ms (0.7%)

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

prune126.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
	17.3b	(/.f64 (/.f64 (.f64 r (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))))
	16.9b	(/.f64 (*.f64 r (sin.f64 b)) (log1p.f64 (expm1.f64 (cos.f64 (+.f64 a b)))))
	32.7b	(+.f64 (.f64 1/3 (/.f64 (.f64 r (pow.f64 b 3)) (cos.f64 a))) (+.f64 (/.f64 (.f64 b r) (cos.f64 a)) (+.f64 (/.f64 (.f64 (sin.f64 a) (.f64 r (pow.f64 b 2))) (pow.f64 (cos.f64 a) 2)) (/.f64 (.f64 (pow.f64 (sin.f64 a) 2) (*.f64 r (pow.f64 b 3))) (pow.f64 (cos.f64 a) 3)))))
	16.9b	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))
	17.3b	(/.f64 (.f64 r (sin.f64 b)) (.f64 (*.f64 (cbrt.f64 (cos.f64 (+.f64 a b))) (cbrt.f64 (cos.f64 (+.f64 a b)))) (cbrt.f64 (cos.f64 (+.f64 a b)))))
	31.9b	(*.f64 (/.f64 r (sqrt.f64 (cos.f64 (+.f64 a b)))) (/.f64 (sin.f64 b) (sqrt.f64 (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))))
	16.9b	(/.f64 r (/.f64 (cos.f64 (+.f64 a b)) (sin.f64 b)))

Compiler

Compiled 2625 to 922 computations (64.9% saved)

localize13.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 (sin.f64 a) (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))))

series162.0ms (1.8%)

Counts

4 → 72

Calls

4 calls:

126.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)))
11.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:

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

simplify154.0ms (1.7%)

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

Iterations

Useful iterations: 3 (0.0ms)

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

prune245.0ms (2.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	181	11	192
Fresh	7	0	7
Picked	1	0	1
Done	0	0	0
Total	189	11	200

Error

0.0b

Counts

200 → 11

Alt Table

Status	Error	Program
	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)) (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)) (-.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.3b	(/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))
	0.7b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (.f64 (cos.f64 a) (.f64 (cbrt.f64 (cos.f64 b)) (cbrt.f64 (cos.f64 b)))) (cbrt.f64 (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 (.f64 (sin.f64 b) (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)))))
	0.3b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
	22.6b	(.f64 (/.f64 r (sqrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (sqrt.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.5b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (.f64 (cbrt.f64 (sin.f64 a)) (cbrt.f64 (sin.f64 a))) (*.f64 (cbrt.f64 (sin.f64 a)) (sin.f64 b)))))
	39.7b	(cbrt.f64 (/.f64 (.f64 (.f64 (.f64 r r) r) (.f64 (.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b))) (.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))))))

Compiler

Compiled 5699 to 1655 computations (71% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series359.0ms (4.1%)

Counts

2 → 60

Calls

2 calls:

344.0ms	(/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))
16.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))))

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

prune254.0ms (2.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	171	2	173
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	173	11	184

Error

0.0b

Counts

184 → 11

Alt Table

Status	Error	Program
	22.6b	(.f64 (/.f64 r (sqrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (sqrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
	1.3b	(/.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 b) r)) (cbrt.f64 (.f64 (sin.f64 b) r))) (cbrt.f64 (.f64 (sin.f64 b) r))) (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 (.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 (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)))))))
	0.7b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (.f64 (cos.f64 a) (.f64 (cbrt.f64 (cos.f64 b)) (cbrt.f64 (cos.f64 b)))) (cbrt.f64 (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 (.f64 (sin.f64 b) (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)))))
▶	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)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (.f64 (cbrt.f64 (sin.f64 a)) (cbrt.f64 (sin.f64 a))) (*.f64 (cbrt.f64 (sin.f64 a)) (sin.f64 b)))))
	39.7b	(cbrt.f64 (/.f64 (.f64 (.f64 (.f64 r r) r) (.f64 (.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b))) (.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))))))

Compiler

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

series215.0ms (2.4%)

Counts

4 → 76

Calls

4 calls:

119.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
69.0ms	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
15.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
12.0ms	(*.f64 (sin.f64 b) (sin.f64 a))

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

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

simplify196.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

367×	`fma-neg_binary64`
327×	`cancel-sign-sub-inv_binary64`
298×	`associate-r_binary64`
265×	`associate-l_binary64`
203×	`associate-/l*_binary64`

Counts

186 → 253

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	336	5467
1	876	5149
2	3335	4803
3	4502	4797
4	4984	4797
5	4933	4797

prune330.0ms (3.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	251	2	253
Fresh	3	6	9
Picked	0	1	1
Done	0	1	1
Total	254	10	264

Error

0.0b

Counts

264 → 10

Alt Table

Status	Error	Program
	39.7b	(cbrt.f64 (/.f64 (.f64 (.f64 (.f64 r r) r) (.f64 (.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b))) (.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))))))
	1.2b	(.f64 r (.f64 (.f64 (cbrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))) (cbrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))))) (cbrt.f64 (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))))
✓	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)))))
	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 (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)))))))
✓	0.3b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
	1.3b	(/.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 b) r)) (cbrt.f64 (.f64 (sin.f64 b) r))) (cbrt.f64 (.f64 (sin.f64 b) r))) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.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 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 b) (sin.f64 a)) (.f64 (sin.f64 b) (sin.f64 a)))))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (.f64 (cbrt.f64 (sin.f64 a)) (cbrt.f64 (sin.f64 a))) (*.f64 (cbrt.f64 (sin.f64 a)) (sin.f64 b)))))

Compiler

Compiled 7482 to 1838 computations (75.4% saved)

regimes1.5s (17.5%)

Accuracy

Total 0.3b remaining (82.5%)

Threshold costs 0.3b (82.5%)

Counts

302 → 1

Compiler

Compiled 30155 to 16711 computations (44.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
3×	`+-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	15	26
1	26	26
2	34	26
3	39	26
4	41	26
5	40	26

end1.0ms (0%)

Compiler: Compiled 19 to 12 computations (36.8% saved)

sample3.3s (37.5%)

Algorithm

1×

intervals

Results

1.9s	3558×	body	1024	valid
396.0ms	1404×	body	512	valid
232.0ms	2291×	body	128	valid
204.0ms	156×	body	2048	valid
125.0ms	591×	body	256	valid
1.0ms	2×	body	1024	invalid

Compiler

Compiled 367 to 170 computations (53.7% saved)

Details

analyze1.5s (16.6%)

sample120.0ms (1.4%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize8.0ms (0.1%)

series63.0ms (0.7%)

rewrite13.0ms (0.1%)

simplify66.0ms (0.7%)

prune126.0ms (1.4%)

localize13.0ms (0.1%)

series162.0ms (1.8%)

rewrite25.0ms (0.3%)

simplify154.0ms (1.7%)

prune245.0ms (2.8%)

localize14.0ms (0.2%)

series359.0ms (4.1%)

rewrite6.0ms (0.1%)

simplify73.0ms (0.8%)

prune254.0ms (2.9%)

localize13.0ms (0.1%)

series215.0ms (2.4%)

rewrite34.0ms (0.4%)

simplify196.0ms (2.2%)

prune330.0ms (3.7%)

regimes1.5s (17.5%)

simplify3.0ms (0%)

end1.0ms (0%)

sample3.3s (37.5%)

Profiling