Details

analyze727.0ms (8.4%)

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)

sample48.0ms (0.6%)

Algorithm

1×

intervals

Results

13.0ms	40×	body	2048	valid
10.0ms	167×	body	128	valid
4.0ms	16×	body	1024	valid
3.0ms	8×	body	4096	valid
3.0ms	15×	body	512	valid
1.0ms	21×	body	128	nan
1.0ms	10×	body	256	valid
0.0ms	8×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify311.0ms (3.6%)

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

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

33.5b

Counts

2 → 1

Alt Table

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

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
2.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
23.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite122.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

33.2b

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

Compiler

Compiled 1903 to 1105 computations (41.9% saved)

series170.0ms (2%)

Error

5.4b

Counts

4 → 69

Calls

4 calls:

42.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
40.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
35.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
30.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)

Compiler

Compiled 2740 to 1955 computations (28.6% saved)

simplify118.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

660×	`times-frac_binary64`
514×	`associate-/l*_binary64`
183×	`distribute-rgt-in_binary64`
181×	`cancel-sign-sub-inv_binary64`
179×	`distribute-lft-in_binary64`

Counts

143 → 120

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	202	3077
1	543	2827
2	1733	2815
3	4970	2815
4	5027	2815

prune68.0ms (0.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

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

Error

5.2b

Counts

121 → 9

Alt Table

Status	Error	Program
	34.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b) (.f64 a 2))))
	39.3b	(neg.f64 (/.f64 c b))
	33.8b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b)) 2)))
▶	33.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	34.0b	(/.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 c a)))) b)) 2)))
	33.6b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) 2)))
	43.7b	(/.f64 (neg.f64 b) a)
	45.7b	(/.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))
	46.0b	(/.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (.f64 a 2))

Compiler

Compiled 2178 to 1199 computations (44.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.2b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
2.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
23.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite82.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

5.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 (.f64 4 a) c))) b) (/.f64 1/2 a))
6.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
3.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 2202 to 1286 computations (41.6% saved)

series158.0ms (1.8%)

Error

5.2b

Counts

4 → 69

Calls

4 calls:

42.0ms	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
38.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
35.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
26.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

Compiler

Compiled 2740 to 1955 computations (28.6% saved)

simplify162.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

570×	`times-frac_binary64`
293×	`distribute-rgt-in_binary64`
287×	`distribute-lft-in_binary64`
169×	`cancel-sign-sub-inv_binary64`
148×	`distribute-rgt-neg-in_binary64`

Counts

152 → 128

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	224	3319
1	577	3073
2	1954	3061
3	4727	3061
4	4952	3061

prune69.0ms (0.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	126	2	128
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	127	10	137

Error

5.2b

Counts

137 → 10

Alt Table

Status	Error	Program
	33.8b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b)) 2)))
✓	33.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	34.0b	(/.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 c a)))) b)) 2)))
▶	33.6b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) 2)))
	43.7b	(/.f64 (neg.f64 b) a)
	48.6b	(/.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)))))))
	39.3b	(neg.f64 (/.f64 c b))
	45.7b	(/.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))
	46.0b	(/.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (.f64 a 2))
	43.8b	(.f64 (.f64 b -2) (/.f64 1/2 a))

Compiler

Compiled 2386 to 1312 computations (45% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) 2))
0.2b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) 2)))
2.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)
23.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

rewrite439.0ms (5.1%)

Algorithm

1×	rewrite-expression-head

Error

5.2b

Rules

831×	`times-frac_binary64`
550×	`add-sqr-sqrt_binary64`
451×	`*-un-lft-identity_binary64`
353×	`add-cube-cbrt_binary64`
98×	`difference-of-squares_binary64`

Counts

4 → 450

Calls

4 calls:

65.0ms	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) 2)))
14.0ms	(/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) 2))
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))))

Compiler

Compiled 13760 to 8047 computations (41.5% saved)

series239.0ms (2.8%)

Error

5.1b

Counts

4 → 70

Calls

4 calls:

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

Compiler

Compiled 3246 to 2333 computations (28.1% saved)

simplify607.0ms (7%)

Algorithm

1×	egg-herbie

Rules

363×	`associate-/r/_binary64`
261×	`*-commutative_binary64`
216×	`associate-*l/_binary64`
184×	`distribute-rgt-in_binary64`
180×	`distribute-rgt-neg-in_binary64`

Counts

