Details

analyze646.0ms (6.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
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	68.6%	6.4%	7
31.2%	62.4%	6.4%	8
36.7%	54.6%	8.7%	9
38.2%	48.4%	13.4%	10
42.7%	42.3%	15%	11
47.8%	34.1%	18.1%	12
49.1%	30.3%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample43.0ms (0.4%)

Algorithm

1×

intervals

Results

9.0ms	170×	body	128	valid
7.0ms	28×	body	2048	valid
4.0ms	21×	body	1024	valid
4.0ms	12×	body	4096	valid
3.0ms	16×	body	512	valid
1.0ms	27×	body	128	nan
1.0ms	9×	body	256	valid
0.0ms	7×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify318.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

904×	`div-sub_binary64`
743×	`associate-/l*_binary64`
567×	`times-frac_binary64`
521×	`associate-/l/_binary64`
427×	`associate-/r/_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	29	24
2	62	24
3	125	24
4	175	24
5	284	24
6	456	24
7	759	24
8	1186	24
9	1635	24
10	1913	24
11	1868	24
12	1916	24
13	1985	24
14	2029	24
15	1597	24
16	1589	24
17	1581	24
18	1585	24
19	1587	24
20	1587	24
21	1801	24
22	1901	24
23	1835	24
24	1843	24
25	1865	24
26	1877	24
27	1883	24
28	1883	24
29	1927	24
30	1983	24
31	1935	24
32	1935	24
33	1746	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

34.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	34.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))

Compiler

Compiled 57 to 39 computations (31.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
0.4b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
1.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
21.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite185.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

33.7b

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

Compiler

Compiled 1903 to 1105 computations (41.9% saved)

series276.0ms (2.8%)

Error

5.5b

Counts

4 → 78

Calls

4 calls:

80.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
66.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
49.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
39.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

Compiler

Compiled 3458 to 2504 computations (27.6% saved)

simplify104.0ms (1%)

Algorithm

1×	egg-herbie

Rules

752×	`associate-/l*_binary64`
235×	`cancel-sign-sub-inv_binary64`
209×	`distribute-rgt-neg-in_binary64`
205×	`distribute-rgt-in_binary64`
190×	`distribute-lft-neg-in_binary64`

Counts

152 → 125

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	244	3589
1	644	3352
2	2054	3336
3	5111	3336

prune113.0ms (1.1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	110	15	125
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	111	15	126

Error

8.2b

Counts

126 → 15

Alt Table

Status	Error	Program
	46.2b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	45.9b	(/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) (*.f64 3 a))
	34.2b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
	34.6b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) 3) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)) a))
	45.3b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
	45.0b	(/.f64 (.f64 b -2) (.f64 3 a))
▶	34.1b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
	34.5b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) 3) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)) a))
	45.0b	(*.f64 (/.f64 b a) -2/3)
	52.4b	(-.f64 (.f64 -1/2 (/.f64 c b)) (+.f64 (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (.f64 9/16 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))))
	51.4b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	43.9b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 3 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) (.f64 3 a))
	35.6b	(/.f64 (-.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) b) (.f64 3 a))
	51.4b	(exp.f64 (log.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))))
	51.9b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b))) (.f64 3 a))

Compiler

Compiled 2631 to 1525 computations (42% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 3 (.f64 a c))
0.4b	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
1.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
21.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite90.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

8.2b

Rules

12×	`add-sqr-sqrt_binary64`
10×	`pow1_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `*-un-lft-identity_binary64`
8×	`add-log-exp_binary64`
7×	`add-cube-cbrt_binary64`

Counts

4 → 62

Calls

4 calls:

8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
6.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
5.0ms	(.f64 3 (.f64 a c))
4.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))

Compiler

Compiled 1564 to 874 computations (44.1% saved)

series198.0ms (2%)

Error

8.1b

Counts

4 → 64

Calls

4 calls:

63.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
52.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
43.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
17.0ms	(.f64 3 (.f64 a c))

Compiler

Compiled 2973 to 2198 computations (26.1% saved)

simplify101.0ms (1%)

