Details

analyze625.0ms (5.8%)

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

11.0ms	35×	body	2048	valid
8.0ms	166×	body	128	valid
4.0ms	24×	body	1024	valid
4.0ms	12×	body	4096	valid
2.0ms	12×	body	512	valid
1.0ms	25×	body	128	nan
1.0ms	7×	body	256	valid
1.0ms	9×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify331.0ms (3.1%)

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

Counts

2 → 1

Alt Table

Status	Error	Program
▶	34.6b	(/.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))
1.0b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
1.0b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
22.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite169.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

34.3b

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:

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

Compiler

Compiled 1903 to 1105 computations (41.9% saved)

series221.0ms (2.1%)

Error

5.9b

Counts

4 → 67

Calls

4 calls:

65.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
45.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
44.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
41.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

Compiler

Compiled 2765 to 1997 computations (27.8% saved)

simplify93.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

578×	`associate-/r*_binary64`
572×	`associate-/l*_binary64`
204×	`cancel-sign-sub-inv_binary64`
196×	`distribute-rgt-neg-in_binary64`
186×	`distribute-rgt-in_binary64`

Counts

141 → 115

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	212	3114
1	550	2883
2	1724	2876
3	5050	2876

prune91.0ms (0.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	104	11	115
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	105	11	116

Error

8.1b

Counts

116 → 11

Alt Table

Status	Error	Program
	34.9b	(/.f64 (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) b) (.f64 3 a))
	44.9b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
	51.0b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	34.8b	(/.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))
	44.5b	(/.f64 (.f64 b -2) (.f64 3 a))
	45.5b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	46.2b	(/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) (*.f64 3 a))
▶	34.6b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) 3) a)
	46.1b	(/.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))
	34.7b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
	34.7b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))

Compiler

Compiled 2155 to 1239 computations (42.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 3 (.f64 a c))
1.0b	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
1.0b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
22.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite83.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

8.1b

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 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 1452 to 762 computations (47.5% saved)

series159.0ms (1.5%)

Error

8.0b

Counts

4 → 56

Calls

4 calls:

45.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
43.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
38.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
14.0ms	(.f64 3 (.f64 a c))

Compiler

Compiled 2225 to 1594 computations (28.4% saved)

simplify89.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

617×	`times-frac_binary64`
289×	`unswap-sqr_binary64`
268×	`*-commutative_binary64`
250×	`associate-/l*_binary64`
241×	`associate-/r*_binary64`

Counts

118 → 66

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	151	1888
1	345	1812
2	1046	1809
3	3923	1809
4	4990	1809

prune54.0ms (0.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	63	3	66
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	65	12	77

Error

8.0b

Counts

77 → 12

Alt Table

Status	Error	Program
	34.9b	(/.f64 (-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) b) (.f64 3 a))
	44.9b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
	51.0b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 3 a))
	34.8b	(/.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))
	44.5b	(/.f64 (.f64 b -2) (.f64 3 a))
	34.8b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -3)))) b) 3) a)
	45.5b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
▶	33.8b	(/.f64 (/.f64 (/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))) 3) a)
	46.1b	(/.f64 (/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) 3) a)
✓	34.6b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) 3) a)
	34.7b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))
	34.7b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) a)))

Compiler

Compiled 1191 to 739 computations (38% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
3.7b	(/.f64 (/.f64 (/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))) 3) a)
10.1b	(/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))
22.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite334.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

6.8b

Rules

274×	`times-frac_binary64`
138×	`*-un-lft-identity_binary64`
111×	`add-sqr-sqrt_binary64`
110×	`add-cube-cbrt_binary64`
35×	`associate-/l*_binary64`

Counts

4 → 214

Calls

4 calls:

20.0ms	(/.f64 (/.f64 (/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))) 3) a)
12.0ms	(/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))
6.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
4.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))

Compiler

Compiled 8781 to 4900 computations (44.2% saved)

series269.0ms (2.5%)

Error

8.0b

Counts

4 → 69

Calls

4 calls:

75.0ms	(/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))
72.0ms	(/.f64 (/.f64 (/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))) 3) a)
54.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
41.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))

Compiler

Compiled 3683 to 2551 computations (30.7% saved)

simplify277.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

417×	`associate-/l*_binary64`
371×	`times-frac_binary64`
316×	`associate-/r*_binary64`
305×	`div-sub_binary64`
190×	`associate-/l/_binary64`

Counts

283 → 224

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	528	12141
1	1318	11229
2	4479	11229
3	5312	11229

prune215.0ms (2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	218	6	224
Fresh	4	6	10
Picked	1	0	1
Done	0	1	1
Total	223	13	236

Error

6.8b

Counts

236 → 13

Alt Table

Status	Error	Program
	39.3b	(/.f64 (/.f64 (/.f64 a 1) 1) (/.f64 a (.f64 -1 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))))))
	38.7b	(.f64 a (/.f64 (.f64 -1 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))) a))
	34.2b	(/.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) 3)) (cbrt.f64 (/.f64 (/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) 3))) (/.f64 a (cbrt.f64 (.f64 -1 (/.f64 (.f64 a c) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))))))))
	44.9b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
	34.8b	(/.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))
	44.5b	(/.f64 (.f64 b -2) (.f64 3 a))
	45.5b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
▶	32.7b	(/.f64 (/.f64 (.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))) 3) a)
	33.0b	(/.f64 (/.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))))) (cbrt.f64 (.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))))))) (cbrt.f64 (.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))))) 3) a)
	39.1b	(/.f64 (/.f64 (exp.f64 (log.f64 (.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))))) 3) a)
	46.1b	(/.f64 (/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) 3) a)
✓	34.6b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) 3) a)
	34.7b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))

