Details

analyze611.0ms (7.2%)

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)

sample39.0ms (0.5%)

Algorithm

1×

intervals

Results

10.0ms	42×	body	2048	valid
8.0ms	170×	body	128	valid
4.0ms	20×	body	1024	valid
2.0ms	8×	body	4096	valid
1.0ms	10×	body	512	valid
1.0ms	15×	body	128	nan
1.0ms	13×	body	128	invalid
1.0ms	6×	body	256	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify324.0ms (3.8%)

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

Counts

2 → 1

Alt Table

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

localize14.0ms (0.2%)

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

rewrite165.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

32.4b

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

Compiler

Compiled 1903 to 1105 computations (41.9% saved)

series239.0ms (2.8%)

Error

5.1b

Counts

4 → 73

Calls

4 calls:

64.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
50.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)))
41.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

Compiler

Compiled 3081 to 2215 computations (28.1% saved)

simplify96.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

619×	`associate-/r*_binary64`
611×	`associate-/l*_binary64`
204×	`cancel-sign-sub-inv_binary64`
193×	`distribute-rgt-neg-in_binary64`
182×	`distribute-rgt-in_binary64`

Counts

147 → 120

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	230	3312
1	608	3081
2	1884	3068
3	5401	3068

prune103.0ms (1.2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	108	12	120
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	108	13	121

Error

6.8b

Counts

121 → 13

Alt Table

Status	Error	Program
	45.4b	(/.f64 (.f64 b -2) (.f64 3 a))
	32.8b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
	44.6b	(/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) (*.f64 3 a))
	32.9b	(.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))
	49.6b	(exp.f64 (log.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))))
	43.7b	(/.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))
▶	32.8b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
	33.0b	(/.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 3 a))
	45.7b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
✓	32.7b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
	50.8b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	39.0b	(/.f64 (-.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) 3)) b) (.f64 3 a))
	45.1b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))

Compiler

Compiled 2372 to 1359 computations (42.7% saved)

localize11.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.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
22.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite94.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

6.8b

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:

10.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)

series175.0ms (2.1%)

Error

6.7b

Counts

4 → 59

Calls

4 calls:

52.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
49.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
43.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
6.0ms	(/.f64 1/3 a)

Compiler

Compiled 2441 to 1744 computations (28.6% saved)

simplify101.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

682×	`times-frac_binary64`
342×	`associate-/r*_binary64`
284×	`associate-/l*_binary64`
255×	`*-commutative_binary64`
179×	`sub-neg_binary64`

Counts

130 → 88

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	192	2202
1	430	2102
2	1222	2093
3	4433	2093
4	4935	2093

prune75.0ms (0.9%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	85	3	88
Fresh	1	10	11
Picked	1	0	1
Done	0	1	1
Total	87	14	101

Error

6.7b

Counts

101 → 14

Alt Table

Status	Error	Program
	45.4b	(/.f64 (.f64 b -2) (.f64 3 a))
	45.4b	(.f64 (.f64 b -2) (/.f64 1/3 a))
▶	32.8b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
	44.6b	(.f64 (.f64 (/.f64 (*.f64 a c) b) -3/2) (/.f64 1/3 a))
	43.7b	(.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 1/3 a))
	32.9b	(.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))
	49.6b	(exp.f64 (log.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))))
	43.7b	(/.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))
	33.0b	(/.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 3 a))
	45.7b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
✓	32.7b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
	50.8b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	39.0b	(/.f64 (-.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) 3)) b) (.f64 3 a))
	45.1b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))

Compiler

Compiled 1857 to 1091 computations (41.2% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 3 (.f64 a c))
0.4b	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
1.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
22.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite83.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

6.7b

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

Compiler

Compiled 1564 to 874 computations (44.1% saved)

series187.0ms (2.2%)

Error

6.7b

Counts

4 → 62

Calls

4 calls:

52.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
49.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
44.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
16.0ms	(.f64 3 (.f64 a c))

Compiler

Compiled 2783 to 2049 computations (26.4% saved)

simplify99.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

778×	`times-frac_binary64`
378×	`associate-/l*_binary64`
313×	`associate-/r*_binary64`
185×	`neg-mul-1_binary64`
177×	`distribute-rgt-neg-in_binary64`

Counts

124 → 71

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	168	2113
1	398	2031
2	1221	2028
3	4735	2028
4	4983	2028

prune62.0ms (0.7%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	70	1	71
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	70	15	85

Error

6.7b

Counts

85 → 15

Alt Table

Status	Error	Program
	45.4b	(/.f64 (.f64 b -2) (.f64 3 a))
	45.4b	(.f64 (.f64 b -2) (/.f64 1/3 a))
✓	32.8b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
	44.6b	(.f64 (.f64 (/.f64 (*.f64 a c) b) -3/2) (/.f64 1/3 a))
	43.7b	(.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 1/3 a))