Algorithm

1×	egg-herbie

Rules

846×	`times-frac_binary64`
437×	`associate-/l*_binary64`
345×	`associate-/r*_binary64`
196×	`neg-mul-1_binary64`
185×	`cancel-sign-sub-inv_binary64`

Counts

126 → 73

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	176	2231
1	417	2146
2	1289	2143
3	4738	2143
4	5013	2143

prune76.0ms (0.8%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	71	2	73
Fresh	1	13	14
Picked	0	1	1
Done	0	0	0
Total	72	16	88

Error

8.2b

Counts

88 → 16

Alt Table

Status	Error	Program
	46.2b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	45.9b	(/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) (*.f64 3 a))
▶	34.2b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
	34.6b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) 3) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)) a))
	45.3b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
	45.0b	(/.f64 (.f64 b -2) (.f64 3 a))
	45.0b	(/.f64 1 (/.f64 3 (/.f64 (*.f64 b -2) a)))
	45.9b	(/.f64 1 (/.f64 3 (/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) a)))
✓	34.1b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
	34.5b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) 3) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)) a))
	52.4b	(-.f64 (.f64 -1/2 (/.f64 c b)) (+.f64 (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (.f64 9/16 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))))
	51.4b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	43.9b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 3 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) (.f64 3 a))
	35.6b	(/.f64 (-.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) b) (.f64 3 a))
	51.4b	(exp.f64 (log.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))))
	51.9b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b))) (.f64 3 a))

Compiler

Compiled 1736 to 1088 computations (37.3% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 1/3 a)
0.4b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
1.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
21.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite103.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

8.2b

Rules

