Details

analyze1.6s (13.7%)

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.1s (35.6%)

Results

2.5s	3582×	body	1024	valid
579.0ms	1387×	body	512	valid
380.0ms	2427×	body	128	valid
307.0ms	216×	body	2048	valid
284.0ms	644×	body	256	valid
1.0ms	2×	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

14.5b

Counts

3 → 1

Alt Table

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

series84.0ms (0.7%)

Counts

3 → 52

Calls

3 calls:

53.0ms	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
26.0ms	(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
4.0ms	(cos.f64 (+.f64 a b))

rewrite95.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

125× egg-rr

Counts

3 → 125

Calls

2 calls:

92.0ms	((cos.f64 (+.f64 a b)) (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))) (*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	31
1	200	31
2	2736	31
3	4800	31
4	5016	31
0	0	0
1	0	0

simplify47.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

694×	`fma-def_binary64`
622×	`associate-l_binary64`
444×	`associate-/r*_binary64`
196×	`associate-/r/_binary64`
178×	`associate-*l/_binary64`

Counts

177 → 169

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	155	1422
1	443	1420
2	1630	1358
3	5064	1358

prune214.0ms (1.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	157	12	169
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	158	12	170

Error

0.1b

Counts

170 → 12

Alt Table

Status	Error	Program
	0.4b	(.f64 r (/.f64 (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 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b)) (fma.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.4b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (cbrt.f64 (sin.f64 b)) (.f64 (sin.f64 a) (pow.f64 (cbrt.f64 (sin.f64 b)) 2))))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 b))) (.f64 (sin.f64 a) (pow.f64 (cbrt.f64 (sin.f64 b)) 2)) (.f64 (cbrt.f64 (sin.f64 b)) (.f64 (sin.f64 a) (pow.f64 (cbrt.f64 (sin.f64 b)) 2)))))))
	14.9b	(/.f64 (/.f64 (*.f64 (sin.f64 b) r) (pow.f64 (cbrt.f64 (cos.f64 (+.f64 a b))) 2)) (cbrt.f64 (cos.f64 (+.f64 a b))))
	26.2b	(.f64 r (/.f64 (sin.f64 b) (fma.f64 (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))))))
▶	0.3b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (.f64 (sin.f64 a) 1)))) (fma.f64 (neg.f64 (sin.f64 b)) (.f64 (sin.f64 a) 1) (.f64 (sin.f64 b) (.f64 (sin.f64 a) 1))))))
	15.2b	(/.f64 1 (/.f64 (cos.f64 (+.f64 a b)) (*.f64 (sin.f64 b) r)))
	36.3b	(.f64 r (.f64 (/.f64 (sqrt.f64 (sin.f64 b)) 1) (/.f64 (sqrt.f64 (sin.f64 b)) (cos.f64 (+.f64 a b)))))
	0.8b	(.f64 r (/.f64 (sin.f64 b) (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (cbrt.f64 (.f64 (cos.f64 a) (cos.f64 b)))) (cbrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))))))
	14.5b	(/.f64 (*.f64 (sin.f64 b) r) (cos.f64 (+.f64 a b)))
	14.5b	(/.f64 r (/.f64 (cos.f64 (+.f64 a b)) (sin.f64 b)))
	15.2b	(.f64 r (.f64 (cbrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))) (pow.f64 (cbrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))) 2)))
	15.2b	(.f64 r (.f64 (pow.f64 (cbrt.f64 (sin.f64 b)) 2) (*.f64 (cbrt.f64 (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 a b))))))

Compiler

Compiled 4955 to 1704 computations (65.6% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (sin.f64 b) (.f64 (sin.f64 a) 1))
✓	0.2b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (.f64 (sin.f64 a) 1)))) (fma.f64 (neg.f64 (sin.f64 b)) (.f64 (sin.f64 a) 1) (.f64 (sin.f64 b) (.f64 (sin.f64 a) 1))))))
✓	0.2b	(/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (.f64 (sin.f64 a) 1)))) (fma.f64 (neg.f64 (sin.f64 b)) (.f64 (sin.f64 a) 1) (.f64 (sin.f64 b) (*.f64 (sin.f64 a) 1)))))
✓	51.8b	(fma.f64 (neg.f64 (sin.f64 b)) (.f64 (sin.f64 a) 1) (.f64 (sin.f64 b) (*.f64 (sin.f64 a) 1)))

