Details

analyze5.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 15 to 11 computations (26.7% saved)

sample1.6s (26.6%)

Results

693.0ms	2120×	body	1024	valid
438.0ms	4433×	body	128	valid
245.0ms	997×	body	512	valid
86.0ms	496×	body	256	valid
80.0ms	210×	body	2048	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify85.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

859×	`fma-neg_binary64`
770×	`fma-def_binary64`
322×	`div-sub_binary64`
178×	`associate-/l*_binary64`
150×	`sub-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	16	19
2	22	19
3	34	19
4	57	19
5	91	19
6	178	19
7	277	19
8	643	19
9	788	19
10	1024	19
11	1265	19
12	1242	19
13	1248	19
14	1246	19
15	1248	19
16	1250	19
17	1260	19
18	1260	19
19	1171	19

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

30.5b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	30.5b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

Compiler

Compiled 42 to 30 computations (28.6% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 x (+.f64 x 1))
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 x 1))
✓	1.9b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

series8.0ms (0.1%)

Counts

3 → 36

Calls

3 calls:

3.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
3.0ms	(/.f64 x (+.f64 x 1))
2.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))

rewrite237.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Rules

1322×	`*-un-lft-identity_binary64`
1012×	`times-frac_binary64`
869×	`add-sqr-sqrt_binary64`
612×	`prod-diff_binary64`
533×	`add-cube-cbrt_binary64`

Counts

3 → 783

Calls

3 calls:

46.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
6.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))
4.0ms	(/.f64 x (+.f64 x 1))

simplify943.0ms (15.2%)

Algorithm

1×	egg-herbie

Rules

654×	`fma-neg_binary64`
367×	`unsub-neg_binary64`
299×	`fma-udef_binary64`
213×	`sub-neg_binary64`
202×	`associate-+r-_binary64`

Counts

819 → 619

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	545	54602
1	1290	31108
2	3043	22839
3	4323	22837
4	4983	22837
5	4991	22837
6	4742	22837

prune775.0ms (12.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	613	6	619
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	614	6	620

Error

0.0b

Counts

620 → 6

Alt Table

Status	Error	Program
	31.2b	(+.f64 (fma.f64 x (/.f64 1 (+.f64 x 1)) (neg.f64 (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1)))))) (fma.f64 (neg.f64 (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))) (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))))))
	33.5b	(+.f64 1 (fma.f64 3 (+.f64 x (pow.f64 x 3)) (*.f64 x x)))
	31.2b	(+.f64 (fma.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 x) (+.f64 x 1)) (neg.f64 (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1)))))) (fma.f64 (neg.f64 (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))) (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (*.f64 1 1))))))
	61.0b	(+.f64 (fma.f64 1 (/.f64 x (+.f64 x 1)) (neg.f64 (.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))))
	61.6b	(+.f64 (fma.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 x) (+.f64 x 1)) (neg.f64 (.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (*.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))))
▶	30.6b	(-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3))))

Compiler

Compiled 30836 to 22715 computations (26.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3))))
✓	0.2b	(/.f64 1 (*.f64 x x))
✓	0.8b	(/.f64 3 (pow.f64 x 3))
✓	8.8b	(+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))

series12.0ms (0.2%)

Counts

4 → 36

Calls

4 calls:

4.0ms	(+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))
3.0ms	(-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3))))
3.0ms	(/.f64 3 (pow.f64 x 3))
2.0ms	(/.f64 1 (*.f64 x x))

rewrite74.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

178×	`*-un-lft-identity_binary64`
136×	`times-frac_binary64`
101×	`add-sqr-sqrt_binary64`
96×	`add-cube-cbrt_binary64`
78×	`prod-diff_binary64`

Counts

4 → 245

Calls

4 calls:

25.0ms	(-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3))))
16.0ms	(+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))
5.0ms	(/.f64 3 (pow.f64 x 3))
3.0ms	(/.f64 1 (*.f64 x x))

simplify184.0ms (3%)

Algorithm

1×	egg-herbie

Rules

508×	`unswap-sqr_binary64`
388×	`cancel-sign-sub-inv_binary64`
372×	`fma-neg_binary64`
185×	`associate-l_binary64`
185×	`associate-/r*_binary64`

Counts

281 → 274

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	298	8270
1	610	6566
2	2500	5026
3	4684	5026
4	4880	5026

prune207.0ms (3.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	274	0	274
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	274	6	280

Error

0.0b

Counts

280 → 6

Alt Table

Status	Error	Program
	31.2b	(+.f64 (fma.f64 x (/.f64 1 (+.f64 x 1)) (neg.f64 (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1)))))) (fma.f64 (neg.f64 (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))) (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))))))
	33.5b	(+.f64 1 (fma.f64 3 (+.f64 x (pow.f64 x 3)) (*.f64 x x)))
▶	31.2b	(+.f64 (fma.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 x) (+.f64 x 1)) (neg.f64 (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1)))))) (fma.f64 (neg.f64 (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))) (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (*.f64 1 1))))))
	61.0b	(+.f64 (fma.f64 1 (/.f64 x (+.f64 x 1)) (neg.f64 (.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))))
	61.6b	(+.f64 (fma.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 x) (+.f64 x 1)) (neg.f64 (.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (*.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))))
✓	30.6b	(-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3))))

Compiler

Compiled 9811 to 6812 computations (30.6% saved)

localize17.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(cbrt.f64 x)
✓	17.5b	(/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1)))
✓	30.8b	(fma.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 x) (+.f64 x 1)) (neg.f64 (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))))))
✓	34.1b	(fma.f64 (neg.f64 (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))) (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (*.f64 1 1)))))

series62.0ms (1%)

Counts

4 → 48

Calls

4 calls:

33.0ms	(cbrt.f64 x)
12.0ms	(fma.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 x) (+.f64 x 1)) (neg.f64 (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))))))
9.0ms	(fma.f64 (neg.f64 (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))) (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (*.f64 1 1)))))
7.0ms	(/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1)))

rewrite11.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`*-un-lft-identity_binary64`
16×	`times-frac_binary64`
15×	`add-sqr-sqrt_binary64`
15×	`add-cube-cbrt_binary64`
6×	`add-cbrt-cube_binary64`

Counts

4 → 75

Calls

4 calls:

6.0ms	(/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1)))
1.0ms	(fma.f64 (neg.f64 (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))) (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (*.f64 1 1)))))
1.0ms	(cbrt.f64 x)
0.0ms	(fma.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 x) (+.f64 x 1)) (neg.f64 (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))))))

simplify99.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

638×	`fma-def_binary64`
456×	`fma-neg_binary64`
361×	`times-frac_binary64`
292×	`associate-/r*_binary64`
245×	`associate-/l*_binary64`

Counts

123 → 150

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	167	2167
1	377	1642
2	1219	1380
3	4434	1380
4	4875	1380
5	4826	1380

prune488.0ms (7.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	347	1	348
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	349	5	354

Error

0.0b

Counts

354 → 5

Alt Table

Status	Error	Program
	31.2b	(+.f64 (fma.f64 x (/.f64 1 (+.f64 x 1)) (neg.f64 (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1)))))) (fma.f64 (neg.f64 (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))) (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))))))
	33.5b	(+.f64 1 (fma.f64 3 (+.f64 x (pow.f64 x 3)) (*.f64 x x)))
	61.0b	(+.f64 (fma.f64 1 (/.f64 x (+.f64 x 1)) (neg.f64 (.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))))
▶	31.2b	(+.f64 (log.f64 (exp.f64 (fma.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 x) (+.f64 x 1)) (neg.f64 (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1)))))))) (fma.f64 (neg.f64 (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))) (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (*.f64 1 1))))))
✓	30.6b	(-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3))))

Compiler

Compiled 23611 to 15295 computations (35.2% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	17.5b	(/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1)))
✓	19.9b	(log.f64 (exp.f64 (fma.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 x) (+.f64 x 1)) (neg.f64 (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))))))))
	30.8b	(fma.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 x) (+.f64 x 1)) (neg.f64 (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))))))
	34.1b	(fma.f64 (neg.f64 (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))) (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (*.f64 1 1)))))

series15.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

15.0ms

(log.f64 (exp.f64 (fma.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 x) (+.f64 x 1)) (neg.f64 (*.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (*.f64 x x) (*.f64 1 1))))))))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`log-prod_binary64`
4×	`log-pow_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`exp-prod_binary64`

