Details

analyze602.0ms (6.8%)

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)

sample39.0ms (0.4%)

Algorithm

1×

intervals

Results

9.0ms	171×	body	128	valid
8.0ms	35×	body	2048	valid
4.0ms	19×	body	1024	valid
2.0ms	8×	body	4096	valid
2.0ms	15×	body	512	valid
1.0ms	8×	body	256	valid
1.0ms	15×	body	128	nan
1.0ms	13×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify359.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1261×	`associate-/l*_binary64`
1150×	`div-sub_binary64`
772×	`distribute-rgt-in_binary64`
702×	`distribute-lft-in_binary64`
619×	`times-frac_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	32	24
2	65	24
3	128	24
4	178	24
5	287	24
6	460	24
7	754	24
8	1120	24
9	1142	24
10	1799	24
11	2162	24
12	1953	24
13	2041	24
14	2105	24
15	2131	24
16	2843	24
17	2603	24
18	2841	24
19	2951	24
20	3071	24
21	3113	24
22	3183	24
23	3171	24
24	3171	24
25	2191	24
26	2141	24
27	2105	24
28	2107	24
29	2107	24
30	2107	24
31	2107	24
32	1834	24

prune5.0ms (0.1%)

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

Counts

2 → 1

Alt Table

Status	Error	Program
▶	32.8b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 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 (.f64 4 a) c))) b) (.f64 a 2))
0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
2.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
22.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite166.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

32.5b

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 (.f64 4 a) c))) b) (.f64 a 2))
11.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1903 to 1105 computations (41.9% saved)

series240.0ms (2.7%)

Error

5.8b

Counts

4 → 71

Calls

4 calls:

62.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
51.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
48.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
43.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

Compiler

Compiled 2955 to 2111 computations (28.6% saved)

simplify124.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

571×	`associate-/l*_binary64`
526×	`associate-/r*_binary64`
212×	`cancel-sign-sub-inv_binary64`
188×	`distribute-rgt-in_binary64`
180×	`distribute-lft-in_binary64`

Counts

145 → 120

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	207	3171
1	556	2927
2	1731	2921
3	4940	2921
4	4978	2921

prune92.0ms (1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

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

Error

5.7b

Counts

121 → 10

Alt Table

Status	Error	Program
	34.2b	(/.f64 (-.f64 (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) b) (.f64 a 2))
	40.6b	(neg.f64 (/.f64 c b))
	44.8b	(/.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))
	34.3b	(/.f64 (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) b) (.f64 a 2))
	44.0b	(/.f64 (neg.f64 b) a)
	49.0b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
✓	32.8b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
	32.9b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
▶	32.9b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	33.3b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))

Compiler

Compiled 2190 to 1232 computations (43.7% saved)

localize12.0ms (0.1%)

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)))
2.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
22.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite441.0ms (4.9%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

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:

24.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)
5.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)

series232.0ms (2.6%)

Error

5.7b

Counts

4 → 71

Calls

4 calls:

63.0ms	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
52.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
51.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
40.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 3153 to 2309 computations (26.8% saved)

simplify453.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

316×	`associate-/r/_binary64`
233×	`*-commutative_binary64`
208×	`neg-mul-1_binary64`
192×	`associate-*l/_binary64`
189×	`cancel-sign-sub-inv_binary64`

Counts

427 → 379

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	416	17577
1	962	16528
2	3080	16236
3	4574	16236
4	5020	16236

prune372.0ms (4.2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	378	1	379
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	379	10	389

Error

5.7b

Counts

389 → 10

Alt Table

Status	Error	Program
	40.6b	(neg.f64 (/.f64 c b))
	44.8b	(/.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))
	34.3b	(/.f64 (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) b) (.f64 a 2))
	44.0b	(/.f64 (neg.f64 b) a)
	49.0b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
✓	32.8b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
▶	32.9b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
✓	32.9b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	33.4b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2) (cbrt.f64 a)))
	33.3b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))

Compiler

Compiled 5160 to 2824 computations (45.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite118.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

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:

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

Compiler

Compiled 2202 to 1286 computations (41.6% saved)

series230.0ms (2.6%)

Error

5.7b

Counts

4 → 71

Calls

4 calls:

65.0ms	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
50.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
49.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
42.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

Compiler

Compiled 2955 to 2111 computations (28.6% saved)

simplify139.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

538×	`associate-/l*_binary64`
298×	`distribute-rgt-in_binary64`
288×	`distribute-lft-in_binary64`
200×	`cancel-sign-sub-inv_binary64`
165×	`distribute-rgt-neg-in_binary64`

Counts

154 → 128

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	227	3413
1	588	3173
2	1959	3167
3	4931	3167
4	4979	3167

prune91.0ms (1%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	127	1	128
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	127	11	138

Error

5.7b

Counts

138 → 11

Alt Table

Status	Error	Program
	40.6b	(neg.f64 (/.f64 c b))
	44.8b	(/.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))
	34.3b	(/.f64 (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) b) (.f64 a 2))
	44.0b	(/.f64 (neg.f64 b) a)
	49.0b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
✓	32.8b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
✓	32.9b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	44.1b	(.f64 (.f64 b -2) (/.f64 1/2 a))
✓	32.9b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	33.4b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2) (cbrt.f64 a)))
▶	33.3b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))

Compiler

Compiled 2415 to 1358 computations (43.8% saved)

localize24.0ms (0.3%)

Local error

Found 4 expressions with local error:

2.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
22.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
22.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
22.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite108.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

Rules

15×	`add-sqr-sqrt_binary64`
10×	`sqrt-prod_binary64` `*-un-lft-identity_binary64`
8×	`add-cube-cbrt_binary64`
7×	`pow1_binary64`
6×	`add-log-exp_binary64` `sqrt-div_binary64`

Counts

4 → 62

Calls

4 calls:

8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 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 (*.f64 4 a) c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 3224 to 1813 computations (43.8% saved)

series300.0ms (3.4%)

Error

5.7b

Counts

4 → 74

Calls

4 calls:

67.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
65.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
65.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
61.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)

Compiler

Compiled 7735 to 5002 computations (35.3% saved)

simplify132.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

541×	`times-frac_binary64`
418×	`div-sub_binary64`
402×	`distribute-neg-frac_binary64`
219×	`associate-/r*_binary64`
209×	`*-commutative_binary64`

Counts

136 → 87

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	139	2555
1	317	2500
2	952	2497
3	3493	2485
4	4879	2485
5	5493	2485

prune95.0ms (1.1%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	7	7
Picked	0	1	1
Done	0	3	3
Total	87	11	98

Error

5.7b

Counts

98 → 11

Alt Table

Status	Error	Program
	40.6b	(neg.f64 (/.f64 c b))
	44.8b	(/.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))
	34.3b	(/.f64 (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) b) (.f64 a 2))
	44.0b	(/.f64 (neg.f64 b) a)
	49.0b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
	32.8b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
	32.9b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	44.1b	(.f64 (.f64 b -2) (/.f64 1/2 a))
	32.9b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	33.4b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2) (cbrt.f64 a)))
	33.3b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b))) (/.f64 a (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) 2)))

Compiler

Compiled 3544 to 1993 computations (43.8% saved)

regimes3.0s (33.2%)

Accuracy

Total 4.3b remaining (43.2%)

Threshold costs 0b (0%)

Compiler

Compiled 20608 to 14510 computations (29.6% saved)

bsearch55.0ms (0.6%)

Steps

Iters	Range		Point
9	1.5703880844671802e-105	2.1738535384880125e-98	7.0816198577945554e-99
3	-2.4018857695839242e+157	-2.5633663016704837e+152	-1.0804275471361773e+153

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64` `+-commutative_binary64`
9×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`
4×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	54
1	43	52
2	67	52
3	79	52
4	87	52
5	89	52
6	88	52

end1.0ms (0%)

Compiler: Compiled 38 to 23 computations (39.5% saved)

sample1.5s (16.8%)

Algorithm

1×

intervals

Results

286.0ms	1148×	body	2048	valid
277.0ms	5148×	body	128	valid
149.0ms	753×	body	1024	valid
123.0ms	394×	body	4096	valid
52.0ms	374×	body	512	valid
31.0ms	646×	body	128	nan
23.0ms	387×	body	128	invalid
17.0ms	183×	body	256	valid

Compiler

Compiled 299 to 195 computations (34.8% saved)

Details

analyze602.0ms (6.8%)

sample39.0ms (0.4%)

simplify359.0ms (4%)

prune5.0ms (0.1%)

localize12.0ms (0.1%)

rewrite166.0ms (1.9%)

series240.0ms (2.7%)

simplify124.0ms (1.4%)

prune92.0ms (1%)

localize12.0ms (0.1%)

rewrite441.0ms (4.9%)

series232.0ms (2.6%)

simplify453.0ms (5.1%)

prune372.0ms (4.2%)

localize11.0ms (0.1%)

rewrite118.0ms (1.3%)

series230.0ms (2.6%)

simplify139.0ms (1.6%)

prune91.0ms (1%)

localize24.0ms (0.3%)

rewrite108.0ms (1.2%)

series300.0ms (3.4%)

simplify132.0ms (1.5%)

prune95.0ms (1.1%)

regimes3.0s (33.2%)

bsearch55.0ms (0.6%)

simplify6.0ms (0.1%)

end1.0ms (0%)

sample1.5s (16.8%)

Profiling