Details

analyze659.0ms (7.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
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample46.0ms (0.5%)

Algorithm

1×

intervals

Results

12.0ms	169×	body	128	valid
10.0ms	36×	body	2048	valid
6.0ms	25×	body	1024	valid
3.0ms	9×	body	4096	valid
2.0ms	12×	body	512	valid
1.0ms	23×	body	128	nan
1.0ms	5×	body	256	valid
0.0ms	7×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify326.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1228×	`associate-/l*_binary64`
1150×	`div-sub_binary64`
630×	`distribute-rgt-in_binary64`
619×	`times-frac_binary64`
588×	`associate-/r*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	33	24
2	62	24
3	121	24
4	172	24
5	282	24
6	460	24
7	748	24
8	1084	24
9	1128	24
10	1799	24
11	2594	24
12	2001	24
13	2089	24
14	2153	24
15	2179	24
16	2431	24
17	2909	24
18	2913	24
19	2991	24
20	3053	24
21	3065	24
22	3035	24
23	3211	24
24	3211	24
25	2043	24
26	2195	24
27	2097	24
28	2107	24
29	2107	24
30	2107	24
31	2107	24
32	1834	24

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

32.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	32.4b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))

Compiler

Compiled 57 to 39 computations (31.6% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
0.6b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
1.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
21.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite165.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

32.1b

Rules

21×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64`
6×	`sqrt-prod_binary64` `difference-of-squares_binary64` `times-frac_binary64` `associate-/l*_binary64`

Counts

4 → 74

Calls

4 calls:

11.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 1903 to 985 computations (48.2% saved)

series221.0ms (2.5%)

Error

4.9b

Counts

4 → 66

Calls

4 calls:

58.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
47.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
46.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
41.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 2623 to 1877 computations (28.4% saved)

simplify114.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

530×	`times-frac_binary64`
399×	`associate-/l*_binary64`
325×	`div-sub_binary64`
301×	`associate-/r*_binary64`
178×	`distribute-rgt-in_binary64`

Counts

140 → 88

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	182	2918
1	481	2674
2	1423	2668
3	4681	2668
4	5512	2668

prune64.0ms (0.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	80	8	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	8	89

Error

4.8b

Counts

89 → 8

Alt Table

Status	Error	Program
	45.0b	(/.f64 (neg.f64 b) a)
	40.8b	(neg.f64 (/.f64 c b))
	32.4b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	32.9b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
	46.3b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 a c) (.f64 (.f64 a c) 16))) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b)))) b) (.f64 a 2))
	42.5b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	46.0b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (*.f64 a 2)))
▶	32.4b	(/.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) b) (.f64 a 2))

Compiler

Compiled 1406 to 772 computations (45.1% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) b) (.f64 a 2))
0.6b	(+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))
1.4b	(-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))) b)
21.0b	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))

rewrite105.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

4.8b

Rules

21×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64`
6×	`sqrt-prod_binary64` `difference-of-squares_binary64` `times-frac_binary64` `associate-/l*_binary64`

Counts

4 → 73

Calls

4 calls:

11.0ms	(/.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) b) (.f64 a 2))
8.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))) b)
4.0ms	(+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))
4.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))

Compiler

Compiled 1885 to 1094 computations (42% saved)

series215.0ms (2.4%)

Error

4.8b

Counts

4 → 66

Calls

4 calls:

61.0ms	(/.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) b) (.f64 a 2))
48.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
46.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))) b)
44.0ms	(+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))

Compiler

Compiled 2623 to 1877 computations (28.4% saved)

simplify117.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

512×	`times-frac_binary64`
251×	`distribute-rgt-in_binary64`
241×	`cancel-sign-sub-inv_binary64`
235×	`distribute-lft-in_binary64`
233×	`div-sub_binary64`

Counts

139 → 113

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	183	2910
1	502	2660
2	1683	2645
3	4516	2645
4	5162	2645

prune65.0ms (0.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	110	3	113
Fresh	3	4	7
Picked	0	1	1
Done	0	0	0
Total	113	8	121

Error

4.8b

Counts

121 → 8

Alt Table

Status	Error	Program
	33.0b	(/.f64 (/.f64 (+.f64 (.f64 a (.f64 c -4)) 0) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	45.0b	(/.f64 (neg.f64 b) a)
	40.8b	(neg.f64 (/.f64 c b))
	32.6b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
▶	32.4b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	32.9b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
	46.0b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (*.f64 a 2)))
✓	32.4b	(/.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) b) (.f64 a 2))

Compiler

Compiled 1942 to 1078 computations (44.5% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
0.6b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
1.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
21.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite444.0ms (5%)

Algorithm

1×	rewrite-expression-head

Error

4.8b

Rules

693×	`times-frac_binary64`
439×	`add-sqr-sqrt_binary64`
364×	`*-un-lft-identity_binary64`
290×	`add-cube-cbrt_binary64`
74×	`difference-of-squares_binary64`

Counts

4 → 356

Calls

4 calls:

27.0ms	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 11060 to 6512 computations (41.1% saved)

series217.0ms (2.5%)

Error

4.8b

Counts

4 → 66

Calls

4 calls:

59.0ms	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
48.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
47.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
43.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 2813 to 2067 computations (26.5% saved)

simplify449.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

481×	`associate-/l/_binary64`
316×	`associate-/r/_binary64`
225×	`*-commutative_binary64`
188×	`div-sub_binary64`
187×	`associate-*l/_binary64`

Counts

422 → 374

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	395	17330
1	894	16275
2	2821	15983
3	4631	15983
4	5121	15983

prune163.0ms (1.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	372	2	374
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	373	9	382

Error

4.8b

Counts

382 → 9

Alt Table

Status	Error	Program
	33.0b	(/.f64 (/.f64 (+.f64 (.f64 a (.f64 c -4)) 0) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	32.8b	(.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 2) a)) (cbrt.f64 (/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 2) a))) (cbrt.f64 (/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2) a)))
	45.0b	(/.f64 (neg.f64 b) a)
	40.8b	(neg.f64 (/.f64 c b))
▶	32.6b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
✓	32.4b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	46.0b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (*.f64 a 2)))
✓	32.4b	(/.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) b) (.f64 a 2))
	46.2b	(/.f64 1 (/.f64 a (/.f64 (.f64 (/.f64 (.f64 a c) b) -2) 2)))

Compiler

Compiled 4984 to 2705 computations (45.7% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
1.4b	(-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))) b)
21.0b	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
21.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite107.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

4.8b

Rules

18×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64` `sqrt-prod_binary64`
6×	`pow1_binary64` `cancel-sign-sub-inv_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64` `difference-of-squares_binary64`