Counts

1 → 18

Calls

1 calls:

2.0ms

(log.f64 (exp.f64 (fma.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 x) (+.f64 x 1)) (neg.f64 (*.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (*.f64 x x) (*.f64 1 1))))))))

simplify70.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

468×	`times-frac_binary64`
351×	`cancel-sign-sub-inv_binary64`
321×	`distribute-rgt-in_binary64`
290×	`distribute-lft-in_binary64`
230×	`fma-neg_binary64`

Counts

30 → 46

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	80	1091
1	179	712
2	494	566
3	1614	564
4	4416	564
5	4920	564

prune505.0ms (8.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	340	0	340
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	340	5	345

Error

0.0b

Counts

345 → 5

Alt Table

Status	Error	Program
	31.2b	(+.f64 (fma.f64 x (/.f64 1 (+.f64 x 1)) (neg.f64 (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1)))))) (fma.f64 (neg.f64 (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))) (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))))))
	33.5b	(+.f64 1 (fma.f64 3 (+.f64 x (pow.f64 x 3)) (*.f64 x x)))
	61.0b	(+.f64 (fma.f64 1 (/.f64 x (+.f64 x 1)) (neg.f64 (.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))) (sqrt.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))))
✓	31.2b	(+.f64 (log.f64 (exp.f64 (fma.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 x) (+.f64 x 1)) (neg.f64 (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1)))))))) (fma.f64 (neg.f64 (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (.f64 1 1))) (.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 (.f64 x x) (*.f64 1 1))))))
✓	30.6b	(-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3))))

