Details

analyze1.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 10 to 7 computations (30% saved)

sample5.4s (51%)

Results

2.4s	3976×	body	1024	valid
2.2s	2090×	body	2048	valid
503.0ms	1393×	body	512	valid
176.0ms	527×	body	256	valid
37.0ms	266×	body	128	valid
11.0ms	4×	body	4096	valid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

39×	`fma-def_binary64`
32×	`fma-neg_binary64`
14×	`cancel-sign-sub-inv_binary64`
12×	`sub-neg_binary64`
10×	`distribute-rgt-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11

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

40.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	40.2b	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(cos.f64 x)
✓	1.0b	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
✓	4.1b	(cos.f64 (+.f64 x eps))

series34.0ms (0.3%)

Counts

3 → 52

Calls

3 calls:

27.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
5.0ms	(cos.f64 (+.f64 x eps))
2.0ms	(cos.f64 x)

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64`
13×	`add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`
9×	`prod-diff_binary64`
5×	`add-log-exp_binary64`

Counts

3 → 51

Calls

3 calls:

5.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
3.0ms	(cos.f64 (+.f64 x eps))
1.0ms	(cos.f64 x)

simplify85.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

1011×	`fma-neg_binary64`
570×	`cancel-sign-sub-inv_binary64`
523×	`fma-def_binary64`
350×	`sub-neg_binary64`
249×	`distribute-rgt-in_binary64`

Counts

103 → 110

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	149	1379
1	347	1312
2	1079	1245
3	2658	1220
4	4563	1216
5	4850	1216

prune91.0ms (0.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	103	7	110
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	104	7	111

Error

0.3b

Counts

111 → 7

Alt Table

Status	Error	Program
	40.3b	(/.f64 (-.f64 (.f64 (cos.f64 (+.f64 x eps)) (cos.f64 (+.f64 x eps))) (.f64 (cos.f64 x) (cos.f64 x))) (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
	48.7b	(fma.f64 (sqrt.f64 (cos.f64 (+.f64 x eps))) (sqrt.f64 (cos.f64 (+.f64 x eps))) (neg.f64 (cos.f64 x)))
	25.7b	(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
	25.7b	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
	40.3b	(log.f64 (exp.f64 (-.f64 (cos.f64 (+.f64 eps x)) (cos.f64 x))))
▶	14.5b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))
	30.7b	(neg.f64 (fma.f64 eps (sin.f64 x) (.f64 1/2 (.f64 (cos.f64 x) (*.f64 eps eps)))))

Compiler

Compiled 2014 to 690 computations (65.7% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))
✓	0.0b	(+.f64 x (+.f64 eps x))
✓	0.3b	(*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))
✓	4.0b	(sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))

series38.0ms (0.4%)

Counts

4 → 96

Calls

4 calls:

17.0ms	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))
12.0ms	(*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))
5.0ms	(sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))
4.0ms	(+.f64 x (+.f64 eps x))