Compiler

Compiled 6985 to 3887 computations (44.4% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
1.0b	(.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))))
3.7b	(/.f64 (/.f64 (.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))) 3) a)
22.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite179.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

6.8b

Rules

37×	`times-frac_binary64`
33×	`add-cbrt-cube_binary64`
33×	`add-exp-log_binary64`
27×	`add-sqr-sqrt_binary64`
26×	`*-un-lft-identity_binary64`

Counts

4 → 109

Calls

4 calls:

14.0ms	(/.f64 (/.f64 (.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))) 3) a)
13.0ms	(.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.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 3855 to 2121 computations (45% saved)

series272.0ms (2.5%)

Error

5.9b

Counts

4 → 69

Calls

4 calls:

75.0ms	(.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))))))
71.0ms	(/.f64 (/.f64 (.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))) 3) a)
54.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
40.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))

Compiler

Compiled 3683 to 2551 computations (30.7% saved)

simplify178.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

301×	`associate-/l*_binary64`
212×	`cancel-sign-sub-inv_binary64`
192×	`distribute-rgt-neg-in_binary64`
191×	`times-frac_binary64`
178×	`associate-l_binary64`

Counts

178 → 122

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	324	5512
1	828	4731
2	3312	4544
3	4485	4544
4	4921	4544

prune92.0ms (0.9%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	120	2	122
Fresh	3	8	11
Picked	0	1	1
Done	0	1	1
Total	123	12	135

Error

6.8b

Counts

135 → 12

Alt Table

Status	Error	Program
	49.4b	(/.f64 (/.f64 (.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (*.f64 b b))))) 3) a)
	34.2b	(/.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) 3)) (cbrt.f64 (/.f64 (/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))) 3))) (/.f64 a (cbrt.f64 (.f64 -1 (/.f64 (.f64 a c) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))))))))
	44.9b	(+.f64 (.f64 1/2 (/.f64 c b)) (.f64 (/.f64 b a) -2/3))
	44.5b	(/.f64 (.f64 b -2) (.f64 3 a))
	45.5b	(-.f64 (.f64 -1/2 (/.f64 c b)) (.f64 3/8 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))
	32.7b	(/.f64 (/.f64 (.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))) 3) a)
	30.8b	(.f64 1 (neg.f64 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))))))
	33.0b	(/.f64 (/.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))))))) (cbrt.f64 (.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c))))))))) (cbrt.f64 (.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))))) 3) a)
	39.1b	(/.f64 (/.f64 (exp.f64 (log.f64 (.f64 a (/.f64 (.f64 c -3) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))))))) 3) a)
	46.1b	(/.f64 (/.f64 (.f64 (/.f64 (.f64 a c) b) -3/2) 3) a)
	34.6b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b) 3) a)
	34.7b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (/.f64 1/3 a))

Compiler

Compiled 2435 to 1375 computations (43.5% saved)

regimes5.2s (48.7%)

Accuracy

Total -0.3b remaining (-3.9%)

Threshold costs -0.3b (-3.9%)

Compiler

Compiled 36837 to 24723 computations (32.9% saved)

bsearch104.0ms (1%)

Steps

Iters	Range	Point
7	4.2006113036315483e+86	7.017364689152606e+87	6.954041524432077e+87
11	-5.996625477567612e-259	-1.2136294030222748e-278	-1.8887773729424454e-274
6	-2.375180552870373e+111	-5.700328134821306e+110	-1.154062495044637e+111

Iters

Range

Point

4.2006113036315483e+86

7.017364689152606e+87

6.954041524432077e+87

-5.996625477567612e-259

-1.2136294030222748e-278

-1.8887773729424454e-274

-2.375180552870373e+111

-5.700328134821306e+110

-1.154062495044637e+111

Compiler

Compiled 4 to 3 computations (25% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

15×	`*-commutative_binary64`
12×	`+-commutative_binary64`
10×	`sub-neg_binary64`
9×	`neg-sub0_binary64`
8×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	40	90
1	70	88
2	88	88
3	106	88
4	116	88
5	120	88
6	121	88
7	117	88

end1.0ms (0%)

Compiler: Compiled 62 to 38 computations (38.7% saved)

sample1.6s (14.6%)

Algorithm

1×

intervals

Results

286.0ms	1118×	body	2048	valid
279.0ms	5233×	body	128	valid
143.0ms	733×	body	1024	valid
134.0ms	413×	body	4096	valid
50.0ms	323×	body	512	valid
39.0ms	666×	body	128	nan
21.0ms	405×	body	128	invalid
18.0ms	180×	body	256	valid

Compiler

Compiled 407 to 268 computations (34.2% saved)

Details

analyze625.0ms (5.8%)

sample43.0ms (0.4%)

simplify331.0ms (3.1%)

prune4.0ms (0%)

localize10.0ms (0.1%)

rewrite169.0ms (1.6%)

series221.0ms (2.1%)

simplify93.0ms (0.9%)

prune91.0ms (0.8%)

localize13.0ms (0.1%)

rewrite83.0ms (0.8%)

series159.0ms (1.5%)

simplify89.0ms (0.8%)

prune54.0ms (0.5%)

localize15.0ms (0.1%)

rewrite334.0ms (3.1%)

series269.0ms (2.5%)

simplify277.0ms (2.6%)

prune215.0ms (2%)

localize14.0ms (0.1%)

rewrite179.0ms (1.7%)

series272.0ms (2.5%)

simplify178.0ms (1.7%)

prune92.0ms (0.9%)

regimes5.2s (48.7%)

bsearch104.0ms (1%)

simplify8.0ms (0.1%)

end1.0ms (0%)

sample1.6s (14.6%)

Profiling