Compiler

Compiled 23390 to 15463 computations (33.9% saved)

regimes540.0ms (8.7%)

Accuracy

Total 0.1b remaining (79.1%)

Threshold costs 0.1b (79.1%)

Counts

159 → 2

Compiler

Compiled 12704 to 9238 computations (27.3% saved)

bsearch9.0ms (0.1%)

Compiler: Compiled 14 to 10 computations (28.6% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`+-commutative_binary64`
12×	`sub-neg_binary64`
9×	`*-commutative_binary64`
8×	`neg-sub0_binary64`
8×	`neg-mul-1_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	35	117
1	58	117
2	83	115
3	102	115
4	110	115
5	112	115
6	108	115

end160.0ms (2.6%)

Compiler: Compiled 368 to 264 computations (28.3% saved)

Details

analyze5.0ms (0.1%)

sample1.6s (26.6%)

simplify85.0ms (1.4%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series8.0ms (0.1%)

rewrite237.0ms (3.8%)

simplify943.0ms (15.2%)

prune775.0ms (12.5%)

localize9.0ms (0.1%)

series12.0ms (0.2%)

rewrite74.0ms (1.2%)

simplify184.0ms (3%)

prune207.0ms (3.3%)

localize17.0ms (0.3%)

series62.0ms (1%)

rewrite11.0ms (0.2%)

simplify99.0ms (1.6%)

prune488.0ms (7.9%)

localize22.0ms (0.3%)

series15.0ms (0.2%)

rewrite3.0ms (0%)

simplify70.0ms (1.1%)

prune505.0ms (8.1%)

regimes540.0ms (8.7%)

bsearch9.0ms (0.1%)

simplify7.0ms (0.1%)

end160.0ms (2.6%)

Profiling