rewrite31.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64`
11×	`add-cbrt-cube_binary64`
11×	`add-exp-log_binary64`
11×	`pow1_binary64`
10×	`add-sqr-sqrt_binary64`

Counts

4 → 71

Calls

4 calls:

9.0ms	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))
8.0ms	(*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))
6.0ms	(+.f64 x (+.f64 eps x))
5.0ms	(sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))

simplify148.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

549×	`fma-def_binary64`
428×	`*-commutative_binary64`
417×	`cancel-sign-sub-inv_binary64`
354×	`sub-neg_binary64`
330×	`distribute-rgt-neg-in_binary64`

Counts

167 → 164

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	184	3349
1	500	2908
2	1528	2564
3	3686	2549
4	4710	2549
5	4985	2549
6	4925	2549

prune180.0ms (1.7%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	154	10	164
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	156	15	171

Error

0.2b

Counts

171 → 15

Alt Table

Status	Error	Program
	17.2b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (.f64 (.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
	32.3b	(.f64 -2 (+.f64 (pow.f64 (sin.f64 (.f64 1/2 eps)) 2) (.f64 (sin.f64 (.f64 1/2 eps)) (.f64 (cos.f64 (.f64 1/2 eps)) x))))
	25.7b	(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
	39.2b	(.f64 -2 (.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))) (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sqrt.f64 (sin.f64 (/.f64 eps 2))))))
	31.2b	(.f64 -2 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 eps 2))) (sin.f64 (/.f64 eps 2))) (.f64 (.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
	22.7b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
▶	14.5b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
	30.7b	(neg.f64 (fma.f64 eps (sin.f64 x) (.f64 1/2 (.f64 (cos.f64 x) (*.f64 eps eps)))))
	15.2b	(.f64 (.f64 (cbrt.f64 (.f64 -2 (.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (.f64 -2 (.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2)))))) (cbrt.f64 (.f64 -2 (.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
	32.7b	(.f64 (sin.f64 (.f64 1/2 eps)) (+.f64 (.f64 (sin.f64 (.f64 1/2 eps)) (fma.f64 x x -2)) (.f64 (.f64 (cos.f64 (*.f64 1/2 eps)) x) -2)))
	48.7b	(fma.f64 (sqrt.f64 (cos.f64 (+.f64 x eps))) (sqrt.f64 (cos.f64 (+.f64 x eps))) (neg.f64 (cos.f64 x)))
	41.0b	(.f64 -2 (.f64 (*.f64 (sqrt.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) (sin.f64 (/.f64 eps 2))) (sqrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))))
	25.7b	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
	31.2b	(.f64 -2 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))) 3)))
	40.3b	(log.f64 (exp.f64 (-.f64 (cos.f64 (+.f64 eps x)) (cos.f64 x))))

Compiler

Compiled 4335 to 3017 computations (30.4% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))
✓	0.3b	(*.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))))
✓	0.4b	(log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))
✓	4.0b	(sin.f64 (/.f64 (fma.f64 x 2 eps) 2))

series625.0ms (5.9%)

Counts

4 → 96

Calls

4 calls:

573.0ms	(log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))
43.0ms	(*.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))))
5.0ms	(expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))
5.0ms	(sin.f64 (/.f64 (fma.f64 x 2 eps) 2))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 51

Calls

4 calls:

5.0ms	(*.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))))
2.0ms	(sin.f64 (/.f64 (fma.f64 x 2 eps) 2))
0.0ms	(log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))
0.0ms	(expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))

simplify98.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

919×	`times-frac_binary64`
443×	`fma-def_binary64`
391×	`cancel-sign-sub-inv_binary64`
386×	`fma-neg_binary64`
161×	`distribute-rgt-neg-in_binary64`

Counts

147 → 115

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	186	2974
1	501	2792
2	1741	2696
3	4560	2680
4	5022	2680

prune835.0ms (7.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	112	3	115
Fresh	6	8	14
Picked	1	0	1
Done	0	0	0
Total	119	11	130

Error

0.2b

Counts

130 → 11

Alt Table

Status	Error	Program
	17.2b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (.f64 (.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
	32.3b	(.f64 -2 (+.f64 (pow.f64 (sin.f64 (.f64 1/2 eps)) 2) (.f64 (sin.f64 (.f64 1/2 eps)) (.f64 (cos.f64 (.f64 1/2 eps)) x))))
	39.2b	(.f64 -2 (.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))) (*.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))) (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))))))
	25.7b	(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
▶	15.2b	(.f64 -2 (.f64 (.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))))))
	31.2b	(.f64 -2 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 eps 2))) (sin.f64 (/.f64 eps 2))) (.f64 (.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
	17.1b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (cbrt.f64 (.f64 (.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))) (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))))
	48.7b	(fma.f64 (sqrt.f64 (cos.f64 (+.f64 x eps))) (sqrt.f64 (cos.f64 (+.f64 x eps))) (neg.f64 (cos.f64 x)))
	25.7b	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
	30.7b	(neg.f64 (fma.f64 eps (sin.f64 x) (.f64 1/2 (.f64 (cos.f64 x) (*.f64 eps eps)))))
	32.7b	(.f64 (sin.f64 (.f64 1/2 eps)) (+.f64 (.f64 (sin.f64 (.f64 1/2 eps)) (fma.f64 x x -2)) (.f64 (.f64 (cos.f64 (*.f64 1/2 eps)) x) -2)))

Compiler

Compiled 3735 to 2851 computations (23.7% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))
✓	0.5b	(*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2))))
✓	0.6b	(cbrt.f64 (sin.f64 (/.f64 eps 2)))
	4.0b	(sin.f64 (/.f64 (fma.f64 x 2 eps) 2))

series427.0ms (4.1%)

Counts

2 → 24

Calls

2 calls:

243.0ms	(*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2))))
183.0ms	(cbrt.f64 (sin.f64 (/.f64 eps 2)))

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`pow1_binary64`

Counts

2 → 55

Calls

2 calls:

7.0ms	(*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2))))
2.0ms	(cbrt.f64 (sin.f64 (/.f64 eps 2)))

simplify84.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

550×	`fma-neg_binary64`
325×	`distribute-rgt-neg-in_binary64`
315×	`distribute-lft-neg-in_binary64`
286×	`unswap-sqr_binary64`
278×	`associate-l_binary64`

Counts

79 → 93

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	101	1612
1	225	1438
2	582	1221
3	1940	1154
4	4829	1097
5	4946	1097

prune271.0ms (2.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	199	1	200
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	199	12	211

Error

0.2b

Counts

211 → 12

Alt Table

Status	Error	Program
	17.2b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (.f64 (.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
	32.3b	(.f64 -2 (+.f64 (pow.f64 (sin.f64 (.f64 1/2 eps)) 2) (.f64 (sin.f64 (.f64 1/2 eps)) (.f64 (cos.f64 (.f64 1/2 eps)) x))))
	39.2b	(.f64 -2 (.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))) (*.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))) (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))))))
	25.7b	(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
✓	15.2b	(.f64 -2 (.f64 (.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))))))
	31.2b	(.f64 -2 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 eps 2))) (sin.f64 (/.f64 eps 2))) (.f64 (.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
	17.1b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (cbrt.f64 (.f64 (.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))) (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))))
	48.7b	(fma.f64 (sqrt.f64 (cos.f64 (+.f64 x eps))) (sqrt.f64 (cos.f64 (+.f64 x eps))) (neg.f64 (cos.f64 x)))
	37.6b	(.f64 -2 (.f64 (.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (expm1.f64 (+.f64 (/.f64 (.f64 (cos.f64 (.f64 1/2 eps)) x) (+.f64 1 (sin.f64 (.f64 1/2 eps)))) (log.f64 (+.f64 1 (sin.f64 (.f64 1/2 eps)))))))))
	25.7b	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
	30.7b	(neg.f64 (fma.f64 eps (sin.f64 x) (.f64 1/2 (.f64 (cos.f64 x) (*.f64 eps eps)))))
	32.7b	(.f64 (sin.f64 (.f64 1/2 eps)) (+.f64 (.f64 (sin.f64 (.f64 1/2 eps)) (fma.f64 x x -2)) (.f64 (.f64 (cos.f64 (*.f64 1/2 eps)) x) -2)))

Compiler

Compiled 8135 to 6612 computations (18.7% saved)

regimes1.7s (16.5%)

Accuracy

Total 0.3b remaining (52.8%)

Threshold costs 0.3b (52.8%)

Counts

194 → 3

Compiler

Compiled 13142 to 10258 computations (21.9% saved)

bsearch125.0ms (1.2%)

Steps

Iters	Range		Point
10	2.4138635997128175e-11	0.2928331044692364	0.0025683740395745632
9	-1335.3476602954772	-0.0008966771655509066	-0.0022179907341561373

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

13×	`distribute-rgt-neg-in_binary64`
12×	`*-commutative_binary64`
10×	`+-commutative_binary64`
10×	`cancel-sign-sub-inv_binary64`
10×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	90
1	50	90
2	69	90
3	85	90
4	112	90
5	125	90
6	129	90
7	123	90

end254.0ms (2.4%)

Compiler: Compiled 448 to 300 computations (33% saved)

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11

Details

analyze1.0ms (0%)

sample5.4s (51%)

simplify10.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series34.0ms (0.3%)

rewrite11.0ms (0.1%)

simplify85.0ms (0.8%)

prune91.0ms (0.9%)

localize11.0ms (0.1%)

series38.0ms (0.4%)

rewrite31.0ms (0.3%)

simplify148.0ms (1.4%)

prune180.0ms (1.7%)

localize13.0ms (0.1%)

series625.0ms (5.9%)

rewrite9.0ms (0.1%)

simplify98.0ms (0.9%)

prune835.0ms (7.9%)

localize19.0ms (0.2%)

series427.0ms (4.1%)

rewrite12.0ms (0.1%)

simplify84.0ms (0.8%)

prune271.0ms (2.6%)

regimes1.7s (16.5%)

bsearch125.0ms (1.2%)

simplify6.0ms (0.1%)

end254.0ms (2.4%)

Profiling

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11