series882.0ms (7.7%)

Counts

4 → 108

Calls

4 calls:

765.0ms	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (.f64 (sin.f64 a) 1)))) (fma.f64 (neg.f64 (sin.f64 b)) (.f64 (sin.f64 a) 1) (.f64 (sin.f64 b) (.f64 (sin.f64 a) 1))))))
81.0ms	(/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (.f64 (sin.f64 a) 1)))) (fma.f64 (neg.f64 (sin.f64 b)) (.f64 (sin.f64 a) 1) (.f64 (sin.f64 b) (*.f64 (sin.f64 a) 1)))))
24.0ms	(fma.f64 (neg.f64 (sin.f64 b)) (.f64 (sin.f64 a) 1) (.f64 (sin.f64 b) (*.f64 (sin.f64 a) 1)))
11.0ms	(.f64 (sin.f64 b) (.f64 (sin.f64 a) 1))

rewrite91.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

108× egg-rr

Counts

4 → 108

Calls

2 calls:

87.0ms

((fma.f64 (neg.f64 (sin.f64 b)) (*.f64 (sin.f64 a) 1) (*.f64 (sin.f64 b) (*.f64 (sin.f64 a) 1))) (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (*.f64 (sin.f64 a) 1)))) (fma.f64 (neg.f64 (sin.f64 b)) (*.f64 (sin.f64 a) 1) (*.f64 (sin.f64 b) (*.f64 (sin.f64 a) 1))))) (*.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (*.f64 (sin.f64 a) 1)))) (fma.f64 (neg.f64 (sin.f64 b)) (*.f64 (sin.f64 a) 1) (*.f64 (sin.f64 b) (*.f64 (sin.f64 a) 1)))))) (*.f64 (sin.f64 b) (*.f64 (sin.f64 a) 1)))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	115
1	355	90
2	4040	90
3	5083	90
0	0	0
1	0	0

simplify61.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

743×	`fma-def_binary64`
675×	`associate-l_binary64`
444×	`associate-/r*_binary64`
196×	`associate-/r/_binary64`
178×	`associate-*l/_binary64`

Counts

216 → 162

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	175	2338
1	496	2328
2	1766	2244
3	5498	2244

prune286.0ms (2.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	198	3	201
Fresh	3	8	11
Picked	0	1	1
Done	0	0	0
Total	201	12	213

Error

0.1b

Counts

213 → 12

Alt Table

Status	Error	Program
	14.9b	(/.f64 (/.f64 (*.f64 (sin.f64 b) r) (pow.f64 (cbrt.f64 (cos.f64 (+.f64 a b))) 2)) (cbrt.f64 (cos.f64 (+.f64 a b))))
	26.2b	(.f64 r (/.f64 (sin.f64 b) (fma.f64 (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))))))
✓	0.3b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 b) (.f64 (sin.f64 a) 1)))) (fma.f64 (neg.f64 (sin.f64 b)) (.f64 (sin.f64 a) 1) (.f64 (sin.f64 b) (.f64 (sin.f64 a) 1))))))
	15.2b	(/.f64 1 (/.f64 (cos.f64 (+.f64 a b)) (*.f64 (sin.f64 b) r)))
	36.3b	(.f64 r (.f64 (/.f64 (sqrt.f64 (sin.f64 b)) 1) (/.f64 (sqrt.f64 (sin.f64 b)) (cos.f64 (+.f64 a b)))))
	15.2b	(.f64 r (.f64 (cbrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))) (pow.f64 (cbrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))) 2)))
▶	0.3b	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 b) 3) (pow.f64 (sin.f64 a) 3))))) (fma.f64 (neg.f64 (sin.f64 b)) (.f64 (sin.f64 a) 1) (.f64 (sin.f64 b) (*.f64 (sin.f64 a) 1))))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 b)) (sin.f64 a))))) (fma.f64 (neg.f64 (sin.f64 b)) (.f64 (sin.f64 a) 1) (.f64 (sin.f64 b) (.f64 (sin.f64 a) 1))))))
	0.4b	(.f64 r (/.f64 (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 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b)) (fma.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))))))))
	14.5b	(/.f64 r (/.f64 (cos.f64 (+.f64 a b)) (sin.f64 b)))
	15.2b	(.f64 r (.f64 (pow.f64 (cbrt.f64 (sin.f64 b)) 2) (*.f64 (cbrt.f64 (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 a b))))))

