Details

analyze351.0ms (5.3%)

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)

sample1.5s (22%)

Results

1.2s	7918×	body	128	valid
126.0ms	893×	body	128	invalid
87.0ms	338×	body	256	valid

Compiler

Compiled 106 to 76 computations (28.3% saved)

simplify258.0ms (3.9%)

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

28.8b

Counts

3 → 2

Alt Table

Status	Error	Program
	28.9b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
▶	28.8b	(.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)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
✓	0.2b	(fma.f64 a (.f64 c -4) (.f64 b b))
✓	0.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
✓	28.8b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)

series184.0ms (2.8%)

Counts

4 → 96

Calls

4 calls:

81.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
52.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)
41.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
10.0ms	(fma.f64 a (.f64 c -4) (.f64 b b))

rewrite85.0ms (1.3%)

Algorithm

2×	batch-egg-rewrite

Rules

165× egg-rr

Counts

4 → 165

Calls

2 calls:

80.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	62
1	279	62
2	3385	62
3	5102	62
0	0	0
1	0	0

simplify78.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

742×	`times-frac_binary64`
467×	`associate-/l*_binary64`
436×	`fma-def_binary64`
432×	`fma-neg_binary64`
426×	`associate-/r*_binary64`

Counts

261 → 237

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	2241
1	398	2164
2	1327	2078
3	4954	2078
4	5218	2078

prune192.0ms (2.9%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	218	19	237
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	220	19	239

Error

0.5b

Counts

239 → 19

Alt Table

Status	Error	Program
	29.5b	(+.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (/.f64 1/2 a)) (.f64 (neg.f64 b) (/.f64 1/2 a)))
	30.4b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	6.5b	(.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 1/2 a))
	28.0b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (/.f64 1/2 a)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))))
	30.5b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	30.3b	(.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))) (neg.f64 b)) (/.f64 1/2 a))
	29.6b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) 1 (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	28.9b	(/.f64 (/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) (sqrt.f64 a)) (sqrt.f64 a))
	28.9b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)) 3) (/.f64 1/2 a))
	30.1b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (cbrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
	4.8b	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (/.f64 1/2 a))
	28.9b	(/.f64 (/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a))
	28.3b	(.f64 (/.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 (neg.f64 b) 3)) (+.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) (neg.f64 b))))) (/.f64 1/2 a))
▶	4.7b	(-.f64 (.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)) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
	28.0b	(.f64 (/.f64 1 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)))) (/.f64 1/2 a))
	30.0b	(.f64 (.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b)) (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b))) (/.f64 1/2 a))
	28.0b	(/.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))))
	29.6b	(.f64 (+.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	4.8b	(.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 1/2 a))

Compiler

Compiled 7657 to 4573 computations (40.3% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series520.0ms (7.8%)

Counts

4 → 120

Calls

4 calls:

362.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
105.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
33.0ms	(/.f64 (*.f64 c c) (pow.f64 b 3))
19.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

rewrite69.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

111× egg-rr

Counts

4 → 111

Calls

2 calls:

67.0ms	((/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (.f64 (pow.f64 a 3) (pow.f64 c 4)) (/.f64 (.f64 c c) (pow.f64 b 3)) (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	52
1	463	52
2	4548	52
3	5315	52
0	0	0
1	0	0

simplify115.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

656×	`associate-l_binary64`
586×	`associate-/r*_binary64`
574×	`associate-r_binary64`
296×	`sqr-pow_binary64`
268×	`associate-/l/_binary64`

Counts

231 → 117

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	1632
1	61	1632
2	191	1632
3	885	1632
4	4139	1632
5	4226	1632
6	4425	1632
7	4760	1632
8	5007	1632

prune288.0ms (4.3%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	113	4	117
Fresh	0	18	18
Picked	0	1	1
Done	0	0	0
Total	113	23	136

Error

0.5b

Counts

136 → 23

Alt Table

Status	Error	Program
	29.5b	(+.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (/.f64 1/2 a)) (.f64 (neg.f64 b) (/.f64 1/2 a)))
	30.4b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	6.5b	(.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 1/2 a))
	28.0b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (/.f64 1/2 a)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))))
	30.5b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	30.3b	(.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))) (neg.f64 b)) (/.f64 1/2 a))
	29.6b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) 1 (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	28.9b	(/.f64 (/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) (sqrt.f64 a)) (sqrt.f64 a))
	28.9b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)) 3) (/.f64 1/2 a))
	28.0b	(.f64 (/.f64 1 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)))) (/.f64 1/2 a))
	13.9b	(-.f64 (.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)) (fma.f64 (log.f64 (exp.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)))) a (/.f64 c b))))
	6.7b	(-.f64 (.f64 -2 (log.f64 (exp.f64 (/.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)) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
	30.1b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (cbrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
▶	4.8b	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (/.f64 1/2 a))
	5.1b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (fma.f64 5 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
	28.9b	(/.f64 (/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a))
	28.3b	(.f64 (/.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 (neg.f64 b) 3)) (+.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) (neg.f64 b))))) (/.f64 1/2 a))
