Details

analyze720.0ms (10.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)

sample218.0ms (3.2%)

Algorithm

1×

intervals

Results

173.0ms	11×	body	512	valid
11.0ms	174×	body	128	valid
8.0ms	26×	body	2048	valid
7.0ms	30×	body	1024	valid
4.0ms	11×	body	4096	valid
1.0ms	24×	body	128	nan
1.0ms	8×	body	128	invalid
0.0ms	4×	body	256	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify309.0ms (4.5%)

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

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

31.0b

Counts

2 → 1

Alt Table

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

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.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.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite113.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

30.8b

Rules

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

Counts

4 → 74

Calls

4 calls:

8.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
6.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
3.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 1903 to 985 computations (48.2% saved)

series160.0ms (2.3%)

Error

3.3b

Counts

4 → 68

Calls

4 calls:

46.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
32.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
31.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
28.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 2770 to 1985 computations (28.3% saved)

simplify86.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

644×	`associate-/l*_binary64`
558×	`associate-/r*_binary64`
206×	`cancel-sign-sub-inv_binary64`
187×	`distribute-rgt-in_binary64`
179×	`distribute-lft-in_binary64`

Counts

142 → 120

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	210	3140
1	557	2914
2	1764	2908
3	5078	2908

prune63.0ms (0.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	110	10	120
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	111	10	121

Error

3.2b

Counts

121 → 10

Alt Table

Status	Error	Program
▶	31.1b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	49.1b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
	31.6b	(/.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 c a)))) b)) 2)))
	44.8b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	31.1b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (/.f64 1/2 a))
	41.1b	(neg.f64 (/.f64 c b))
	31.2b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b)) a) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)) 2))
	44.0b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 c a)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
	40.2b	(/.f64 (-.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) 3)) b) (.f64 a 2))
	42.5b	(/.f64 (neg.f64 b) a)

Compiler

Compiled 2183 to 1240 computations (43.2% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2))
0.6b	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))
6.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

rewrite88.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

3.2b

Rules

15×	`*-un-lft-identity_binary64`
14×	`add-sqr-sqrt_binary64`
11×	`times-frac_binary64`
11×	`add-cube-cbrt_binary64`
9×	`sqrt-prod_binary64`

Counts

4 → 80

Calls

4 calls:

11.0ms	(/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2))
10.0ms	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
3.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

Compiler

Compiled 2441 to 1368 computations (44% saved)

series440.0ms (6.4%)

Error

3.2b

Counts

4 → 73

Calls

4 calls:

280.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))
53.0ms	(/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2))
51.0ms	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
33.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

Compiler

Compiled 3438 to 2444 computations (28.9% saved)

simplify120.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

893×	`associate-/l*_binary64`
226×	`cancel-sign-sub-inv_binary64`
188×	`distribute-rgt-neg-in_binary64`
173×	`associate-/l/_binary64`
168×	`distribute-lft-neg-in_binary64`

Counts

153 → 103

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	235	3416
1	642	3257
2	1981	3248
3	4878	3248
4	4953	3248

prune56.0ms (0.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	100	3	103
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	102	11	113

Error

3.2b

Counts

113 → 11

Alt Table

Status	Error	Program
✓	31.1b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	49.1b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
	32.0b	(-.f64 (/.f64 (sqrt.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (/.f64 a (/.f64 (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) 2))) (/.f64 b (*.f64 a 2)))
	42.5b	(/.f64 (neg.f64 b) a)
▶	31.1b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (/.f64 1/2 a))
	41.1b	(neg.f64 (/.f64 c b))
	51.6b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 b b) 3) (pow.f64 (.f64 4 (.f64 c a)) 3))) (.f64 (sqrt.f64 (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 c a) (+.f64 (.f64 4 (.f64 c a)) (.f64 b b)))))) (.f64 a 2))) (/.f64 b (.f64 a 2)))
	31.2b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b)) a) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)) 2))
	44.0b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 c a)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
	44.8b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	42.7b	(-.f64 (+.f64 (/.f64 c b) (.f64 (/.f64 b a) -1/2)) (/.f64 b (.f64 a 2)))

Compiler

Compiled 2236 to 1316 computations (41.1% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (/.f64 1/2 a))
0.6b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
1.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite103.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

3.2b

Rules

