Details

analyze1.5s (14.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)

sample4.5s (43.5%)

Results

3.1s	3637×	body	1024	valid
603.0ms	1441×	body	512	valid
383.0ms	2388×	body	128	valid
270.0ms	200×	body	2048	valid
170.0ms	590×	body	256	valid
0.0ms	1×	body	256	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`
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

14.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	14.2b	(/.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 4 expressions with local error:

New	Error	Program
✓	0.0b	(sin.f64 b)
✓	0.1b	(*.f64 r (sin.f64 b))
✓	0.3b	(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
✓	3.8b	(cos.f64 (+.f64 a b))

series59.0ms (0.6%)

Counts

4 → 72

Calls

4 calls:

46.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))
2.0ms	(sin.f64 b)

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 62

Calls

4 calls:

5.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))
1.0ms	(sin.f64 b)

simplify96.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

610×	`fma-def_binary64`
517×	`associate-/r*_binary64`
321×	`associate-/l/_binary64`
308×	`associate-/r/_binary64`
229×	`fma-neg_binary64`

Counts

134 → 141

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	211	2116
1	553	1980
2	2079	1928
3	4702	1928
4	4998	1928
5	4962	1928

prune141.0ms (1.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	130	11	141
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	131	11	142

Error

0.2b

Counts

142 → 11

Alt Table

Status	Error	Program
	14.2b	(/.f64 r (/.f64 (cos.f64 (+.f64 a b)) (sin.f64 b)))
	14.3b	(/.f64 (.f64 r (sin.f64 b)) (cbrt.f64 (.f64 (*.f64 (cos.f64 (+.f64 a b)) (cos.f64 (+.f64 a b))) (cos.f64 (+.f64 a b)))))
	14.6b	(.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)))))
▶	0.4b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
	14.2b	(/.f64 (*.f64 r (sin.f64 b)) (log1p.f64 (expm1.f64 (cos.f64 (+.f64 a b)))))
	14.2b	(/.f64 (*.f64 r (sin.f64 b)) (expm1.f64 (log1p.f64 (cos.f64 (+.f64 a b)))))
	30.3b	(/.f64 (.f64 r (cbrt.f64 (.f64 (*.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b)))) (cos.f64 (+.f64 a b)))
	28.7b	(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)))
	14.2b	(/.f64 (*.f64 r (log1p.f64 (expm1.f64 (sin.f64 b)))) (cos.f64 (+.f64 a b)))
	34.1b	(/.f64 (.f64 (sqrt.f64 (.f64 r (sin.f64 b))) (sqrt.f64 (*.f64 r (sin.f64 b)))) (cos.f64 (+.f64 a b)))
	14.8b	(/.f64 (.f64 (.f64 (cbrt.f64 (.f64 r (sin.f64 b))) (cbrt.f64 (.f64 r (sin.f64 b)))) (cbrt.f64 (*.f64 r (sin.f64 b)))) (cos.f64 (+.f64 a b)))

Compiler

Compiled 2934 to 1056 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 (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))))

series142.0ms (1.4%)

Counts

4 → 72

Calls

4 calls:

107.0ms	(/.f64 (.f64 r (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))
10.0ms	(*.f64 (cos.f64 a) (cos.f64 b))

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

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

simplify140.0ms (1.3%)

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

prune264.0ms (2.5%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	180	12	192
Fresh	7	3	10
Picked	1	0	1
Done	0	0	0
Total	188	15	203

Error

0.0b

Counts

203 → 15

Alt Table

Status	Error	Program
	0.4b	(/.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 (.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 (log1p.f64 (expm1.f64 (.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b))))
	27.8b	(.f64 (sqrt.f64 (/.f64 r (-.f64 (/.f64 (.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))) (sqrt.f64 (/.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)) (-.f64 (expm1.f64 (log1p.f64 (.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b))))
	34.1b	(/.f64 (.f64 (sqrt.f64 (.f64 r (sin.f64 b))) (sqrt.f64 (*.f64 r (sin.f64 b)))) (cos.f64 (+.f64 a b)))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (.f64 (sin.f64 a) (*.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b)))) (cbrt.f64 (sin.f64 b)))))
	0.5b	(.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 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)))))
	30.3b	(/.f64 (.f64 r (cbrt.f64 (.f64 (*.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b)))) (cos.f64 (+.f64 a b)))
	0.7b	(/.f64 1 (/.f64 (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)) r))
	14.2b	(/.f64 (*.f64 r (log1p.f64 (expm1.f64 (sin.f64 b)))) (cos.f64 (+.f64 a b)))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b))))
	1.0b	(.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))))))
	1.3b	(.f64 (.f64 (cbrt.f64 (/.f64 r (-.f64 (/.f64 (.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))) (cbrt.f64 (/.f64 r (-.f64 (/.f64 (.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1))))) (cbrt.f64 (/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))))

Compiler

Compiled 5927 to 1801 computations (69.6% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(*.f64 (sin.f64 a) (sin.f64 b))
✓	0.2b	(expm1.f64 (log1p.f64 (*.f64 (cos.f64 a) (cos.f64 b))))
✓	0.3b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (expm1.f64 (log1p.f64 (.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b))))
✓	0.4b	(log1p.f64 (*.f64 (cos.f64 a) (cos.f64 b)))

series860.0ms (8.3%)

Counts

3 → 84

Calls

3 calls:

740.0ms

(log1p.f64 (*.f64 (cos.f64 a) (cos.f64 b)))

109.0ms

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

10.0ms

(expm1.f64 (log1p.f64 (*.f64 (cos.f64 a) (cos.f64 b))))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 47

Calls

3 calls:

4.0ms

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

0.0ms

(log1p.f64 (*.f64 (cos.f64 a) (cos.f64 b)))

0.0ms

(expm1.f64 (log1p.f64 (*.f64 (cos.f64 a) (cos.f64 b))))

simplify149.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

769×	`fma-def_binary64`
276×	`cancel-sign-sub-inv_binary64`
221×	`fma-neg_binary64`
195×	`associate-/l*_binary64`
175×	`unswap-sqr_binary64`

Counts

131 → 128

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	261	3407
1	732	3199
2	2824	3048
3	4818	3045
4	4984	3045
5	4999	3045
6	4969	3045

prune356.0ms (3.4%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	175	0	175
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	175	15	190

Error

0.0b

Counts

190 → 15

Alt Table

Status	Error	Program
▶	0.4b	(/.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 (.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 (log1p.f64 (expm1.f64 (.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b))))
	27.8b	(.f64 (sqrt.f64 (/.f64 r (-.f64 (/.f64 (.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))) (sqrt.f64 (/.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)) (-.f64 (expm1.f64 (log1p.f64 (.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b))))
	34.1b	(/.f64 (.f64 (sqrt.f64 (.f64 r (sin.f64 b))) (sqrt.f64 (*.f64 r (sin.f64 b)))) (cos.f64 (+.f64 a b)))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (.f64 (sin.f64 a) (*.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b)))) (cbrt.f64 (sin.f64 b)))))
	0.5b	(.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 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)))))
	30.3b	(/.f64 (.f64 r (cbrt.f64 (.f64 (*.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b)))) (cos.f64 (+.f64 a b)))
	0.7b	(/.f64 1 (/.f64 (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)) r))
	14.2b	(/.f64 (*.f64 r (log1p.f64 (expm1.f64 (sin.f64 b)))) (cos.f64 (+.f64 a b)))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b))))
	1.0b	(.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))))))
	1.3b	(.f64 (.f64 (cbrt.f64 (/.f64 r (-.f64 (/.f64 (.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))) (cbrt.f64 (/.f64 r (-.f64 (/.f64 (.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1))))) (cbrt.f64 (/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))))

Compiler

Compiled 6181 to 2082 computations (66.3% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (log.f64 (exp.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)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (log.f64 (exp.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))
✓	3.6b	(log.f64 (exp.f64 (*.f64 (sin.f64 a) (sin.f64 b))))

series136.0ms (1.3%)

Counts

3 → 84

Calls

3 calls:

110.0ms

(/.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))))))

15.0ms

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

10.0ms

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

rewrite24.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`*-un-lft-identity_binary64`
9×	`add-sqr-sqrt_binary64`
9×	`add-cube-cbrt_binary64`
9×	`log-pow_binary64`
8×	`add-cbrt-cube_binary64`

Counts

3 → 70

Calls

3 calls:

6.0ms

(/.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))))))

5.0ms

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

1.0ms

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

simplify116.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

435×	`fma-neg_binary64`
348×	`cancel-sign-sub-inv_binary64`
305×	`associate-/l/_binary64`
190×	`associate-r_binary64`
176×	`distribute-rgt-neg-in_binary64`

Counts

154 → 155

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	260	3765
1	667	3525
2	2552	3393
3	4546	3387
4	4894	3387

prune333.0ms (3.2%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	200	2	202
Fresh	2	11	13
Picked	1	0	1
Done	0	1	1
Total	203	14	217

Error

0.0b

Counts

217 → 14

Alt Table

Status	Error	Program
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (log1p.f64 (expm1.f64 (.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b))))
	27.8b	(.f64 (sqrt.f64 (/.f64 r (-.f64 (/.f64 (.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))) (sqrt.f64 (/.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 (log.f64 (sqrt.f64 (exp.f64 (.f64 (sin.f64 a) (sin.f64 b))))) (log.f64 (sqrt.f64 (exp.f64 (.f64 (sin.f64 a) (sin.f64 b))))))))
✓	0.4b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (expm1.f64 (log1p.f64 (.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b))))
	34.1b	(/.f64 (.f64 (sqrt.f64 (.f64 r (sin.f64 b))) (sqrt.f64 (*.f64 r (sin.f64 b)))) (cos.f64 (+.f64 a b)))
	0.5b	(.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 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.4b	(/.f64 r (/.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (log.f64 (exp.f64 (.f64 (sin.f64 a) (sin.f64 b))))) (sin.f64 b)))
	30.3b	(/.f64 (.f64 r (cbrt.f64 (.f64 (*.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b)))) (cos.f64 (+.f64 a b)))
	0.7b	(/.f64 1 (/.f64 (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)) r))
	14.2b	(/.f64 (*.f64 r (log1p.f64 (expm1.f64 (sin.f64 b)))) (cos.f64 (+.f64 a b)))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b))))
	1.0b	(.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))))))
	1.3b	(.f64 (.f64 (cbrt.f64 (/.f64 r (-.f64 (/.f64 (.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))) (cbrt.f64 (/.f64 r (-.f64 (/.f64 (.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1))))) (cbrt.f64 (/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))))

Compiler

Compiled 6061 to 1631 computations (73.1% saved)

regimes1.2s (11.3%)

Accuracy

Total 0.3b remaining (84.3%)

Threshold costs 0.3b (84.3%)

Counts

245 → 1

Compiler

Compiled 24026 to 13972 computations (41.8% 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

end247.0ms (2.4%)

Compiler: Compiled 483 to 258 computations (46.6% saved)

Details

analyze1.5s (14.8%)

sample4.5s (43.5%)

simplify7.0ms (0.1%)

prune2.0ms (0%)

localize8.0ms (0.1%)

series59.0ms (0.6%)

rewrite13.0ms (0.1%)

simplify96.0ms (0.9%)

prune141.0ms (1.4%)

localize12.0ms (0.1%)

series142.0ms (1.4%)

rewrite22.0ms (0.2%)

simplify140.0ms (1.3%)

prune264.0ms (2.5%)

localize15.0ms (0.1%)

series860.0ms (8.3%)

rewrite8.0ms (0.1%)

simplify149.0ms (1.4%)

prune356.0ms (3.4%)

localize16.0ms (0.2%)

series136.0ms (1.3%)

rewrite24.0ms (0.2%)

simplify116.0ms (1.1%)

prune333.0ms (3.2%)

regimes1.2s (11.3%)

simplify3.0ms (0%)

end247.0ms (2.4%)

Profiling