✓	4.7b	(-.f64 (.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)) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
	11.6b	(-.f64 (.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)) (fma.f64 (-.f64 (exp.f64 (log1p.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)))) 1) a (/.f64 c b))))
	30.0b	(.f64 (.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b)) (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b))) (/.f64 1/2 a))
	28.0b	(/.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))))
	29.6b	(.f64 (+.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	4.8b	(.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 1/2 a))

Compiler

Compiled 6903 to 4371 computations (36.7% saved)

localize29.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series216.0ms (3.3%)

Counts

4 → 60

Calls

4 calls:

109.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
76.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
20.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
11.0ms	(.f64 (.f64 c a) (*.f64 c a))

rewrite104.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

129× egg-rr

Counts

4 → 129

Calls

2 calls:

102.0ms	((.f64 (.f64 c a) (.f64 c a)) (.f64 (pow.f64 c 4) (pow.f64 a 4)) (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	40
1	357	40
2	4223	40
3	4993	40
4	5172	40
0	0	0
1	0	0

simplify159.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

620×	`times-frac_binary64`
581×	`sqr-pow_binary64`
507×	`unswap-sqr_binary64`
460×	`associate-/l*_binary64`
246×	`associate-/r*_binary64`

Counts

189 → 133

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	816
1	29	816
2	88	816
3	390	816
4	2482	816
5	3415	816
6	3369	816
7	3508	816
8	3672	816
9	3838	816
10	3998	816
11	4170	816
12	4395	816
13	4601	816
14	4900	816
15	4892	816

prune397.0ms (6%)

Pruning

25 alts after pruning (23 fresh and 2 done)

	Pruned	Kept	Total
New	131	2	133
Fresh	0	21	21
Picked	0	1	1
Done	0	1	1
Total	131	25	156

Error

0.5b

Counts

156 → 25

Alt Table

Status	Error	Program
	29.5b	(+.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (/.f64 1/2 a)) (.f64 (neg.f64 b) (/.f64 1/2 a)))
	30.4b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	6.5b	(.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 1/2 a))
	12.1b	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)))))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (/.f64 1/2 a))
	28.0b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (/.f64 1/2 a)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))))
	30.5b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	30.3b	(.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))) (neg.f64 b)) (/.f64 1/2 a))
	29.6b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) 1 (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	28.9b	(/.f64 (/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) (sqrt.f64 a)) (sqrt.f64 a))
	28.9b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)) 3) (/.f64 1/2 a))
	28.3b	(.f64 (/.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 (neg.f64 b) 3)) (+.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) (neg.f64 b))))) (/.f64 1/2 a))
	7.8b	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 c a) 2))) 1) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (/.f64 1/2 a))
	28.0b	(.f64 (/.f64 1 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)))) (/.f64 1/2 a))
	13.9b	(-.f64 (.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)) (fma.f64 (log.f64 (exp.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)))) a (/.f64 c b))))
	6.7b	(-.f64 (.f64 -2 (log.f64 (exp.f64 (/.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)) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
	30.1b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (cbrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
✓	4.8b	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (/.f64 1/2 a))
	5.1b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (fma.f64 5 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
	28.9b	(/.f64 (/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a))
✓	4.7b	(-.f64 (.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)) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
	11.6b	(-.f64 (.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)) (fma.f64 (-.f64 (exp.f64 (log1p.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)))) 1) a (/.f64 c b))))
	30.0b	(.f64 (.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b)) (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b))) (/.f64 1/2 a))
	28.0b	(/.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))))
	29.6b	(.f64 (+.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
▶	4.8b	(.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 1/2 a))

Compiler

Compiled 8800 to 5694 computations (35.3% saved)

localize31.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series89.0ms (1.3%)

Counts

2 → 0

Calls

2 calls:

77.0ms	(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
12.0ms	(*.f64 (pow.f64 c 2) (pow.f64 a 2))

rewrite56.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

74× egg-rr

Counts

2 → 74

Calls

2 calls:

54.0ms	((.f64 (pow.f64 c 2) (pow.f64 a 2)) (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	235	20
2	2592	20
3	5041	20
0	0	0
1	0	0

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune340.0ms (5.1%)

Pruning

25 alts after pruning (22 fresh and 3 done)

	Pruned	Kept	Total
New	132	2	134
Fresh	2	20	22
Picked	0	1	1
Done	0	2	2
Total	134	25	159

Error

0.5b

Counts

159 → 25

Alt Table

Status	Error	Program
	29.5b	(+.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (/.f64 1/2 a)) (.f64 (neg.f64 b) (/.f64 1/2 a)))
	30.4b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	6.5b	(.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 1/2 a))
	12.1b	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)))))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (/.f64 1/2 a))
	28.0b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (/.f64 1/2 a)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))))
	30.5b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	30.3b	(.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))) (neg.f64 b)) (/.f64 1/2 a))
	29.6b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) 1 (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	12.5b	(.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c 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 1/2 a))
	28.9b	(/.f64 (/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) (sqrt.f64 a)) (sqrt.f64 a))
	28.9b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)) 3) (/.f64 1/2 a))
	28.0b	(.f64 (/.f64 1 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)))) (/.f64 1/2 a))
	6.7b	(-.f64 (.f64 -2 (log.f64 (exp.f64 (/.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)) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
	30.1b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (cbrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
✓	4.8b	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (/.f64 1/2 a))
	5.1b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (fma.f64 5 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
	7.8b	(.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 c a) 2))) 1) (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 1/2 a))
	28.9b	(/.f64 (/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a))
	28.3b	(.f64 (/.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 (neg.f64 b) 3)) (+.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) (neg.f64 b))))) (/.f64 1/2 a))
