Details

analyze343.0ms (5.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 43 to 31 computations (27.9% saved)

sample2.5s (41.3%)

Results

1.2s	3937×	body	256	valid
618.0ms	1533×	body	512	valid
460.0ms	2786×	body	128	valid
125.0ms	896×	body	128	invalid

Compiler

Compiled 106 to 76 computations (28.3% saved)

simplify260.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

1743×	`fma-neg_binary64`
1393×	`fma-def_binary64`
800×	`div-sub_binary64`
619×	`times-frac_binary64`
473×	`associate-/r/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	33	22
2	67	22
3	138	22
4	204	22
5	338	22
6	558	22
7	924	22
8	1388	22
9	1604	22
10	2375	22
11	2742	22
12	2533	22
13	2621	22
14	3171	22
15	3313	22
16	3873	22
17	3679	22
18	4029	22
19	4317	22
20	4485	22
21	4561	22
22	4805	22
23	4793	22
24	4797	22
25	4797	22
26	4948	22

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

55.3b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	55.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	55.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
✓	0.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
✓	0.1b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	26.8b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))

series207.0ms (3.4%)

Counts

4 → 96

Calls

4 calls:

97.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
52.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
47.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
10.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

rewrite28.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
10×	`add-log-exp_binary64`
10×	`fma-def_binary64`
10×	`add-cube-cbrt_binary64`

Counts

4 → 90

Calls

4 calls:

10.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
7.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
3.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

simplify120.0ms (2%)

Algorithm

1×	egg-herbie

Rules

701×	`fma-neg_binary64`
334×	`cancel-sign-sub-inv_binary64`
215×	`distribute-rgt-neg-in_binary64`
159×	`associate-r_binary64`
150×	`distribute-rgt-neg-out_binary64`

Counts

186 → 206

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	243	4208
1	695	3858
2	2512	3724
3	4694	3704
4	5031	3704

prune127.0ms (2.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	199	7	206
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	201	7	208

Error

0.1b

Counts

208 → 7

Alt Table

Status	Error	Program
	1.0b	(/.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 2 a))
	55.3b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
	55.3b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
	55.3b	(/.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
	54.4b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	57.1b	(/.f64 (log1p.f64 (expm1.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
▶	0.7b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))

Compiler

Compiled 5888 to 3450 computations (41.4% saved)

localize23.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
✓	0.3b	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
✓	0.4b	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
✓	0.4b	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))

series280.0ms (4.6%)

Counts

4 → 132

Calls

4 calls:

103.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
90.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
68.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
18.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

rewrite41.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

155×	`add-exp-log_binary64`
72×	`prod-exp_binary64`
60×	`div-exp_binary64`
50×	`pow-exp_binary64`
50×	`pow-to-exp_binary64`

Counts

4 → 210

Calls

4 calls:

7.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
7.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
7.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
6.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))

simplify187.0ms (3%)

Algorithm

1×	egg-herbie

Rules

465×	`times-frac_binary64`
406×	`associate-/l*_binary64`
344×	`associate-l_binary64`
300×	`associate-r_binary64`
267×	`associate-/r*_binary64`

Counts

342 → 241

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	311	5722
1	668	5365
2	3933	5329
3	4956	5329
4	5075	5329

prune346.0ms (5.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	241	0	241
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	241	7	248

Error

0.1b

Counts

248 → 7

Alt Table

Status	Error	Program
▶	1.0b	(/.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 2 a))
	55.3b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
	55.3b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
	55.3b	(/.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
	54.4b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	57.1b	(/.f64 (log1p.f64 (expm1.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
✓	0.7b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))

Compiler

Compiled 11790 to 7003 computations (40.6% saved)

localize32.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
✓	0.4b	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
✓	0.4b	(*.f64 (pow.f64 c 2) (pow.f64 a 2))
✓	0.4b	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))

series238.0ms (3.9%)

Counts

4 → 0

Calls

4 calls:

106.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
100.0ms	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
20.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
11.0ms	(*.f64 (pow.f64 c 2) (pow.f64 a 2))

rewrite40.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

146×	`add-exp-log_binary64`
72×	`prod-exp_binary64`
68×	`pow-exp_binary64`
68×	`pow-to-exp_binary64`
60×	`div-exp_binary64`

Counts

4 → 215

Calls

4 calls:

8.0ms	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
6.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
6.0ms	(*.f64 (pow.f64 c 2) (pow.f64 a 2))
5.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))

simplify113.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

644×	`associate-/r/_binary64`
400×	`unswap-sqr_binary64`
248×	`associate-/l*_binary64`
242×	`associate-l_binary64`
211×	`associate-r_binary64`

Counts

215 → 217

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	282	3552
1	543	3198
2	2490	3151
3	4805	3151
4	4969	3151

prune358.0ms (5.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	217	0	217
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	217	7	224

Error

0.1b

Counts

224 → 7

Alt Table

Status	Error	Program
✓	1.0b	(/.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 2 a))
	55.3b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
	55.3b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
	55.3b	(/.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
▶	54.4b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	57.1b	(/.f64 (log1p.f64 (expm1.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
✓	0.7b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))

Compiler

Compiled 13643 to 9717 computations (28.8% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	0.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
	0.1b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	54.4b	(fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))

series148.0ms (2.4%)

Counts

2 → 22

Calls

2 calls:

90.0ms

(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))

58.0ms

(fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`

Counts

2 → 33

Calls

2 calls:

3.0ms

(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))