▶	32.9b	(.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))
	49.6b	(exp.f64 (log.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))))
	43.7b	(/.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))
	44.8b	(/.f64 1 (/.f64 3 (/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) a)))
	33.0b	(/.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 3 a))
	45.7b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
✓	32.7b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
	50.8b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	39.0b	(/.f64 (-.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) 3)) b) (.f64 3 a))
	45.1b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))

Compiler

Compiled 1557 to 967 computations (37.9% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
1.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
22.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
22.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite102.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

6.7b

Rules

18×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64` `sqrt-prod_binary64`
6×	`pow1_binary64` `cancel-sign-sub-inv_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `flip3--_binary64` `sqrt-div_binary64` `flip--_binary64` `difference-of-squares_binary64`

Counts

4 → 64

Calls

4 calls:

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

Compiler

Compiled 2485 to 1287 computations (48.2% saved)

series273.0ms (3.2%)

Error

6.7b

Counts

4 → 76

Calls

4 calls:

58.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
58.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
56.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
56.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)

Compiler

Compiled 5735 to 3848 computations (32.9% saved)

simplify88.0ms (1%)

Algorithm

1×	egg-herbie

Rules

650×	`associate-l_binary64`
638×	`associate-r_binary64`
634×	`times-frac_binary64`
283×	`associate-/l*_binary64`
259×	`associate-/r*_binary64`

Counts

140 → 80

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	127	2978
1	336	2874
2	987	2868
3	5334	2868

prune80.0ms (0.9%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	12	12
Picked	0	1	1
Done	0	2	2
Total	80	15	95

Error

6.7b

Counts

95 → 15

Alt Table

Status	Error	Program
	45.4b	(/.f64 (.f64 b -2) (.f64 3 a))
	45.4b	(.f64 (.f64 b -2) (/.f64 1/3 a))
	32.8b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))
	44.6b	(.f64 (.f64 (/.f64 (*.f64 a c) b) -3/2) (/.f64 1/3 a))
	43.7b	(.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 1/3 a))
	32.9b	(.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))
	49.6b	(exp.f64 (log.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) b) (.f64 3 a))))
	43.7b	(/.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))
	44.8b	(/.f64 1 (/.f64 3 (/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) a)))
	33.0b	(/.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 3 a))
	45.7b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
	32.7b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
	50.8b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	39.0b	(/.f64 (-.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) 3)) b) (.f64 3 a))
	45.1b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))

Compiler

Compiled 2459 to 1385 computations (43.7% saved)

regimes3.8s (44.8%)

Accuracy

Total 2.9b remaining (29.3%)

Threshold costs 0b (0%)

Compiler

Compiled 23633 to 16141 computations (31.7% saved)

bsearch56.0ms (0.7%)

Steps

Iters	Range		Point
10	5.5207466408091135e-36	3.3872345423193125e-25	2.8316947248186715e-33
4	-2.3831674863597915e+110	-1.3130833255254319e+110	-2.1862818475653883e+110

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	53
1	36	53
2	56	53
3	66	53
4	73	53
5	75	53
6	74	53

end1.0ms (0%)

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

sample1.6s (18.4%)

Algorithm

1×

intervals

Results

283.0ms	1155×	body	2048	valid
282.0ms	5134×	body	128	valid
148.0ms	772×	body	1024	valid
116.0ms	392×	body	4096	valid
50.0ms	359×	body	512	valid
30.0ms	644×	body	128	nan
22.0ms	384×	body	128	invalid
18.0ms	188×	body	256	valid

Compiler

Compiled 375 to 252 computations (32.8% saved)

Details

analyze611.0ms (7.2%)

sample39.0ms (0.5%)

simplify324.0ms (3.8%)

prune4.0ms (0.1%)

localize14.0ms (0.2%)

rewrite165.0ms (2%)

series239.0ms (2.8%)

simplify96.0ms (1.1%)

prune103.0ms (1.2%)

localize11.0ms (0.1%)

rewrite94.0ms (1.1%)

series175.0ms (2.1%)

simplify101.0ms (1.2%)

prune75.0ms (0.9%)

localize15.0ms (0.2%)

rewrite83.0ms (1%)

series187.0ms (2.2%)

simplify99.0ms (1.2%)

prune62.0ms (0.7%)

localize15.0ms (0.2%)

rewrite102.0ms (1.2%)

series273.0ms (3.2%)

simplify88.0ms (1%)

prune80.0ms (0.9%)

regimes3.8s (44.8%)

bsearch56.0ms (0.7%)

simplify5.0ms (0.1%)

end1.0ms (0%)

sample1.6s (18.4%)

Profiling