520 → 442

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	454	22245
1	1077	21025
2	3508	20733
3	4799	20733
4	4977	20733
5	4926	20733

prune146.0ms (1.7%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	441	1	442
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	441	11	452

Error

5.2b

Counts

452 → 11

Alt Table

Status	Error	Program
▶	33.8b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b)) 2)))
✓	33.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	34.0b	(/.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 c a)))) b)) 2)))
✓	33.6b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) 2)))
	43.7b	(/.f64 (neg.f64 b) a)
	39.4b	(/.f64 1 (/.f64 (neg.f64 b) c))
	48.6b	(/.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)))))))
	39.3b	(neg.f64 (/.f64 c b))
	45.7b	(/.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))
	46.0b	(/.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (.f64 a 2))
	43.8b	(.f64 (.f64 b -2) (/.f64 1/2 a))

Compiler

Compiled 6638 to 3616 computations (45.5% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b)
2.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
23.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
23.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite70.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

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

Compiler

Compiled 2485 to 1368 computations (44.9% saved)

series172.0ms (2%)

Error

5.2b

Counts

4 → 70

Calls

4 calls:

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

Compiler

Compiled 5227 to 3546 computations (32.2% saved)

simplify121.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

522×	`cancel-sign-sub-inv_binary64`
344×	`times-frac_binary64`
276×	`unswap-sqr_binary64`
252×	`*-commutative_binary64`
204×	`associate-/l*_binary64`

Counts

134 → 86

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	159	2646
1	326	2524
2	1001	2512
3	3214	2488
4	4905	2488
5	5095	2488

prune50.0ms (0.6%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	86	11	97

Error

5.2b

Counts

97 → 11

Alt Table

Status	Error	Program
	33.8b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b)) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b)) 2)))
	33.5b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	34.0b	(/.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 c a)))) b)) 2)))
	33.6b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))) b) 2)))
	43.7b	(/.f64 (neg.f64 b) a)
	39.4b	(/.f64 1 (/.f64 (neg.f64 b) c))
	48.6b	(/.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)))))))
	39.3b	(neg.f64 (/.f64 c b))
	45.7b	(/.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))
	46.0b	(/.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (.f64 a 2))
	43.8b	(.f64 (.f64 b -2) (/.f64 1/2 a))

Compiler

Compiled 2428 to 1333 computations (45.1% saved)

regimes2.9s (33.3%)

Accuracy

Total 4.4b remaining (45.3%)

Threshold costs 0b (0%)

Compiler

Compiled 20852 to 14294 computations (31.5% saved)

bsearch76.0ms (0.9%)

Steps

Iters	Range		Point
10	1.038565331084087e-81	1.6943390929969007e-70	8.094037225273647e-74
8	-3.9466846710310436e+155	-2.496411830401769e+152	-1.0439797130993678e+154

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`+-commutative_binary64`
10×	`*-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	28	55
1	46	55
2	70	55
3	83	55
4	91	55
5	93	55
6	91	55

end1.0ms (0%)

Compiler: Compiled 40 to 26 computations (35% saved)

sample1.7s (20.2%)

Algorithm

1×

intervals

Results

368.0ms	5248×	body	128	valid
334.0ms	1090×	body	2048	valid
184.0ms	741×	body	1024	valid
182.0ms	384×	body	4096	valid
68.0ms	366×	body	512	valid
42.0ms	670×	body	128	nan
24.0ms	395×	body	128	invalid
21.0ms	171×	body	256	valid

Compiler

Compiled 311 to 200 computations (35.7% saved)

Details

analyze727.0ms (8.4%)

sample48.0ms (0.6%)

simplify311.0ms (3.6%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite122.0ms (1.4%)

series170.0ms (2%)

simplify118.0ms (1.4%)

prune68.0ms (0.8%)

localize11.0ms (0.1%)

rewrite82.0ms (1%)

series158.0ms (1.8%)

simplify162.0ms (1.9%)

prune69.0ms (0.8%)

localize14.0ms (0.2%)

rewrite439.0ms (5.1%)

series239.0ms (2.8%)

simplify607.0ms (7%)

prune146.0ms (1.7%)

localize21.0ms (0.2%)

rewrite70.0ms (0.8%)

series172.0ms (2%)

simplify121.0ms (1.4%)

prune50.0ms (0.6%)

regimes2.9s (33.3%)

bsearch76.0ms (0.9%)

simplify5.0ms (0.1%)

end1.0ms (0%)

sample1.7s (20.2%)

Profiling