Details

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

sample49.0ms (0.6%)

Algorithm

1×

intervals

Results

10.0ms	165×	body	128	valid
10.0ms	22×	body	4096	valid
10.0ms	33×	body	2048	valid
4.0ms	19×	body	1024	valid
2.0ms	13×	body	512	valid
1.0ms	20×	body	128	nan
1.0ms	13×	body	128	invalid
0.0ms	4×	body	256	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify300.0ms (3.6%)

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

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

34.0b

Counts

2 → 1

Alt Table

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

localize9.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))
1.0b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
1.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
23.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite143.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

33.7b

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

Compiler

Compiled 1903 to 1105 computations (41.9% saved)

series199.0ms (2.4%)

Error

5.9b

Counts

4 → 87

Calls

4 calls:

59.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
44.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
37.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
28.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

Compiler

Compiled 3601 to 2606 computations (27.6% saved)

simplify133.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

249×	`cancel-sign-sub-inv_binary64`
242×	`distribute-rgt-in_binary64`
228×	`distribute-rgt-neg-in_binary64`
208×	`distribute-lft-in_binary64`
205×	`distribute-lft-neg-in_binary64`

Counts

161 → 136

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	263	4192
1	707	3937
2	2344	3903
3	4760	3903
4	5152	3903

prune77.0ms (0.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	123	13	136
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	124	13	137

Error

6.9b

Counts

137 → 13

Alt Table

Status	Error	Program
	34.2b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b)) 3) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b)) a))
	45.4b	(/.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) (*.f64 3 a))
	34.9b	(/.f64 (-.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))))) b) (.f64 3 a))
	43.6b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))))
▶	34.0b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) 3) a)
	44.3b	(.f64 1/3 (/.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) a))
	34.5b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b))) (/.f64 3 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b)) a)))
	51.2b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	44.8b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 3 (.f64 c a)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))))) (.f64 3 a))
	46.2b	(/.f64 (.f64 b -2) (.f64 3 a))
	46.4b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
	34.1b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a)))
	55.2b	(/.f64 (-.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))

Compiler

Compiled 2704 to 1568 computations (42% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 3 (.f64 c a))
1.0b	(-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))
1.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b)
23.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a))))

rewrite55.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

6.9b

Rules

12×	`add-sqr-sqrt_binary64`
10×	`pow1_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`

Counts

4 → 62

Calls

4 calls:

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

Compiler

Compiled 1452 to 762 computations (47.5% saved)

series144.0ms (1.7%)

Error

6.9b

Counts

4 → 70

Calls

4 calls:

51.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b)
36.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a))))
28.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))
10.0ms	(.f64 3 (.f64 c a))

Compiler

Compiled 2836 to 2032 computations (28.3% saved)

simplify99.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

898×	`times-frac_binary64`
482×	`associate-/l*_binary64`
206×	`neg-mul-1_binary64`
194×	`cancel-sign-sub-inv_binary64`
180×	`distribute-rgt-neg-in_binary64`

Counts

132 → 79

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	189	2621
1	453	2512
2	1419	2509
3	4743	2509
4	4990	2509

prune46.0ms (0.5%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	77	2	79
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	78	14	92

Error

6.9b

Counts

92 → 14

Alt Table

Status	Error	Program
	34.2b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b)) 3) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b)) a))
	45.4b	(/.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) (*.f64 3 a))
	34.9b	(/.f64 (-.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))))) b) (.f64 3 a))
	43.6b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))))
	45.4b	(/.f64 (/.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) 3) a)
✓	34.0b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) 3) a)
	44.3b	(.f64 1/3 (/.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) a))
	34.5b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b))) (/.f64 3 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b)) a)))
	51.2b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	46.4b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
	46.1b	(/.f64 (/.f64 (*.f64 b -2) 3) a)
▶	34.1b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a)))
	44.8b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 3 (.f64 c a)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))))) (.f64 3 a))
	55.2b	(/.f64 (-.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))

Compiler

Compiled 1678 to 1015 computations (39.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 3 (.f64 c a))
1.0b	(-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))
1.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b)
23.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a))))

rewrite60.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

6.9b

Rules

12×	`add-sqr-sqrt_binary64`
10×	`pow1_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`

Counts

4 → 62

Calls

4 calls:

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

Compiler

Compiled 1564 to 874 computations (44.1% saved)

series149.0ms (1.8%)

Error

6.9b

Counts

4 → 70

Calls

4 calls:

44.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b)
36.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a))))
30.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))
15.0ms	(.f64 3 (.f64 c a))

Compiler

Compiled 3074 to 2270 computations (26.2% saved)

simplify101.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

898×	`times-frac_binary64`
482×	`associate-/l*_binary64`
206×	`neg-mul-1_binary64`
194×	`cancel-sign-sub-inv_binary64`
180×	`distribute-rgt-neg-in_binary64`

Counts

132 → 79

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	189	2621
1	453	2512
2	1419	2509
3	4743	2509
4	4990	2509