28×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`
13×	`associate-r_binary64`
10×	`times-frac_binary64`

Counts

4 → 83

Calls

4 calls:

13.0ms	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (/.f64 1/2 a))
6.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
3.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 2202 to 1153 computations (47.6% saved)

series157.0ms (2.3%)

Error

3.2b

Counts

4 → 68

Calls

4 calls:

47.0ms	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (/.f64 1/2 a))
32.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
32.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
30.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 2770 to 1985 computations (28.3% saved)

simplify96.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

617×	`associate-/l*_binary64`
297×	`distribute-rgt-in_binary64`
287×	`distribute-lft-in_binary64`
195×	`cancel-sign-sub-inv_binary64`
166×	`distribute-rgt-neg-in_binary64`

Counts

151 → 128

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	230	3382
1	588	3160
2	1982	3154
3	5034	3154

prune66.0ms (1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	127	1	128
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	129	10	139

Error

3.2b

Counts

139 → 10

Alt Table

Status	Error	Program
	46.3b	(/.f64 (.f64 1/2 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 c a)) (.f64 b b)))) (.f64 a (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))))
✓	31.1b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	49.1b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
	32.0b	(-.f64 (/.f64 (sqrt.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (/.f64 a (/.f64 (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) 2))) (/.f64 b (*.f64 a 2)))
	42.5b	(/.f64 (neg.f64 b) a)
▶	31.2b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b)) a) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)) 2))
	44.0b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 c a)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
	44.8b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	41.1b	(neg.f64 (/.f64 c b))
	42.7b	(-.f64 (+.f64 (/.f64 c b) (.f64 (/.f64 b a) -1/2)) (/.f64 b (.f64 a 2)))

Compiler

Compiled 2431 to 1366 computations (43.8% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)
1.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

rewrite72.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

3.2b

Rules

18×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64`
8×	`sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64`
8×	`add-log-exp_binary64`

Counts

4 → 64

Calls

4 calls:

6.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)
6.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

Compiler

Compiled 2485 to 1287 computations (48.2% saved)

series202.0ms (2.9%)

Error

3.2b

Counts

4 → 66

Calls

4 calls:

71.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)
38.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
38.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
35.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)

Compiler

Compiled 4923 to 3326 computations (32.4% saved)

simplify129.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

592×	`times-frac_binary64`
573×	`associate-l_binary64`
547×	`associate-r_binary64`
263×	`associate-/l*_binary64`
236×	`associate-/r*_binary64`

Counts

130 → 72

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	116	2660
1	299	2574
2	891	2568
3	4709	2568
4	4982	2568
5	4963	2568

prune46.0ms (0.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	72	10	82

Error

3.2b

Counts

82 → 10

Alt Table

Status	Error	Program
	46.3b	(/.f64 (.f64 1/2 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 c a)) (.f64 b b)))) (.f64 a (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))))
	31.1b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	49.1b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
	32.0b	(-.f64 (/.f64 (sqrt.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (/.f64 a (/.f64 (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) 2))) (/.f64 b (*.f64 a 2)))
	42.5b	(/.f64 (neg.f64 b) a)
	31.2b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b)) a) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)) 2))
	44.0b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 c a)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
	44.8b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	41.1b	(neg.f64 (/.f64 c b))
	42.7b	(-.f64 (+.f64 (/.f64 c b) (.f64 (/.f64 b a) -1/2)) (/.f64 b (.f64 a 2)))

Compiler

Compiled 2051 to 1173 computations (42.8% saved)

regimes1.8s (25.9%)

Accuracy

Total 4.6b remaining (45.9%)

Threshold costs 0b (0%)

Compiler

Compiled 16576 to 10802 computations (34.8% saved)

bsearch71.0ms (1%)

Steps

Iters	Range		Point
8	2.0954224010310907e-81	6.014808872462892e-79	3.2185716802555982e-80
9	-6.340174661167908e+106	-4.2509029256188725e+99	-9.578396010459488e+102

Compiler

Compiled 4 to 3 computations (25% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`+-commutative_binary64`
11×	`*-commutative_binary64`
10×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	70
1	49	70
2	65	70
3	81	70
4	90	70
5	94	70
6	95	70
7	94	70

end1.0ms (0%)

Compiler: Compiled 50 to 32 computations (36% saved)

sample1.7s (25%)

Algorithm

1×

intervals

Results

380.0ms	1177×	body	2048	valid
358.0ms	5169×	body	128	valid
187.0ms	721×	body	1024	valid
171.0ms	424×	body	4096	valid
71.0ms	339×	body	512	valid
44.0ms	691×	body	128	nan
26.0ms	403×	body	128	invalid
21.0ms	170×	body	256	valid

Compiler

Compiled 306 to 193 computations (36.9% saved)

Details

analyze720.0ms (10.5%)

sample218.0ms (3.2%)

simplify309.0ms (4.5%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite113.0ms (1.6%)

series160.0ms (2.3%)

simplify86.0ms (1.3%)

prune63.0ms (0.9%)

localize11.0ms (0.2%)

rewrite88.0ms (1.3%)

series440.0ms (6.4%)

simplify120.0ms (1.7%)

prune56.0ms (0.8%)

localize10.0ms (0.1%)

rewrite103.0ms (1.5%)

series157.0ms (2.3%)

simplify96.0ms (1.4%)

prune66.0ms (1%)

localize15.0ms (0.2%)

rewrite72.0ms (1%)

series202.0ms (2.9%)

simplify129.0ms (1.9%)

prune46.0ms (0.7%)

regimes1.8s (25.9%)

bsearch71.0ms (1%)

simplify8.0ms (0.1%)

end1.0ms (0%)

sample1.7s (25%)

Profiling