Compiler

Compiled 7606 to 3103 computations (59.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series138.0ms (1.2%)

Counts

4 → 52

Calls

4 calls:

106.0ms	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
14.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
10.0ms	(*.f64 (sin.f64 b) (sin.f64 a))
8.0ms	(*.f64 (sin.f64 b) r)

rewrite83.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

155× egg-rr

Counts

4 → 155

Calls

2 calls:

80.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	58
1	293	34
2	4064	34
3	5221	34
0	0	0
1	0	0

simplify49.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

833×	`times-frac_binary64`
682×	`fma-def_binary64`
663×	`associate-/l*_binary64`
311×	`cancel-sign-sub-inv_binary64`
154×	`fma-neg_binary64`

Counts

207 → 212

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	152	1361
1	469	1343
2	1620	1265
3	5256	1265

prune297.0ms (2.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	204	8	212
Fresh	6	4	10
Picked	0	1	1
Done	1	0	1
Total	211	13	224

Error

0.0b

Counts

224 → 13

Alt Table

Status	Error	Program
	15.2b	(/.f64 1 (/.f64 (cos.f64 (+.f64 a b)) (*.f64 (sin.f64 b) r)))
	0.6b	(/.f64 (.f64 (sin.f64 b) r) (fma.f64 (.f64 (cos.f64 a) (pow.f64 (cbrt.f64 (cos.f64 b)) 2)) (cbrt.f64 (cos.f64 b)) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))))
	0.4b	(/.f64 (.f64 (sin.f64 b) r) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))) 3)) (+.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 2) (-.f64 (.f64 (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))))))))
	34.3b	(.f64 (sqrt.f64 (.f64 (sin.f64 b) r)) (.f64 (sqrt.f64 (.f64 (sin.f64 b) r)) (/.f64 1 (cos.f64 (+.f64 b a)))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 b) 3) (pow.f64 (sin.f64 a) 3))))) (fma.f64 (neg.f64 (sin.f64 b)) (.f64 (sin.f64 a) 1) (.f64 (sin.f64 b) (*.f64 (sin.f64 a) 1))))))
	1.2b	(/.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 b) r)) 3) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 b)) (sin.f64 a))))) (fma.f64 (neg.f64 (sin.f64 b)) (.f64 (sin.f64 a) 1) (.f64 (sin.f64 b) (.f64 (sin.f64 a) 1))))))
	13.0b	(.f64 (/.f64 (.f64 (sin.f64 b) r) (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 b) (sin.f64 a)) 3))) (+.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 2) (.f64 (*.f64 (sin.f64 b) (sin.f64 a)) (cos.f64 (-.f64 b a)))))
	0.7b	(/.f64 (.f64 (sin.f64 b) r) (fma.f64 (.f64 (cos.f64 b) (pow.f64 (cbrt.f64 (cos.f64 a)) 2)) (cbrt.f64 (cos.f64 a)) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))))
	26.2b	(/.f64 (.f64 (sin.f64 b) r) (fma.f64 (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))))
▶	0.4b	(/.f64 (.f64 (sin.f64 b) r) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 2) (.f64 (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a))))))
✓	0.3b	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
	15.2b	(.f64 r (.f64 (pow.f64 (cbrt.f64 (sin.f64 b)) 2) (*.f64 (cbrt.f64 (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 a b))))))

Compiler

Compiled 5612 to 1711 computations (69.5% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a))))
✓	0.2b	(/.f64 (.f64 (sin.f64 b) r) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 2) (.f64 (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a))))))
✓	0.4b	(pow.f64 (*.f64 (cos.f64 a) (cos.f64 b)) 2)
✓	0.4b	(/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 2) (.f64 (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))))

series624.0ms (5.4%)

Counts

4 → 108

Calls

4 calls:

464.0ms	(/.f64 (.f64 (sin.f64 b) r) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 2) (.f64 (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a))))))
116.0ms	(/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 2) (.f64 (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))))
26.0ms	(.f64 (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a))))
18.0ms	(pow.f64 (*.f64 (cos.f64 a) (cos.f64 b)) 2)

