Details

analyze910.0ms (10.1%)

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)

sample49.0ms (0.5%)

Algorithm

1×

intervals

Results

13.0ms	171×	body	128	valid
11.0ms	33×	body	2048	valid
5.0ms	21×	body	1024	valid
4.0ms	19×	body	512	valid
3.0ms	9×	body	4096	valid
1.0ms	20×	body	128	nan
1.0ms	14×	body	128	invalid
0.0ms	3×	body	256	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify295.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1319×	`div-sub_binary64`
932×	`unsub-neg_binary64`
843×	`associate-/l*_binary64`
678×	`distribute-rgt-in_binary64`
643×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	37	26
2	93	26
3	213	24
4	320	24
5	522	24
6	913	24
7	995	24
8	1154	24
9	1806	24
10	2663	24
11	2356	24
12	2303	24
13	2372	24
14	2398	24
15	2585	24
16	3881	24
17	3563	24
18	3397	24
19	3505	24
20	3509	24
21	3623	24
22	3691	24
23	3691	24
24	2163	24
25	2363	24
26	2081	24
27	2083	24
28	2083	24
29	2083	24
30	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 -1/2 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) a))

Compiler

Compiled 57 to 39 computations (31.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
0.4b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.8b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite113.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

33.2b

Rules

24×	`*-un-lft-identity_binary64`
15×	`add-sqr-sqrt_binary64`
14×	`add-cube-cbrt_binary64`
12×	`times-frac_binary64`
8×	`add-log-exp_binary64`

Counts

4 → 72

Calls

4 calls:

7.0ms	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
4.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
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 1906 to 971 computations (49.1% saved)

series166.0ms (1.8%)

Error

5.2b

Counts

4 → 76

Calls

4 calls:

42.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
40.0ms	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
34.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
26.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 3137 to 2254 computations (28.1% saved)

simplify115.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

888×	`times-frac_binary64`
442×	`associate-/l*_binary64`
405×	`associate-/r*_binary64`
228×	`cancel-sign-sub-inv_binary64`
161×	`distribute-rgt-neg-in_binary64`

Counts

148 → 122

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	184	3251
1	461	3083
2	1372	3065
3	4817	3065
4	5026	3065

prune73.0ms (0.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	108	14	122
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	109	14	123

Error

7.4b

Counts

123 → 14

Alt Table

Status	Error	Program
	34.2b	(.f64 -1/2 (.f64 (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))) (cbrt.f64 a))))
	49.3b	(.f64 -1/2 (/.f64 (.f64 2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) a))
	48.3b	(.f64 -1/2 (/.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (sqrt.f64 a)) (sqrt.f64 a)))
	44.5b	(.f64 -1/2 (/.f64 (.f64 b 2) a))
	48.5b	(.f64 -1/2 (cbrt.f64 (pow.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) a) 3)))
	59.1b	(*.f64 -1/2 (/.f64 (+.f64 b (neg.f64 b)) a))
	33.8b	(.f64 -1/2 (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (/.f64 a (sqrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))))))
	36.3b	(.f64 -1/2 (/.f64 (+.f64 b (exp.f64 (log.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) a))
▶	32.5b	(.f64 -1/2 (/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) a))
	44.5b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	44.1b	(.f64 -1/2 (/.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) a))
	34.0b	(.f64 -1/2 (/.f64 (.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))) (/.f64 a (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))))))
	46.2b	(.f64 -1/2 (/.f64 (-.f64 (.f64 b b) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))))
	45.7b	(.f64 -1/2 (.f64 2 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))

Compiler

Compiled 2532 to 1430 computations (43.5% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.5b	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
4.2b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))) a)
8.4b	(/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

rewrite133.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

7.4b

Rules

66×	`times-frac_binary64`
59×	`add-sqr-sqrt_binary64`
44×	`*-un-lft-identity_binary64`
30×	`add-cube-cbrt_binary64`
27×	`add-cbrt-cube_binary64`

Counts

4 → 136

Calls

4 calls:

10.0ms	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))) a)
10.0ms	(/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))
5.0ms	(-.f64 b (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 4706 to 2367 computations (49.7% saved)

series234.0ms (2.6%)

Error

6.5b

Counts

4 → 74

Calls

4 calls:

75.0ms	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))) a)
66.0ms	(/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))
35.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
35.0ms	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))

Compiler

Compiled 4297 to 2973 computations (30.8% saved)