Counts

4 → 64

Calls

4 calls:

10.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))) b)
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))

Compiler

Compiled 2485 to 1368 computations (44.9% saved)

series245.0ms (2.8%)

Error

4.8b

Counts

4 → 66

Calls

4 calls:

55.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
54.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
54.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
53.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))) b)

Compiler

Compiled 4995 to 3394 computations (32.1% saved)

simplify131.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

648×	`distribute-rgt-neg-in_binary64`
562×	`distribute-lft-neg-in_binary64`
247×	`*-commutative_binary64`
234×	`times-frac_binary64`
217×	`cancel-sign-sub-inv_binary64`

Counts

130 → 89

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	149	2432
1	367	2322
2	932	2292
3	2805	2292
4	4890	2292
5	4886	2292

prune76.0ms (0.9%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	89	9	98

Error

4.8b

Counts

98 → 9

Alt Table

Status	Error	Program
	33.0b	(/.f64 (/.f64 (+.f64 (.f64 a (.f64 c -4)) 0) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	32.8b	(.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 2) a)) (cbrt.f64 (/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 2) a))) (cbrt.f64 (/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2) a)))
	45.0b	(/.f64 (neg.f64 b) a)
	40.8b	(neg.f64 (/.f64 c b))
	32.6b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))
	32.4b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	46.0b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (*.f64 a 2)))
	32.4b	(/.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) b) (.f64 a 2))
	46.2b	(/.f64 1 (/.f64 a (/.f64 (.f64 (/.f64 (.f64 a c) b) -2) 2)))

Compiler

Compiled 2454 to 1369 computations (44.2% saved)

regimes3.1s (34.9%)

Accuracy

Total 3.4b remaining (38.3%)

Threshold costs 0b (0%)

Compiler

Compiled 28880 to 19614 computations (32.1% saved)

bsearch110.0ms (1.2%)

Steps

Iters	Range		Point
8	7385324680300.022	5.761292942217617e+16	38520701045923256.0
10	3.2314427950613487e-200	2.48891553595447e-182	7.335401316775386e-196
9	-9.991880826686128e+151	-1.656504988632644e+142	-5.6616900448190195e+144

Compiler

Compiled 4 to 3 computations (25% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative_binary64` `+-commutative_binary64`
9×	`sub-neg_binary64`
7×	`neg-mul-1_binary64` `neg-sub0_binary64`
4×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`
2×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	87
1	61	87
2	76	87
3	91	87
4	98	87
5	101	87
6	102	87
7	101	87

end1.0ms (0%)

Compiler: Compiled 61 to 39 computations (36.1% saved)

sample1.6s (18.5%)

Algorithm

1×

intervals

Results

334.0ms	1167×	body	2048	valid
312.0ms	5181×	body	128	valid
164.0ms	711×	body	1024	valid
139.0ms	406×	body	4096	valid
58.0ms	356×	body	512	valid
40.0ms	688×	body	128	nan
20.0ms	356×	body	128	invalid
20.0ms	179×	body	256	valid

Compiler

Compiled 317 to 206 computations (35% saved)

Details

analyze659.0ms (7.5%)

sample46.0ms (0.5%)

simplify326.0ms (3.7%)

prune4.0ms (0%)

localize12.0ms (0.1%)

rewrite165.0ms (1.9%)

series221.0ms (2.5%)

simplify114.0ms (1.3%)

prune64.0ms (0.7%)

localize14.0ms (0.2%)

rewrite105.0ms (1.2%)

series215.0ms (2.4%)

simplify117.0ms (1.3%)

prune65.0ms (0.7%)

localize13.0ms (0.2%)

rewrite444.0ms (5%)

series217.0ms (2.5%)

simplify449.0ms (5.1%)

prune163.0ms (1.8%)

localize22.0ms (0.2%)

rewrite107.0ms (1.2%)

series245.0ms (2.8%)

simplify131.0ms (1.5%)

prune76.0ms (0.9%)

regimes3.1s (34.9%)

bsearch110.0ms (1.2%)

simplify7.0ms (0.1%)

end1.0ms (0%)

sample1.6s (18.5%)

Profiling