19×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`
9×	`times-frac_binary64`
8×	`add-log-exp_binary64`

Counts

4 → 71

Calls

4 calls:

7.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
3.0ms	(/.f64 1/3 a)

Compiler

Compiled 1694 to 997 computations (41.1% saved)

series181.0ms (1.8%)

Error

8.1b

Counts

4 → 61

Calls

4 calls:

60.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
51.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
41.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
6.0ms	(/.f64 1/3 a)

Compiler

Compiled 2625 to 1887 computations (28.1% saved)

simplify129.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

750×	`times-frac_binary64`
374×	`associate-/r*_binary64`
343×	`associate-/l*_binary64`
168×	`cancel-sign-sub-inv_binary64`
132×	`distribute-rgt-neg-in_binary64`

Counts

132 → 90

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	200	2320
1	449	2220
2	1290	2208
3	4797	2208
4	4993	2208
5	4941	2208

prune87.0ms (0.9%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	86	4	90
Fresh	2	12	14
Picked	1	0	1
Done	0	1	1
Total	89	17	106

Error

8.2b

Counts

106 → 17

Alt Table

Status	Error	Program
	45.0b	(.f64 (.f64 b -2) (/.f64 1/3 a))
	46.2b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	45.3b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
	45.0b	(/.f64 (.f64 b -2) (.f64 3 a))
	45.0b	(/.f64 1 (/.f64 3 (/.f64 (*.f64 b -2) a)))
	45.9b	(/.f64 1 (/.f64 3 (/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) a)))
✓	34.1b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
▶	34.5b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) 3) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)) a))
	45.9b	(.f64 (.f64 (/.f64 (*.f64 a c) b) -3/2) (/.f64 1/3 a))
	52.4b	(-.f64 (.f64 -1/2 (/.f64 c b)) (+.f64 (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (.f64 9/16 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))))
	51.4b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	43.9b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 3 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) (.f64 3 a))
	35.6b	(/.f64 (-.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) b) (.f64 3 a))
	51.4b	(exp.f64 (log.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))))
	35.6b	(.f64 (-.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) b) (/.f64 1/3 a))
	51.9b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b))) (.f64 3 a))
	35.3b	(.f64 (-.f64 (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) b) (/.f64 1/3 a))

Compiler

Compiled 2109 to 1257 computations (40.4% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
21.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
21.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
21.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite112.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

8.2b

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:

7.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

Compiler

Compiled 3224 to 1664 computations (48.4% saved)

series312.0ms (3.1%)

Error

8.2b

Counts

4 → 77

Calls

4 calls:

66.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
66.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
65.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
63.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)

Compiler

Compiled 7999 to 5005 computations (37.4% saved)

simplify158.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

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

Counts

139 → 73

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	125	2822
1	321	2779
2	923	2776
3	4784	2776
4	4971	2776
5	4944	2776

prune88.0ms (0.9%)

Pruning

17 alts after pruning (15 fresh and 2 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	15	15
Picked	0	1	1
Done	0	1	1
Total	73	17	90

Error

8.2b

Counts

90 → 17

Alt Table

Status	Error	Program
	45.0b	(.f64 (.f64 b -2) (/.f64 1/3 a))
	46.2b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	45.3b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
	45.0b	(/.f64 (.f64 b -2) (.f64 3 a))
	45.0b	(/.f64 1 (/.f64 3 (/.f64 (*.f64 b -2) a)))
	45.9b	(/.f64 1 (/.f64 3 (/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) a)))
	34.1b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
	34.5b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b))) 3) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)) a))
	45.9b	(.f64 (.f64 (/.f64 (*.f64 a c) b) -3/2) (/.f64 1/3 a))
	52.4b	(-.f64 (.f64 -1/2 (/.f64 c b)) (+.f64 (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (.f64 9/16 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))))
	51.4b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	43.9b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 3 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) (.f64 3 a))
	35.6b	(/.f64 (-.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) b) (.f64 3 a))
	51.4b	(exp.f64 (log.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))))
	35.6b	(.f64 (-.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) b) (/.f64 1/3 a))
	51.9b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 b))) (.f64 3 a))
	35.3b	(.f64 (-.f64 (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) b) (/.f64 1/3 a))

Compiler

Compiled 3271 to 1836 computations (43.9% saved)

regimes4.8s (48.1%)

Accuracy

Total 2.5b remaining (26%)

Threshold costs 0b (0%)

Compiler

Compiled 29505 to 19831 computations (32.8% saved)

bsearch65.0ms (0.6%)

Steps

Iters	Range		Point
8	1.4249619272964188e-81	7.584216336918443e-79	9.810061721986128e-81
9	-4.5101146397266164e+98	-7.310136011538345e+91	-6.1912224994648325e+97

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	26	55
1	40	53
2	58	53
3	67	53
4	73	53
5	75	53
6	74	53

end2.0ms (0%)

Compiler: Compiled 39 to 27 computations (30.8% saved)

sample1.7s (17.1%)

Algorithm

1×

intervals

Results

325.0ms	1198×	body	2048	valid
292.0ms	5132×	body	128	valid
159.0ms	750×	body	1024	valid
127.0ms	382×	body	4096	valid
63.0ms	364×	body	512	valid
33.0ms	643×	body	128	nan
21.0ms	174×	body	256	valid
19.0ms	352×	body	128	invalid

Compiler

Compiled 481 to 316 computations (34.3% saved)

Details

analyze646.0ms (6.5%)

sample43.0ms (0.4%)

simplify318.0ms (3.2%)

prune4.0ms (0%)

localize10.0ms (0.1%)

rewrite185.0ms (1.9%)

series276.0ms (2.8%)

simplify104.0ms (1%)

prune113.0ms (1.1%)

localize13.0ms (0.1%)

rewrite90.0ms (0.9%)

series198.0ms (2%)

simplify101.0ms (1%)

prune76.0ms (0.8%)

localize12.0ms (0.1%)

rewrite103.0ms (1%)

series181.0ms (1.8%)

simplify129.0ms (1.3%)

prune87.0ms (0.9%)

localize22.0ms (0.2%)

rewrite112.0ms (1.1%)

series312.0ms (3.1%)

simplify158.0ms (1.6%)

prune88.0ms (0.9%)

regimes4.8s (48.1%)

bsearch65.0ms (0.6%)

simplify5.0ms (0.1%)

end2.0ms (0%)

sample1.7s (17.1%)

Profiling