Details

analyze2.1s (22.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
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	99.9%	0.1%	9
0%	99.9%	0.1%	10
1.6%	98.3%	0.1%	11
1.6%	98.3%	0.1%	12
2.3%	97.5%	0.1%	13
3.5%	96.3%	0.1%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample4.1s (42.6%)

Results

2.5s	3589×	body	1024	valid
603.0ms	1428×	body	512	valid
420.0ms	2444×	body	128	valid
306.0ms	205×	body	2048	valid
173.0ms	590×	body	256	valid
4.0ms	1×	body	8192	exit

Compiler

Compiled 38 to 26 computations (31.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

12.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	12.3b	(/.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))

series62.0ms (0.7%)

Counts

3 → 68

Calls

3 calls:

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

prune129.0ms (1.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	115	9	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	116	9	125

Error

0.1b

Counts

125 → 9

Alt Table

Status	Error	Program
	12.4b	(/.f64 r (/.f64 (cos.f64 (+.f64 a b)) (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))))
	12.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 a b))))
	12.4b	(/.f64 (*.f64 r (sin.f64 b)) (expm1.f64 (log1p.f64 (cos.f64 (+.f64 a b)))))
	12.5b	(/.f64 (*.f64 r (sin.f64 b)) (cbrt.f64 (pow.f64 (cos.f64 (+.f64 b a)) 3)))
	12.3b	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))
	27.4b	(*.f64 (/.f64 r (sqrt.f64 (cos.f64 (+.f64 a b)))) (/.f64 (sin.f64 b) (sqrt.f64 (cos.f64 (+.f64 a b)))))
	12.5b	(/.f64 (*.f64 r (sin.f64 b)) (log.f64 (exp.f64 (cos.f64 (+.f64 a b)))))
	12.4b	(/.f64 (*.f64 r (sin.f64 b)) (log1p.f64 (expm1.f64 (cos.f64 (+.f64 a b)))))

Compiler

Compiled 2539 to 896 computations (64.7% 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 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))))

series147.0ms (1.5%)

Counts

3 → 64

Calls

3 calls:

119.0ms

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

17.0ms

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

10.0ms

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

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

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

simplify137.0ms (1.4%)

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

prune259.0ms (2.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	184	10	194
Fresh	7	1	8
Picked	1	0	1
Done	0	0	0
Total	192	11	203

Error

0.0b

Counts

203 → 11

Alt Table

Status	Error	Program
	0.3b	(/.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 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (log.f64 (/.f64 (exp.f64 (.f64 (cos.f64 a) (cos.f64 b))) (exp.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))
	21.5b	(.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 (/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (.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.5b	(/.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)))))
	1.1b	(/.f64 (.f64 (.f64 r (.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b)))) (cbrt.f64 (sin.f64 b))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
	1.2b	(.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)))))
▶	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)))))
	12.4b	(/.f64 (*.f64 r (sin.f64 b)) (log1p.f64 (expm1.f64 (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)))

Compiler

Compiled 5563 to 1559 computations (72% saved)

localize13.0ms (0.1%)

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 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)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))

series136.0ms (1.4%)

Counts

2 → 60

Calls

2 calls:

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

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

prune214.0ms (2.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	168	5	173
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	172	12	184

Error

0.0b

Counts

184 → 12

Alt Table

Status	Error	Program
	0.3b	(/.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 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (log.f64 (/.f64 (exp.f64 (.f64 (cos.f64 a) (cos.f64 b))) (exp.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))
	1.2b	(.f64 (.f64 (cbrt.f64 (/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b))))))) (cbrt.f64 (/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))))
	21.5b	(.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 (/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (.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)) (log.f64 (exp.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))))
	1.1b	(/.f64 (.f64 (.f64 r (.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b)))) (cbrt.f64 (sin.f64 b))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
	0.3b	(/.f64 r (/.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b)))) (sin.f64 b)))
	48.1b	(/.f64 (.f64 (.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) (.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b)))) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))
	0.4b	(/.f64 1 (/.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (.f64 r (sin.f64 b))))
	12.4b	(/.f64 (*.f64 r (sin.f64 b)) (log1p.f64 (expm1.f64 (cos.f64 (+.f64 a b)))))

Compiler

Compiled 4938 to 1406 computations (71.5% 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 b) (sin.f64 a)))
✓	0.1b	(.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.3%)

Counts

4 → 76

Calls

4 calls:

118.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
67.0ms	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
19.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
11.0ms	(*.f64 (sin.f64 b) (sin.f64 a))

rewrite35.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)))))
8.0ms	(-.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))))
4.0ms	(*.f64 (sin.f64 b) (sin.f64 a))

simplify181.0ms (1.9%)

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

prune329.0ms (3.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	250	3	253
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	255	10	265

Error

0.0b

Counts

265 → 10

Alt Table

Status	Error	Program
	21.5b	(.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 (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 b) (sin.f64 a)))))
	0.3b	(/.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))))))
	1.2b	(.f64 (.f64 (cbrt.f64 (/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (/.f64 (.f64 r (sin.f64 b)) (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b))))))) (cbrt.f64 (/.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)) (log.f64 (exp.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))))))
	1.1b	(/.f64 (.f64 (.f64 r (.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b)))) (cbrt.f64 (sin.f64 b))) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
	0.3b	(/.f64 r (/.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 a) (sin.f64 b)))) (sin.f64 b)))
	0.4b	(.f64 r (.f64 (sin.f64 b) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))))
	12.4b	(/.f64 (*.f64 r (sin.f64 b)) (log1p.f64 (expm1.f64 (cos.f64 (+.f64 a b)))))
	0.3b	(*.f64 r (/.f64 1 (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (sin.f64 a))))

Compiler

Compiled 7420 to 1837 computations (75.2% saved)

regimes1.1s (11.4%)

Accuracy

Total 0.3b remaining (82.5%)

Threshold costs 0.3b (82.5%)

Counts

236 → 1

Compiler

Compiled 23488 to 13564 computations (42.3% 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	13	26
1	23	26
2	31	26
3	36	26
4	38	26
5	38	26

end168.0ms (1.8%)

Compiler: Compiled 308 to 169 computations (45.1% saved)

Details

analyze2.1s (22.5%)

sample4.1s (42.6%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize8.0ms (0.1%)

series62.0ms (0.7%)

rewrite13.0ms (0.1%)

simplify66.0ms (0.7%)

prune129.0ms (1.3%)

localize12.0ms (0.1%)

series147.0ms (1.5%)

rewrite20.0ms (0.2%)

simplify137.0ms (1.4%)

prune259.0ms (2.7%)

localize13.0ms (0.1%)

series136.0ms (1.4%)

rewrite6.0ms (0.1%)

simplify72.0ms (0.8%)

prune214.0ms (2.2%)

localize12.0ms (0.1%)

series215.0ms (2.3%)

rewrite35.0ms (0.4%)

simplify181.0ms (1.9%)

prune329.0ms (3.4%)

regimes1.1s (11.4%)

simplify3.0ms (0%)

end168.0ms (1.8%)

Profiling