simplify233.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

300×	`cancel-sign-sub-inv_binary64`
272×	`distribute-rgt-neg-in_binary64`
253×	`distribute-lft-neg-in_binary64`
250×	`associate-/l*_binary64`
249×	`times-frac_binary64`

Counts

210 → 136

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	319	7091
1	859	6474
2	3166	6319
3	4595	6316
4	4938	6316
5	4983	6316

prune82.0ms (0.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	130	6	136
Fresh	8	5	13
Picked	1	0	1
Done	0	0	0
Total	139	11	150

Error

6.2b

Counts

150 → 11

Alt Table

Status	Error	Program
	35.4b	(.f64 -1/2 (/.f64 (/.f64 (.f64 4 (.f64 c a)) (/.f64 (.f64 4 (.f64 c a)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) a))
	44.5b	(.f64 -1/2 (/.f64 (.f64 b 2) a))
	33.5b	(.f64 -1/2 (.f64 (.f64 (.f64 4 c) (/.f64 (/.f64 1 c) 4)) (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))) a)))
	46.4b	(.f64 -1/2 (/.f64 (/.f64 (.f64 4 (.f64 c a)) (.f64 b 2)) a))
	45.1b	(.f64 -1/2 (.f64 -4 (/.f64 c (sqrt.f64 (.f64 a (.f64 c -4))))))
	45.7b	(.f64 -1/2 (.f64 2 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))
▶	30.0b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))))))
	44.5b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	30.5b	(.f64 -1/2 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 (.f64 4 c) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) 1)) (cbrt.f64 (.f64 (/.f64 (.f64 4 c) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) 1))) (cbrt.f64 (.f64 (/.f64 (.f64 4 c) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) 1))))
	44.1b	(.f64 -1/2 (/.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) a))
	36.3b	(.f64 -1/2 (/.f64 (+.f64 b (exp.f64 (log.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) a))

Compiler

Compiled 3246 to 1837 computations (43.4% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))
0.4b	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))
1.5b	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

rewrite84.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

6.2b

Rules

39×	`add-sqr-sqrt_binary64`
28×	`*-un-lft-identity_binary64`
18×	`times-frac_binary64`
18×	`add-cube-cbrt_binary64`
11×	`sqrt-prod_binary64`

Counts

4 → 88

Calls

4 calls:

7.0ms	(/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))
5.0ms	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
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 2537 to 1439 computations (43.3% saved)

series177.0ms (2%)

Error

5.0b

Counts

4 → 73

Calls

4 calls:

55.0ms	(/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))
36.0ms	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
35.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
28.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))

Compiler

Compiled 3707 to 2797 computations (24.5% saved)

simplify160.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

907×	`times-frac_binary64`
470×	`associate-/l*_binary64`
227×	`cancel-sign-sub-inv_binary64`
171×	`distribute-rgt-neg-in_binary64`
153×	`distribute-lft-neg-in_binary64`

Counts

161 → 94

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	205	3778
1	509	3606
2	1471	3577
3	4707	3577
4	4993	3577
5	4951	3577

prune50.0ms (0.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	91	3	94
Fresh	4	6	10
Picked	0	1	1
Done	0	0	0
Total	95	10	105

Error

5.0b

Counts

105 → 10

Alt Table

Status	Error	Program
	36.3b	(.f64 -1/2 (/.f64 (+.f64 b (exp.f64 (log.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) a))
	35.4b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (/.f64 (.f64 4 (.f64 c a)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))))))
✓	30.0b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))))))
	44.5b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	44.5b	(.f64 -1/2 (/.f64 (.f64 b 2) a))
	44.1b	(.f64 -1/2 (/.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) a))
▶	33.5b	(.f64 -1/2 (.f64 (.f64 (.f64 4 c) (/.f64 (/.f64 1 c) 4)) (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))) a)))
	45.7b	(.f64 -1/2 (.f64 2 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))
	40.8b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (.f64 b 2)))))
	42.3b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))))))

Compiler

Compiled 1762 to 1128 computations (36% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 4 c) (/.f64 (/.f64 1 c) 4))
0.4b	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))
0.8b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
21.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

rewrite118.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

5.0b

Rules

66×	`times-frac_binary64`
43×	`associate-r_binary64`
42×	`*-un-lft-identity_binary64`
41×	`add-sqr-sqrt_binary64`
40×	`add-cube-cbrt_binary64`

Counts

4 → 110