rewrite83.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

128× egg-rr

Counts

4 → 128

Calls

2 calls:

79.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	128
1	446	42
2	4217	42
3	5282	42
0	0	0
1	0	0

simplify112.0ms (1%)

Algorithm

1×	egg-herbie

Rules

889×	`times-frac_binary64`
503×	`fma-neg_binary64`
389×	`cancel-sign-sub-inv_binary64`
195×	`associate-r_binary64`
177×	`distribute-rgt-neg-in_binary64`

Counts

236 → 194

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	188	3929
1	564	3893
2	2003	3801
3	4791	3799
4	5067	3799

prune297.0ms (2.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	190	4	194
Fresh	5	6	11
Picked	1	0	1
Done	0	1	1
Total	196	11	207

Error

0.0b

Counts

207 → 11

Alt Table

Status	Error	Program
	14.5b	(/.f64 (.f64 (sin.f64 b) r) (.f64 (+.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 2) (pow.f64 (.f64 (sin.f64 b) (sin.f64 a)) 2)) (/.f64 1 (cos.f64 (-.f64 b a)))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 b)) (sin.f64 a))))) (fma.f64 (neg.f64 (sin.f64 b)) (.f64 (sin.f64 a) 1) (.f64 (sin.f64 b) (.f64 (sin.f64 a) 1))))))
	0.4b	(/.f64 (.f64 (sin.f64 b) r) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))) 3)) (+.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 2) (-.f64 (.f64 (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))))))))
	34.3b	(.f64 (sqrt.f64 (.f64 (sin.f64 b) r)) (.f64 (sqrt.f64 (.f64 (sin.f64 b) r)) (/.f64 1 (cos.f64 (+.f64 b a)))))
	0.4b	(/.f64 (.f64 (sin.f64 b) (.f64 (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (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))))
✓	0.3b	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
	1.2b	(/.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 b) r)) 3) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
	14.4b	(.f64 (.f64 (sin.f64 b) r) (/.f64 1 (cos.f64 (-.f64 b a))))
	0.6b	(/.f64 (.f64 (sin.f64 b) r) (fma.f64 (.f64 (cos.f64 a) (pow.f64 (cbrt.f64 (cos.f64 b)) 2)) (cbrt.f64 (cos.f64 b)) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))))
	26.2b	(/.f64 (.f64 (sin.f64 b) r) (fma.f64 (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))))
	0.4b	(/.f64 (.f64 r (+.f64 (.f64 (sin.f64 a) (pow.f64 (sin.f64 b) 2)) (.f64 (sin.f64 b) (.f64 (cos.f64 a) (cos.f64 b))))) (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2))))

Compiler

Compiled 7417 to 2359 computations (68.2% saved)

regimes2.1s (18.1%)

Accuracy

Total 0.3b remaining (80.6%)

Threshold costs 0.3b (80.6%)

Counts

301 → 1

Compiler

Compiled 36204 to 21972 computations (39.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
7×	`sub-neg_binary64`
6×	`+-commutative_binary64`
6×	`cancel-sign-sub-inv_binary64`
6×	`neg-sub0_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	16	46
1	26	46
2	36	46
3	54	44
4	67	44
5	72	44
6	73	44
7	69	44

end253.0ms (2.2%)

Compiler: Compiled 395 to 224 computations (43.3% saved)

Details

analyze1.6s (13.7%)

sample4.1s (35.6%)

simplify6.0ms (0.1%)

prune2.0ms (0%)

localize7.0ms (0.1%)

series84.0ms (0.7%)

rewrite95.0ms (0.8%)

simplify47.0ms (0.4%)

prune214.0ms (1.9%)

localize18.0ms (0.2%)

series882.0ms (7.7%)

rewrite91.0ms (0.8%)

simplify61.0ms (0.5%)

prune286.0ms (2.5%)

localize12.0ms (0.1%)

series138.0ms (1.2%)

rewrite83.0ms (0.7%)

simplify49.0ms (0.4%)

prune297.0ms (2.6%)

localize18.0ms (0.2%)

series624.0ms (5.4%)

rewrite83.0ms (0.7%)

simplify112.0ms (1%)

prune297.0ms (2.6%)

regimes2.1s (18.1%)

simplify3.0ms (0%)

end253.0ms (2.2%)

Profiling