0.0ms

(fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))

simplify125.0ms (2%)

Algorithm

1×	egg-herbie

Rules

673×	`times-frac_binary64`
515×	`associate-/l*_binary64`
398×	`associate-/r*_binary64`
244×	`fma-def_binary64`
200×	`associate-*l/_binary64`

Counts

55 → 81

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	130	1876
1	349	1464
2	1178	1361
3	4851	1361
4	5000	1361
5	4995	1361
6	5000	1361
7	4997	1361
8	4958	1361

prune100.0ms (1.6%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	159	3	162
Fresh	2	2	4
Picked	0	1	1
Done	0	2	2
Total	161	8	169

Error

0.1b

Counts

169 → 8

Alt Table

Status	Error	Program
✓	1.0b	(/.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 2 a))
	55.3b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b))) b) 3)) (*.f64 2 a))
	55.3b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
	57.1b	(/.f64 (log1p.f64 (expm1.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b))) b))) (*.f64 2 a))
	55.3b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
✓	54.4b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	1.1b	(/.f64 (fma.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (.f64 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) -4)) (.f64 2 a))
✓	0.7b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))

Compiler

Compiled 4766 to 2487 computations (47.8% saved)

regimes235.0ms (3.8%)

Accuracy

Total 1.1b remaining (84.2%)

Threshold costs 0b (0%)

Counts

50 → 1

Compiler

Compiled 5748 to 3922 computations (31.8% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

24×	`*-commutative_binary64`
22×	`+-commutative_binary64`
19×	`sub-neg_binary64`
19×	`neg-sub0_binary64`
19×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	30	63
1	45	61
2	64	61
3	91	61
4	121	61
5	154	61
6	176	61
7	189	61
8	193	61
9	191	61

end210.0ms (3.4%)

Compiler: Compiled 404 to 276 computations (31.7% saved)

Details

analyze343.0ms (5.6%)

sample2.5s (41.3%)

simplify260.0ms (4.2%)

prune4.0ms (0.1%)

localize10.0ms (0.2%)

series207.0ms (3.4%)

rewrite28.0ms (0.5%)

simplify120.0ms (2%)

prune127.0ms (2.1%)

localize23.0ms (0.4%)

series280.0ms (4.6%)

rewrite41.0ms (0.7%)

simplify187.0ms (3%)

prune346.0ms (5.6%)

localize32.0ms (0.5%)

series238.0ms (3.9%)

rewrite40.0ms (0.7%)

simplify113.0ms (1.8%)

prune358.0ms (5.8%)

localize13.0ms (0.2%)

series148.0ms (2.4%)

rewrite6.0ms (0.1%)

simplify125.0ms (2%)

prune100.0ms (1.6%)

regimes235.0ms (3.8%)

simplify5.0ms (0.1%)

end210.0ms (3.4%)

Profiling