Calls

4 calls:

14.0ms	(.f64 (.f64 4 c) (/.f64 (/.f64 1 c) 4))
5.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))
5.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

Compiler

Compiled 3819 to 2441 computations (36.1% saved)

series133.0ms (1.5%)

Error

5.0b

Counts

4 → 60

Calls

4 calls:

40.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
39.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
32.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))
4.0ms	(.f64 (.f64 4 c) (/.f64 (/.f64 1 c) 4))

Compiler

Compiled 3485 to 2583 computations (25.9% saved)

simplify108.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

549×	`associate-*r/_binary64`
491×	`associate-/r*_binary64`
447×	`associate-*l/_binary64`
235×	`associate-l_binary64`
197×	`associate-/l/_binary64`

Counts

170 → 129

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	219	2582
1	587	2280
2	1943	2240
3	4966	2240
4	4967	2240

prune65.0ms (0.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

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

Error

5.0b

Counts

139 → 10

Alt Table

Status	Error	Program
	36.3b	(.f64 -1/2 (/.f64 (+.f64 b (exp.f64 (log.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) a))
	35.4b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (/.f64 (.f64 4 (.f64 c a)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))))))
	30.0b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))))))
	44.5b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	44.5b	(.f64 -1/2 (/.f64 (.f64 b 2) a))
	44.1b	(.f64 -1/2 (/.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) a))
	33.5b	(.f64 -1/2 (.f64 (.f64 (.f64 4 c) (/.f64 (/.f64 1 c) 4)) (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))) a)))
	45.7b	(.f64 -1/2 (.f64 2 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))
	40.8b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (.f64 b 2)))))
	42.3b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))))))

Compiler

Compiled 2416 to 1534 computations (36.5% saved)

regimes3.2s (35.2%)

Accuracy

Total 1.2b remaining (18.5%)

Threshold costs 0b (0%)

Compiler

Compiled 23012 to 15150 computations (34.2% saved)

bsearch92.0ms (1%)

Steps

Iters	Range	Point
7	1.6910900766717415e+99	4.161332660108235e+108	2.4425538060656697e+108
10	-1.2079556315973247e-283	-1.055641253861199e-294	-1.069698752870928e-294
3	-8.405871070979734e+54	-8.866121779992787e+50	-2.6404428421693406e+54

Iters

Range

Point

1.6910900766717415e+99

4.161332660108235e+108

2.4425538060656697e+108

-1.2079556315973247e-283

-1.055641253861199e-294

-1.069698752870928e-294

-8.405871070979734e+54

-8.866121779992787e+50

-2.6404428421693406e+54

Compiler

Compiled 4 to 3 computations (25% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

17×	`*-commutative_binary64`
9×	`+-commutative_binary64`
7×	`sub-neg_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	89
1	65	89
2	75	89
3	87	89
4	95	89
5	100	89
6	102	89
7	100	89

end1.0ms (0%)

Compiler: Compiled 63 to 43 computations (31.7% saved)

sample2.4s (26.6%)

Algorithm

1×

intervals

Results

1.0s	1193×	body	2048	valid
367.0ms	5180×	body	128	valid
202.0ms	400×	body	4096	valid
187.0ms	719×	body	1024	valid
63.0ms	335×	body	512	valid
45.0ms	678×	body	128	nan
27.0ms	375×	body	128	invalid
22.0ms	173×	body	256	valid

Compiler

Compiled 279 to 203 computations (27.2% saved)

Details

analyze910.0ms (10.1%)

sample49.0ms (0.5%)

simplify295.0ms (3.3%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite113.0ms (1.3%)

series166.0ms (1.8%)

simplify115.0ms (1.3%)

prune73.0ms (0.8%)

localize12.0ms (0.1%)

rewrite133.0ms (1.5%)

series234.0ms (2.6%)

simplify233.0ms (2.6%)

prune82.0ms (0.9%)

localize13.0ms (0.1%)

rewrite84.0ms (0.9%)

series177.0ms (2%)

simplify160.0ms (1.8%)

prune50.0ms (0.6%)

localize15.0ms (0.2%)

rewrite118.0ms (1.3%)

series133.0ms (1.5%)

simplify108.0ms (1.2%)

prune65.0ms (0.7%)

regimes3.2s (35.2%)

bsearch92.0ms (1%)

simplify8.0ms (0.1%)

end1.0ms (0%)

sample2.4s (26.6%)

Profiling