✓	4.7b	(-.f64 (.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)) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
	11.6b	(-.f64 (.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)) (fma.f64 (-.f64 (exp.f64 (log1p.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)))) 1) a (/.f64 c b))))
	30.0b	(.f64 (.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b)) (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b))) (/.f64 1/2 a))
	28.0b	(/.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))))
	29.6b	(.f64 (+.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
✓	4.8b	(.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 1/2 a))

Compiler

Compiled 8661 to 5997 computations (30.8% saved)

regimes924.0ms (13.9%)

Accuracy

Total 5.3b remaining (89.1%)

Threshold costs 0b (0%)

Counts

149 → 1

Compiler

Compiled 21304 to 14758 computations (30.7% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	57
1	32	57
2	37	57
3	39	57
4	40	57
5	40	57

end645.0ms (9.7%)

Compiler: Compiled 1171 to 807 computations (31.1% saved)

Details

analyze351.0ms (5.3%)

sample1.5s (22%)

simplify258.0ms (3.9%)

prune4.0ms (0.1%)

localize9.0ms (0.1%)

series184.0ms (2.8%)

rewrite85.0ms (1.3%)

simplify78.0ms (1.2%)

prune192.0ms (2.9%)

localize23.0ms (0.3%)

series520.0ms (7.8%)

rewrite69.0ms (1%)

simplify115.0ms (1.7%)

prune288.0ms (4.3%)

localize29.0ms (0.4%)

series216.0ms (3.3%)

rewrite104.0ms (1.6%)

simplify159.0ms (2.4%)

prune397.0ms (6%)

localize31.0ms (0.5%)

series89.0ms (1.3%)

rewrite56.0ms (0.8%)

simplify6.0ms (0.1%)

prune340.0ms (5.1%)

regimes924.0ms (13.9%)

simplify3.0ms (0%)

end645.0ms (9.7%)

Profiling