prune48.0ms (0.6%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	78	1	79
Fresh	0	12	12
Picked	0	1	1
Done	1	0	1
Total	79	14	93

Error

6.9b

Counts

93 → 14

Alt Table

Status	Error	Program
▶	34.2b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b)) 3) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b)) a))
	45.4b	(/.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) (*.f64 3 a))
	34.9b	(/.f64 (-.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))))) b) (.f64 3 a))
	43.6b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))))
	45.4b	(/.f64 (/.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) 3) a)
	34.5b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b))) (/.f64 3 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b)) a)))
	51.2b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	44.8b	(/.f64 1 (/.f64 3 (/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 3 (.f64 c a)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))))) a)))
	46.4b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
	46.1b	(/.f64 (/.f64 (*.f64 b -2) 3) a)
	44.3b	(.f64 1/3 (/.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) a))
✓	34.1b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a)))
	44.8b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 3 (.f64 c a)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))))) (.f64 3 a))
	55.2b	(/.f64 (-.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))

Compiler

Compiled 1788 to 1107 computations (38.1% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b)
1.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b)
23.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a))))
23.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a))))

rewrite70.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

6.9b

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

Compiler

Compiled 2485 to 1287 computations (48.2% saved)

series214.0ms (2.5%)

Error

6.9b

Counts

4 → 92

Calls

4 calls:

50.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b)
49.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b)
41.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a))))
40.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a))))

Compiler

Compiled 6447 to 4356 computations (32.4% saved)

simplify99.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

754×	`times-frac_binary64`
715×	`associate-l_binary64`
387×	`associate-/l*_binary64`
321×	`associate-/r*_binary64`
152×	`cancel-sign-sub-inv_binary64`

Counts

156 → 96

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	148	4000
1	391	3836
2	1185	3830
3	5326	3830

prune68.0ms (0.8%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	95	15	110

Error

6.9b

Counts

110 → 15

Alt Table

Status	Error	Program
	34.2b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b)) 3) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b)) a))
	45.4b	(/.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) (*.f64 3 a))
	34.9b	(/.f64 (-.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a))))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))))) b) (.f64 3 a))
	43.6b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))))
	45.4b	(/.f64 (/.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) 3) a)
	34.5b	(/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b))) (/.f64 3 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) b)) a)))
	51.2b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	44.8b	(/.f64 1 (/.f64 3 (/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 3 (.f64 c a)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))))) a)))
	46.4b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
	46.1b	(/.f64 (/.f64 (*.f64 b -2) 3) a)
	44.3b	(.f64 1/3 (/.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) a))
	42.8b	(.f64 (/.f64 (sqrt.f64 (-.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))) 3)) b)) 3) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b)) a))
	34.1b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 c a)))) b) a)))
	44.8b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 3 (.f64 c a)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 c a)))))) (.f64 3 a))
	55.2b	(/.f64 (-.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) (+.f64 (.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (+.f64 (.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))

Compiler

Compiled 2813 to 1603 computations (43% saved)

regimes3.7s (44.7%)

Accuracy

Total 2.9b remaining (28.8%)

Threshold costs 0b (0%)

Compiler

Compiled 22824 to 15442 computations (32.3% saved)

bsearch54.0ms (0.6%)

Steps

Iters	Range		Point
8	1.2350517775953756e-104	5.769685674755267e-101	5.537390450507026e-101
5	-6.4146153333397025e+93	-2.201892505232394e+93	-6.124802208226831e+93

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
8×	`+-commutative_binary64`
8×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	59
1	38	59
2	60	59
3	72	59
4	81	59
5	84	59
6	83	59

end1.0ms (0%)

Compiler: Compiled 43 to 30 computations (30.2% saved)

sample1.8s (21.1%)

Algorithm

1×

intervals

Results

360.0ms	1137×	body	2048	valid
349.0ms	5146×	body	128	valid
189.0ms	751×	body	1024	valid
174.0ms	424×	body	4096	valid
66.0ms	366×	body	512	valid
50.0ms	718×	body	128	nan
23.0ms	376×	body	128	invalid
21.0ms	176×	body	256	valid

Compiler

Compiled 469 to 307 computations (34.5% saved)

Details

analyze706.0ms (8.4%)

sample49.0ms (0.6%)

simplify300.0ms (3.6%)

prune3.0ms (0%)

localize9.0ms (0.1%)

rewrite143.0ms (1.7%)

series199.0ms (2.4%)

simplify133.0ms (1.6%)

prune77.0ms (0.9%)

localize11.0ms (0.1%)

rewrite55.0ms (0.7%)

series144.0ms (1.7%)

simplify99.0ms (1.2%)

prune46.0ms (0.5%)

localize11.0ms (0.1%)

rewrite60.0ms (0.7%)

series149.0ms (1.8%)

simplify101.0ms (1.2%)

prune48.0ms (0.6%)

localize16.0ms (0.2%)

rewrite70.0ms (0.8%)

series214.0ms (2.5%)

simplify99.0ms (1.2%)

prune68.0ms (0.8%)

regimes3.7s (44.7%)

bsearch54.0ms (0.6%)

simplify5.0ms (0.1%)

end1.0ms (0%)

sample1.8s (21.1%)

Profiling