Details

analyze357.0ms (9.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.4s (36.6%)

Results

1.2s	7973×	body	128	valid
120.0ms	836×	body	128	invalid
79.0ms	283×	body	256	valid

preprocess28.0ms (0.7%)

Algorithm

2×	egg-herbie

Rules

303×	`rule-/abc-b/ac_binary64`
254×	`rule-*a/cb-/a/bc_binary64`
254×	`rule-/ab-*+aa/1/2b_binary64`
208×	`rule-a-bc-nega-cb_binary64`
200×	`rule-a-*a1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	104
1	270	96
2	1183	88
0	3	3

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
(/.f64 (+.f64 (neg.f64 a) (sqrt.f64 (-.f64 (.f64 a a) (.f64 (.f64 4 b) c)))) (.f64 2 b))
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 c) a)))) (.f64 2 c))
(/.f64 (+.f64 (neg.f64 c) (sqrt.f64 (-.f64 (.f64 c c) (.f64 (.f64 4 a) b)))) (.f64 2 a))

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

Compiler

Compiled 20 to 14 computations (30% saved)

simplify24.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

390×	`rule-/ab-*+aa/1/2b_binary64`
349×	`rule-a-*a1_binary64`
349×	`rule-a--a0_binary64`
349×	`rule-a-+a0_binary64`
346×	`rule-a-/a1_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	100	24
2	395	22
3	2168	22

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))

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

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

Counts

3 → 2

Alt Table

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

Compiler

Compiled 111 to 75 computations (32.4% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series26.0ms (0.7%)

Counts

4 → 96

Calls

36 calls:

Time	Variable		Point	Expression
2.0ms	c	@	inf	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) b)
2.0ms	c	@	inf	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))) b) (/.f64 1/2 a))
1.0ms	b	@	inf	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) b)
1.0ms	a	@	inf	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))) b) (/.f64 1/2 a))
1.0ms	a	@	inf	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) b)

rewrite71.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

262×	`rule-nega-/a-1_binary64`
262×	`rule-nega-*a-1_binary64`
151×	`add-sqr-sqrt_binary64`
144×	`pow1_binary64`
144×	`rules-30_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	62
1	343	59
2	4657	59

Stop Event

1×	node limit

Counts

4 → 166

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (neg.f64 b))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (fma.f64 -1 b b))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 b (neg.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))) (.f64 b -2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)) (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)) 2) (cbrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)) (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2) (pow.f64 b 3)) (-.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2) (pow.f64 b 3))) (/.f64 1/2 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (fma.f64 b b (.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (sqrt.f64 b)) (+.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (sqrt.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 3) (pow.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2) (pow.f64 b 3)) (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (fma.f64 b b (.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) 3) (pow.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) 3)) (+.f64 (.f64 (+.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) (+.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))) (+.f64 (.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))) (.f64 (+.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) 1 (neg.f64 b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) (neg.f64 b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)) 2) (cbrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (neg.f64 b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)) (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (*.f64 a c)))) b)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)) (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a))) (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (/.f64 1/2 a)) (.f64 (/.f64 1/2 a) b))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (+.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) (/.f64 1/2 a)) (.f64 (/.f64 1/2 a) (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (/.f64 a 1/2)) (/.f64 b (/.f64 a 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) (/.f64 a 1/2)) (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) (/.f64 a 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 a 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1 (/.f64 1/2 a)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 a (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1/2 a) (/.f64 1 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1/2 a) (/.f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (fma.f64 b b (.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))))) (-.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2) (pow.f64 b 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 a (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)) 3) (pow.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 1/2) a)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2) (pow.f64 b 3)) (.f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (fma.f64 b b (.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))))) (/.f64 a 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 1/2)) (neg.f64 a))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2) (pow.f64 b 3)) (/.f64 1/2 a)) (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (fma.f64 b b (.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 1/2) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 1/2) (sqrt.f64 a)) (sqrt.f64 a))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2) (pow.f64 b 3)) (/.f64 a 1/2)) (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (fma.f64 b b (.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (/.f64 1/2 a)) (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 3) (pow.f64 (/.f64 1/2 a) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (/.f64 1/2 a) 3) (pow.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1/2 a) (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a))) 2) (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a))) (sqrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) b) (/.f64 1/2 a))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (*.f64 a c)))) b) (/.f64 1/2 a))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (pow.f64 1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) 2) 1/2) (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2) (fma.f64 b b (.f64 -4 (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) 0)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))) 1/2))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -4 (.f64 a c)) (.f64 b b))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 b b (.f64 -4 (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 b b) (.f64 -4 (.f64 a c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (fma.f64 b b (.f64 -4 (.f64 a c)))) (fma.f64 b b (.f64 -4 (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 b b (.f64 -4 (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))) (neg.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) 2) (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) (.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (fma.f64 b b (.f64 -4 (.f64 a c)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) (/.f64 1 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3) (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 b b) 3) (pow.f64 (.f64 -4 (.f64 a c)) 3)) (+.f64 (.f64 (.f64 b b) (.f64 b b)) (-.f64 (pow.f64 (.f64 -4 (.f64 a c)) 2) (.f64 (.f64 b b) (.f64 -4 (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 a c)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2) (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))))))))

simplify46.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

307×	`fma-neg_binary64`
281×	`rule-a-*a1_binary64`
281×	`rule-a--a0_binary64`
281×	`rule-a-+a0_binary64`
281×	`rule-a-/a1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	166	2408
1	1289	2383

Stop Event

1×	node limit

Counts

262 → 247

Calls

Call 1

Inputs
(sqrt.f64 (.f64 -4 (.f64 c a)))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (*.f64 -1 b))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) (sqrt.f64 (.f64 -4 (.f64 c a))))) (.f64 -1 b)))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) (sqrt.f64 (.f64 -4 (.f64 c a))))) (+.f64 (.f64 -1 b) (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) 3))))))
(.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 -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 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b))))
(+.f64 (.f64 -1/2 (/.f64 (+.f64 (pow.f64 (.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (pow.f64 b 7))) (+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (*.f64 c a) b)))))
(*.f64 -2 b)
(+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (*.f64 -2 b))
(+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 -2 b) (.f64 2 (/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3)))))
(+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 -2 b) (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 2 (/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))))))
(.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 -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 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.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 -1/2 (/.f64 (.f64 (pow.f64 a 4) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (pow.f64 (.f64 -2 (/.f64 (pow.f64 c 2) (pow.f64 b 3))) 2))) b)) (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b)))))
(.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 -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 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.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 -1/2 (/.f64 (.f64 (pow.f64 c 4) (+.f64 (.f64 16 (/.f64 (pow.f64 a 4) (pow.f64 b 6))) (pow.f64 (.f64 -2 (/.f64 (pow.f64 a 2) (pow.f64 b 3))) 2))) b)) (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b)))))
(.f64 1/2 (/.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) a))
(+.f64 (.f64 -1/2 (/.f64 b a)) (.f64 1/2 (/.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) a)))
(+.f64 (.f64 1/4 (/.f64 (pow.f64 b 2) (.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) a))) (+.f64 (.f64 -1/2 (/.f64 b a)) (.f64 1/2 (/.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) a))))
(+.f64 (.f64 1/4 (/.f64 (pow.f64 b 2) (.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) a))) (+.f64 (.f64 -1/16 (/.f64 (pow.f64 b 4) (.f64 (pow.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) 3) a))) (+.f64 (.f64 -1/2 (/.f64 b a)) (.f64 1/2 (/.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) a)))))
(*.f64 -1 (/.f64 c b))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (*.f64 -1 (/.f64 c b)))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (+.f64 (.f64 -1 (/.f64 c b)) (.f64 -2 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5)))))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (+.f64 (.f64 -1/4 (/.f64 (+.f64 (pow.f64 (.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (.f64 a (pow.f64 b 7)))) (+.f64 (.f64 -1 (/.f64 c b)) (.f64 -2 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))))))
(*.f64 -1 (/.f64 b a))
(+.f64 (/.f64 c b) (*.f64 -1 (/.f64 b a)))
(+.f64 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3)) (+.f64 (/.f64 c b) (.f64 -1 (/.f64 b a))))
(+.f64 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3)) (+.f64 (/.f64 c b) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))) (.f64 -1 (/.f64 b a)))))
(*.f64 -1 (/.f64 c b))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (*.f64 -1 (/.f64 c b)))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (+.f64 (.f64 -1 (/.f64 c b)) (.f64 -2 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5)))))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (+.f64 (.f64 -1 (/.f64 c b)) (+.f64 (.f64 -1/4 (/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (pow.f64 (.f64 -2 (/.f64 (pow.f64 c 2) (pow.f64 b 3))) 2))) b)) (.f64 -2 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))))))
(*.f64 -1 (/.f64 c b))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (*.f64 -1 (/.f64 c b)))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (+.f64 (.f64 -1 (/.f64 c b)) (.f64 -2 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5)))))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (+.f64 (.f64 -1/4 (/.f64 (.f64 (pow.f64 c 4) (+.f64 (.f64 16 (/.f64 (pow.f64 a 4) (pow.f64 b 6))) (pow.f64 (.f64 -2 (/.f64 (pow.f64 a 2) (pow.f64 b 3))) 2))) (.f64 a b))) (+.f64 (.f64 -1 (/.f64 c b)) (.f64 -2 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))))))
(sqrt.f64 (.f64 -4 (.f64 c a)))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (.f64 1/2 (/.f64 (pow.f64 b 2) (sqrt.f64 (.f64 -4 (*.f64 c a))))))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) (sqrt.f64 (.f64 -4 (.f64 c a))))) (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) 3)))))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) (sqrt.f64 (.f64 -4 (.f64 c a))))) (+.f64 (.f64 1/16 (/.f64 (pow.f64 b 6) (pow.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) 5))) (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) 3))))))
b
(+.f64 b (.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 b (.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 b (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b)))))
(*.f64 -1 b)
(+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (*.f64 -1 b))
(+.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 -1 b)))
(+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (*.f64 -1 b))))
b
(+.f64 b (.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 b (.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 b (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b)))))
b
(+.f64 b (.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 b (.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 b (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b)))))
(.f64 -4 (.f64 c a))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(pow.f64 b 2)
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(pow.f64 b 2)
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(pow.f64 b 2)
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(.f64 -4 (.f64 c a))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(.f64 -4 (.f64 c a))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(pow.f64 b 2)
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(.f64 -4 (.f64 c a))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(.f64 -4 (.f64 c a))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))

Outputs
(sqrt.f64 (.f64 -4 (.f64 c a)))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (*.f64 -1 b))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (neg.f64 b))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) (sqrt.f64 (.f64 -4 (.f64 c a))))) (.f64 -1 b)))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (fma.f64 1/2 (/.f64 (.f64 b b) (sqrt.f64 (.f64 -4 (.f64 c a)))) (.f64 -1 b)))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (fma.f64 1/2 (/.f64 (.f64 b b) (sqrt.f64 (.f64 -4 (*.f64 c a)))) (neg.f64 b)))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) (sqrt.f64 (.f64 -4 (.f64 c a))))) (+.f64 (.f64 -1 b) (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) 3))))))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (fma.f64 1/2 (/.f64 (.f64 b b) (sqrt.f64 (.f64 -4 (.f64 c a)))) (fma.f64 -1 b (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) 3))))))
(.f64 -2 (/.f64 (.f64 c a) b))
(.f64 -2 (.f64 a (/.f64 c b)))
(.f64 a (.f64 -2 (/.f64 c b)))
(+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (.f64 -2 (/.f64 (.f64 c a) b)))
(fma.f64 -2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (.f64 -2 (*.f64 a (/.f64 c b))))
(.f64 -2 (+.f64 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (*.f64 c (/.f64 a b))))
(+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b))))
(fma.f64 -2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (fma.f64 -4 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 3) (pow.f64 b 5))) (.f64 -2 (.f64 a (/.f64 c b)))))
(fma.f64 -2 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (fma.f64 -4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (.f64 a (.f64 -2 (/.f64 c b)))))
(+.f64 (.f64 -1/2 (/.f64 (+.f64 (pow.f64 (.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (pow.f64 b 7))) (+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (*.f64 c a) b)))))
(fma.f64 -1/2 (/.f64 (+.f64 (pow.f64 (.f64 -2 (.f64 (.f64 c c) (.f64 a a))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (pow.f64 b 7)) (fma.f64 -2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (fma.f64 -4 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 3) (pow.f64 b 5))) (.f64 -2 (.f64 a (/.f64 c b))))))
(fma.f64 -1/2 (/.f64 (+.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (pow.f64 b 7)) (fma.f64 -2 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (fma.f64 -4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (.f64 a (.f64 -2 (/.f64 c b))))))
(*.f64 -2 b)
(*.f64 b -2)
(+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (*.f64 -2 b))
(fma.f64 2 (.f64 a (/.f64 c b)) (.f64 b -2))
(fma.f64 2 (.f64 c (/.f64 a b)) (.f64 b -2))
(+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 -2 b) (.f64 2 (/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3)))))
(fma.f64 2 (.f64 a (/.f64 c b)) (fma.f64 -2 b (.f64 2 (.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3))))))
(fma.f64 2 (.f64 c (/.f64 a b)) (fma.f64 -2 b (/.f64 2 (/.f64 (/.f64 (pow.f64 b 3) (.f64 c c)) (*.f64 a a)))))
(+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 -2 b) (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 2 (/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))))))
(fma.f64 2 (.f64 a (/.f64 c b)) (fma.f64 -2 b (fma.f64 4 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 3) (pow.f64 b 5))) (.f64 2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3)))))))
(fma.f64 2 (.f64 c (/.f64 a b)) (fma.f64 -2 b (fma.f64 4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (/.f64 2 (/.f64 (/.f64 (pow.f64 b 3) (.f64 c c)) (.f64 a a))))))
(.f64 -2 (/.f64 (.f64 c a) b))
(.f64 -2 (.f64 a (/.f64 c b)))
(.f64 a (.f64 -2 (/.f64 c b)))
(+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (.f64 -2 (/.f64 (.f64 c a) b)))
(fma.f64 -2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (.f64 -2 (*.f64 a (/.f64 c b))))
(.f64 -2 (+.f64 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (*.f64 c (/.f64 a b))))
(+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b))))
(fma.f64 -2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (fma.f64 -4 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 3) (pow.f64 b 5))) (.f64 -2 (.f64 a (/.f64 c b)))))
(fma.f64 -2 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (fma.f64 -4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (.f64 a (.f64 -2 (/.f64 c b)))))
(+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 -1/2 (/.f64 (.f64 (pow.f64 a 4) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (pow.f64 (.f64 -2 (/.f64 (pow.f64 c 2) (pow.f64 b 3))) 2))) b)) (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b)))))
(fma.f64 -2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (fma.f64 -1/2 (.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (/.f64 (.f64 c c) (pow.f64 b 3))) 2)) (/.f64 (pow.f64 a 4) b)) (fma.f64 -4 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 3) (pow.f64 b 5))) (.f64 -2 (*.f64 a (/.f64 c b))))))
(fma.f64 -2 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (fma.f64 -1/2 (.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (.f64 c (/.f64 c (pow.f64 b 3)))) 2)) (/.f64 (pow.f64 a 4) b)) (fma.f64 -4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (.f64 a (*.f64 -2 (/.f64 c b))))))
(.f64 -2 (/.f64 (.f64 c a) b))
(.f64 -2 (.f64 a (/.f64 c b)))
(.f64 a (.f64 -2 (/.f64 c b)))
(+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (.f64 -2 (/.f64 (.f64 c a) b)))
(fma.f64 -2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (.f64 -2 (*.f64 a (/.f64 c b))))
(.f64 -2 (+.f64 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (*.f64 c (/.f64 a b))))
(+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b))))
(fma.f64 -2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (fma.f64 -4 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 3) (pow.f64 b 5))) (.f64 -2 (.f64 a (/.f64 c b)))))
(fma.f64 -2 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (fma.f64 -4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (.f64 a (.f64 -2 (/.f64 c b)))))
(+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 -1/2 (/.f64 (.f64 (pow.f64 c 4) (+.f64 (.f64 16 (/.f64 (pow.f64 a 4) (pow.f64 b 6))) (pow.f64 (.f64 -2 (/.f64 (pow.f64 a 2) (pow.f64 b 3))) 2))) b)) (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b)))))
(fma.f64 -2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (fma.f64 -1/2 (.f64 (fma.f64 16 (/.f64 (pow.f64 a 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (/.f64 (.f64 a a) (pow.f64 b 3))) 2)) (/.f64 (pow.f64 c 4) b)) (fma.f64 -4 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 3) (pow.f64 b 5))) (.f64 -2 (*.f64 a (/.f64 c b))))))
(fma.f64 -2 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (fma.f64 -1/2 (.f64 (pow.f64 c 4) (/.f64 (fma.f64 16 (/.f64 (pow.f64 a 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (.f64 a (/.f64 a (pow.f64 b 3)))) 2)) b)) (fma.f64 -4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (.f64 a (*.f64 -2 (/.f64 c b))))))
(.f64 1/2 (/.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) a))
(/.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (/.f64 a 1/2))
(+.f64 (.f64 -1/2 (/.f64 b a)) (.f64 1/2 (/.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) a)))
(fma.f64 -1/2 (/.f64 b a) (.f64 1/2 (/.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) a)))
(/.f64 (+.f64 (.f64 b -1/2) (.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) 1/2)) a)
(+.f64 (.f64 1/4 (/.f64 (pow.f64 b 2) (.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) a))) (+.f64 (.f64 -1/2 (/.f64 b a)) (.f64 1/2 (/.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) a))))
(fma.f64 1/4 (/.f64 (.f64 b b) (.f64 a (sqrt.f64 (.f64 -4 (.f64 c a))))) (fma.f64 -1/2 (/.f64 b a) (.f64 1/2 (/.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) a))))
(fma.f64 1/4 (.f64 b (/.f64 b (.f64 a (sqrt.f64 (.f64 -4 (.f64 c a)))))) (/.f64 (+.f64 (.f64 b -1/2) (.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) 1/2)) a))
(+.f64 (.f64 1/4 (/.f64 (pow.f64 b 2) (.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) a))) (+.f64 (.f64 -1/16 (/.f64 (pow.f64 b 4) (.f64 (pow.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) 3) a))) (+.f64 (.f64 -1/2 (/.f64 b a)) (.f64 1/2 (/.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) a)))))
(fma.f64 1/4 (/.f64 (.f64 b b) (.f64 a (sqrt.f64 (.f64 -4 (.f64 c a))))) (fma.f64 -1/16 (/.f64 (pow.f64 b 4) (.f64 a (pow.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) 3))) (fma.f64 -1/2 (/.f64 b a) (.f64 1/2 (/.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) a)))))
(fma.f64 1/4 (.f64 b (/.f64 b (.f64 a (sqrt.f64 (.f64 -4 (.f64 c a)))))) (fma.f64 -1/16 (/.f64 (pow.f64 b 4) (.f64 a (pow.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) 3))) (/.f64 (+.f64 (.f64 b -1/2) (.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) 1/2)) a)))
(*.f64 -1 (/.f64 c b))
(neg.f64 (/.f64 c b))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (*.f64 -1 (/.f64 c b)))
(fma.f64 -1 (.f64 a (/.f64 (.f64 c c) (pow.f64 b 3))) (*.f64 -1 (/.f64 c b)))
(.f64 -1 (+.f64 (/.f64 c b) (.f64 a (*.f64 c (/.f64 c (pow.f64 b 3))))))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (+.f64 (.f64 -1 (/.f64 c b)) (.f64 -2 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5)))))
(fma.f64 -1 (.f64 a (/.f64 (.f64 c c) (pow.f64 b 3))) (fma.f64 -1 (/.f64 c b) (.f64 -2 (.f64 (*.f64 a a) (/.f64 (pow.f64 c 3) (pow.f64 b 5))))))
(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1 (/.f64 c b) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (*.f64 a a) (pow.f64 b 5))))))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (+.f64 (.f64 -1/4 (/.f64 (+.f64 (pow.f64 (.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (.f64 a (pow.f64 b 7)))) (+.f64 (.f64 -1 (/.f64 c b)) (.f64 -2 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))))))
(fma.f64 -1 (.f64 a (/.f64 (.f64 c c) (pow.f64 b 3))) (fma.f64 -1/4 (/.f64 (+.f64 (pow.f64 (.f64 -2 (.f64 (.f64 c c) (.f64 a a))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (.f64 a (pow.f64 b 7))) (fma.f64 -1 (/.f64 c b) (.f64 -2 (.f64 (.f64 a a) (/.f64 (pow.f64 c 3) (pow.f64 b 5)))))))
(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1/4 (/.f64 (+.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (.f64 a (pow.f64 b 7))) (fma.f64 -1 (/.f64 c b) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (.f64 a a) (pow.f64 b 5)))))))
(*.f64 -1 (/.f64 b a))
(/.f64 (neg.f64 b) a)
(+.f64 (/.f64 c b) (*.f64 -1 (/.f64 b a)))
(+.f64 (/.f64 c b) (/.f64 (neg.f64 b) a))
(+.f64 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3)) (+.f64 (/.f64 c b) (.f64 -1 (/.f64 b a))))
(+.f64 (/.f64 c b) (+.f64 (.f64 a (/.f64 (.f64 c c) (pow.f64 b 3))) (*.f64 -1 (/.f64 b a))))
(+.f64 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (+.f64 (/.f64 c b) (/.f64 (neg.f64 b) a)))
(+.f64 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3)) (+.f64 (/.f64 c b) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))) (.f64 -1 (/.f64 b a)))))
(+.f64 (.f64 a (/.f64 (.f64 c c) (pow.f64 b 3))) (+.f64 (/.f64 c b) (fma.f64 2 (.f64 (.f64 a a) (/.f64 (pow.f64 c 3) (pow.f64 b 5))) (*.f64 -1 (/.f64 b a)))))
(+.f64 (/.f64 c b) (+.f64 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 2 (.f64 (pow.f64 c 3) (/.f64 (.f64 a a) (pow.f64 b 5))) (/.f64 (neg.f64 b) a))))
(*.f64 -1 (/.f64 c b))
(neg.f64 (/.f64 c b))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (*.f64 -1 (/.f64 c b)))
(fma.f64 -1 (.f64 a (/.f64 (.f64 c c) (pow.f64 b 3))) (*.f64 -1 (/.f64 c b)))
(.f64 -1 (+.f64 (/.f64 c b) (.f64 a (*.f64 c (/.f64 c (pow.f64 b 3))))))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (+.f64 (.f64 -1 (/.f64 c b)) (.f64 -2 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5)))))
(fma.f64 -1 (.f64 a (/.f64 (.f64 c c) (pow.f64 b 3))) (fma.f64 -1 (/.f64 c b) (.f64 -2 (.f64 (*.f64 a a) (/.f64 (pow.f64 c 3) (pow.f64 b 5))))))
(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1 (/.f64 c b) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (*.f64 a a) (pow.f64 b 5))))))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (+.f64 (.f64 -1 (/.f64 c b)) (+.f64 (.f64 -1/4 (/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (pow.f64 (.f64 -2 (/.f64 (pow.f64 c 2) (pow.f64 b 3))) 2))) b)) (.f64 -2 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))))))
(fma.f64 -1 (.f64 a (/.f64 (.f64 c c) (pow.f64 b 3))) (fma.f64 -1 (/.f64 c b) (fma.f64 -1/4 (.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (/.f64 (.f64 c c) (pow.f64 b 3))) 2)) (/.f64 (pow.f64 a 3) b)) (.f64 -2 (.f64 (.f64 a a) (/.f64 (pow.f64 c 3) (pow.f64 b 5)))))))
(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1 (/.f64 c b) (fma.f64 -1/4 (.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (.f64 c (/.f64 c (pow.f64 b 3)))) 2)) (/.f64 (pow.f64 a 3) b)) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (.f64 a a) (pow.f64 b 5)))))))
(*.f64 -1 (/.f64 c b))
(neg.f64 (/.f64 c b))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (*.f64 -1 (/.f64 c b)))
(fma.f64 -1 (.f64 a (/.f64 (.f64 c c) (pow.f64 b 3))) (*.f64 -1 (/.f64 c b)))
(.f64 -1 (+.f64 (/.f64 c b) (.f64 a (*.f64 c (/.f64 c (pow.f64 b 3))))))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (+.f64 (.f64 -1 (/.f64 c b)) (.f64 -2 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5)))))
(fma.f64 -1 (.f64 a (/.f64 (.f64 c c) (pow.f64 b 3))) (fma.f64 -1 (/.f64 c b) (.f64 -2 (.f64 (*.f64 a a) (/.f64 (pow.f64 c 3) (pow.f64 b 5))))))
(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1 (/.f64 c b) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (*.f64 a a) (pow.f64 b 5))))))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (+.f64 (.f64 -1/4 (/.f64 (.f64 (pow.f64 c 4) (+.f64 (.f64 16 (/.f64 (pow.f64 a 4) (pow.f64 b 6))) (pow.f64 (.f64 -2 (/.f64 (pow.f64 a 2) (pow.f64 b 3))) 2))) (.f64 a b))) (+.f64 (.f64 -1 (/.f64 c b)) (.f64 -2 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))))))
(fma.f64 -1 (.f64 a (/.f64 (.f64 c c) (pow.f64 b 3))) (fma.f64 -1/4 (.f64 (fma.f64 16 (/.f64 (pow.f64 a 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (/.f64 (.f64 a a) (pow.f64 b 3))) 2)) (/.f64 (pow.f64 c 4) (.f64 a b))) (fma.f64 -1 (/.f64 c b) (.f64 -2 (.f64 (*.f64 a a) (/.f64 (pow.f64 c 3) (pow.f64 b 5)))))))
(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1/4 (.f64 (fma.f64 16 (/.f64 (pow.f64 a 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (.f64 a (/.f64 a (pow.f64 b 3)))) 2)) (/.f64 (pow.f64 c 4) (.f64 a b))) (fma.f64 -1 (/.f64 c b) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (*.f64 a a) (pow.f64 b 5)))))))
(sqrt.f64 (.f64 -4 (.f64 c a)))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (.f64 1/2 (/.f64 (pow.f64 b 2) (sqrt.f64 (.f64 -4 (*.f64 c a))))))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (.f64 1/2 (/.f64 (.f64 b b) (sqrt.f64 (.f64 -4 (.f64 c a))))))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) (sqrt.f64 (.f64 -4 (.f64 c a))))) (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) 3)))))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (fma.f64 1/2 (/.f64 (.f64 b b) (sqrt.f64 (.f64 -4 (.f64 c a)))) (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) 3)))))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) (sqrt.f64 (.f64 -4 (.f64 c a))))) (+.f64 (.f64 1/16 (/.f64 (pow.f64 b 6) (pow.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) 5))) (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) 3))))))
(+.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) (fma.f64 1/2 (/.f64 (.f64 b b) (sqrt.f64 (.f64 -4 (.f64 c a)))) (fma.f64 1/16 (/.f64 (pow.f64 b 6) (pow.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) 5)) (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) 3))))))
b
(+.f64 b (.f64 -2 (/.f64 (.f64 c a) b)))
(+.f64 b (.f64 -2 (.f64 a (/.f64 c b))))
(+.f64 b (.f64 a (.f64 -2 (/.f64 c b))))
(+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 b (.f64 -2 (/.f64 (.f64 c a) b))))
(fma.f64 -2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (+.f64 b (.f64 -2 (*.f64 a (/.f64 c b)))))
(+.f64 b (.f64 -2 (+.f64 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (*.f64 c (/.f64 a b)))))
(+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 b (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b)))))
(+.f64 b (fma.f64 -2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (fma.f64 -4 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 3) (pow.f64 b 5))) (.f64 -2 (.f64 a (/.f64 c b))))))
(+.f64 b (fma.f64 -2 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (fma.f64 -4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (.f64 a (.f64 -2 (/.f64 c b))))))
(*.f64 -1 b)
(neg.f64 b)
(+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (*.f64 -1 b))
(fma.f64 2 (.f64 a (/.f64 c b)) (.f64 -1 b))
(fma.f64 2 (*.f64 c (/.f64 a b)) (neg.f64 b))
(+.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 -1 b)))
(fma.f64 2 (.f64 a (/.f64 c b)) (fma.f64 2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (*.f64 -1 b)))
(fma.f64 2 (.f64 c (/.f64 a b)) (fma.f64 2 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (neg.f64 b)))
(+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (*.f64 -1 b))))
(fma.f64 2 (.f64 a (/.f64 c b)) (fma.f64 4 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 3) (pow.f64 b 5))) (fma.f64 2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (.f64 -1 b))))
(fma.f64 2 (.f64 c (/.f64 a b)) (fma.f64 4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (fma.f64 2 (.f64 (.f64 c c) (*.f64 a (/.f64 a (pow.f64 b 3)))) (neg.f64 b))))
b
(+.f64 b (.f64 -2 (/.f64 (.f64 c a) b)))
(+.f64 b (.f64 -2 (.f64 a (/.f64 c b))))
(+.f64 b (.f64 a (.f64 -2 (/.f64 c b))))
(+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 b (.f64 -2 (/.f64 (.f64 c a) b))))
(fma.f64 -2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (+.f64 b (.f64 -2 (*.f64 a (/.f64 c b)))))
(+.f64 b (.f64 -2 (+.f64 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (*.f64 c (/.f64 a b)))))
(+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 b (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b)))))
(+.f64 b (fma.f64 -2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (fma.f64 -4 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 3) (pow.f64 b 5))) (.f64 -2 (.f64 a (/.f64 c b))))))
(+.f64 b (fma.f64 -2 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (fma.f64 -4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (.f64 a (.f64 -2 (/.f64 c b))))))
b
(+.f64 b (.f64 -2 (/.f64 (.f64 c a) b)))
(+.f64 b (.f64 -2 (.f64 a (/.f64 c b))))
(+.f64 b (.f64 a (.f64 -2 (/.f64 c b))))
(+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 b (.f64 -2 (/.f64 (.f64 c a) b))))
(fma.f64 -2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (+.f64 b (.f64 -2 (*.f64 a (/.f64 c b)))))
(+.f64 b (.f64 -2 (+.f64 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (*.f64 c (/.f64 a b)))))
(+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 b (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b)))))
(+.f64 b (fma.f64 -2 (.f64 (.f64 a a) (/.f64 (.f64 c c) (pow.f64 b 3))) (fma.f64 -4 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 3) (pow.f64 b 5))) (.f64 -2 (.f64 a (/.f64 c b))))))
(+.f64 b (fma.f64 -2 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (fma.f64 -4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (.f64 a (.f64 -2 (/.f64 c b))))))
(.f64 -4 (.f64 c a))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(pow.f64 b 2)
(*.f64 b b)
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(pow.f64 b 2)
(*.f64 b b)
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(pow.f64 b 2)
(*.f64 b b)
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(.f64 -4 (.f64 c a))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(.f64 -4 (.f64 c a))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(pow.f64 b 2)
(*.f64 b b)
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(.f64 -4 (.f64 c a))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(.f64 -4 (.f64 c a))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))
(+.f64 (pow.f64 b 2) (.f64 -4 (.f64 c a)))
(+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b))

prune160.0ms (4.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	239	8	247
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	239	10	249

Error

0.9b

Counts

249 → 10

Alt Table

Status	Error	Program
	30.1b	(.f64 (.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (sqrt.f64 b)) (+.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (sqrt.f64 b))) (/.f64 1/2 a))
	10.8b	(.f64 (.f64 -2 (+.f64 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (.f64 c (/.f64 a b)))) (/.f64 1/2 a))
	29.2b	(.f64 (-.f64 (/.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2) (fma.f64 b b (.f64 -4 (*.f64 a c)))) b) (/.f64 1/2 a))
	5.0b	(.f64 (+.f64 (.f64 -1/2 (/.f64 (+.f64 (pow.f64 (.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (pow.f64 b 7))) (+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b))))) (/.f64 1/2 a))
	4.8b	(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1 (/.f64 c b) (fma.f64 -1/4 (.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (.f64 c (/.f64 c (pow.f64 b 3)))) 2)) (/.f64 (pow.f64 a 3) b)) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (.f64 a a) (pow.f64 b 5)))))))
	29.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
▶	4.8b	(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1/4 (/.f64 (+.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (.f64 a (pow.f64 b 7))) (fma.f64 -1 (/.f64 c b) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (.f64 a a) (pow.f64 b 5)))))))
	4.9b	(.f64 (fma.f64 -1/2 (/.f64 (+.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (pow.f64 b 7)) (fma.f64 -2 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (fma.f64 -4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (.f64 a (*.f64 -2 (/.f64 c b)))))) (/.f64 1/2 a))
✓	29.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))) b) (/.f64 1/2 a))
	29.1b	(.f64 (fma.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (pow.f64 (fma.f64 b b (.f64 -4 (*.f64 a c))) 1/4) (neg.f64 b)) (/.f64 1/2 a))

Compiler

Compiled 6755 to 4214 computations (37.6% saved)

localize35.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

series17.0ms (0.4%)

Counts

4 → 72

Calls

24 calls:

Time	Variable		Expression
3.0ms	c	@	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
1.0ms	c	@	(pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2)
1.0ms	a	@	(/.f64 (*.f64 a a) (pow.f64 b 5))
1.0ms	a	@	(pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2)
1.0ms	a	@	(*.f64 (pow.f64 c 4) (pow.f64 a 4))

rewrite36.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

206×	`add-sqr-sqrt_binary64`
199×	`pow1_binary64`
199×	`rules-30_binary64`
199×	`rules-31_binary64`
199×	`rules-32_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	46
1	500	46

Stop Event

1×	node limit

Counts

4 → 90

Calls

Call 1

Inputs
(pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2)
(/.f64 (*.f64 a a) (pow.f64 b 5))
(*.f64 (pow.f64 c 4) (pow.f64 a 4))
(.f64 (.f64 c c) (.f64 a (.f64 -2 a)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2) (.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2) (.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2) (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)) (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) (.f64 (.f64 c c) (.f64 a (.f64 a -2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)) (.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)) (cbrt.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)) (cbrt.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2))) (cbrt.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)) (sqrt.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 c c) 2) (pow.f64 (.f64 a (.f64 a -2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 a (.f64 a -2)) 2) (pow.f64 (.f64 c c) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2) (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2) (.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2) (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 a a) (pow.f64 b 5)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 a a) (pow.f64 b 5)) (/.f64 0 (pow.f64 b 5)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (.f64 a a) (pow.f64 b 5)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 a a) (pow.f64 b 5)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 (.f64 a a) (pow.f64 b 5))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 b 5)) (/.f64 (.f64 a a) (pow.f64 b 5))) (/.f64 (.f64 a a) (pow.f64 b 5)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 a (/.f64 a (pow.f64 b 5)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 a a) (pow.f64 b 5)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (.f64 a a) (pow.f64 b 5)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (/.f64 (.f64 a a) (pow.f64 b 5))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (.f64 a a) (pow.f64 b 5))) (.f64 (cbrt.f64 (/.f64 (.f64 a a) (pow.f64 b 5))) (cbrt.f64 (/.f64 (.f64 a a) (pow.f64 b 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (/.f64 (.f64 a a) (pow.f64 b 5))) (cbrt.f64 (/.f64 (.f64 a a) (pow.f64 b 5)))) (cbrt.f64 (/.f64 (.f64 a a) (pow.f64 b 5))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 (.f64 a a) (pow.f64 b 5))) (sqrt.f64 (/.f64 (.f64 a a) (pow.f64 b 5))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 a (+.f64 a a)) (/.f64 1/2 (pow.f64 b 5)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 (pow.f64 b 5)) (.f64 a (+.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 a (pow.f64 b 5)) a)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 b 5)) (/.f64 (.f64 a a) (pow.f64 b 5))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (.f64 a a) (pow.f64 b 5)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 (.f64 a a) (pow.f64 b 5))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 a a) (pow.f64 b 5)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (.f64 a a) (pow.f64 b 5))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (/.f64 (.f64 a a) (pow.f64 b 5)) (.f64 (/.f64 (.f64 a a) (pow.f64 b 5)) (/.f64 (.f64 a a) (pow.f64 b 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (.f64 a a) (pow.f64 b 5))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (.f64 a a) (pow.f64 b 5))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (.f64 a a) (pow.f64 b 5))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 c a) 4) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 c a) 4) (.f64 (pow.f64 c 4) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 c a) 4) (.f64 (pow.f64 a 4) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (.f64 c a) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (.f64 c a) 4) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (.f64 c a) 4) (.f64 (pow.f64 c 4) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (.f64 c a) 4) (.f64 (pow.f64 a 4) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (pow.f64 (.f64 c a) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (pow.f64 (.f64 c a) 4) (pow.f64 (.f64 c a) 4)) (pow.f64 (.f64 c a) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (.f64 c a) 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (.f64 c a) 4)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 c a) 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 c a) 4)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (pow.f64 (.f64 c a) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (pow.f64 (.f64 c a) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (.f64 c a) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 c a) 4) (.f64 (pow.f64 (.f64 c a) 4) (pow.f64 (.f64 c a) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (.f64 c a) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (.f64 c a) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (pow.f64 (.f64 c a) 4)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) (.f64 (.f64 c c) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) (.f64 (.f64 a (.f64 a -2)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (.f64 c c) (.f64 a (.f64 a -2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) (.f64 (.f64 c c) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) (.f64 (.f64 a (.f64 a -2)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) (.f64 (.f64 c c) (.f64 a (.f64 a -2)))) (.f64 (.f64 c c) (.f64 a (.f64 a -2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (.f64 c c) (.f64 a (.f64 a -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (.f64 c c) (.f64 a (*.f64 a -2)))))))))

simplify40.0ms (1%)

Algorithm

1×	egg-herbie

Rules

402×	`rule-ab-ba_binary64`
372×	`rule-/ab-*+aa/1/2b_binary64`
372×	`rule-a-*a1_binary64`
372×	`rule-a--a0_binary64`
372×	`rule-a-+a0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	864
1	118	864
2	433	864
3	2132	864

Stop Event

1×	node limit

Counts

162 → 96

Calls

Call 1

Inputs
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))

Outputs
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(.f64 4 (.f64 (pow.f64 c 4) (pow.f64 a 4)))
(.f64 (pow.f64 c 4) (.f64 4 (pow.f64 a 4)))
(.f64 (pow.f64 a 4) (.f64 4 (pow.f64 c 4)))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(/.f64 (pow.f64 a 2) (pow.f64 b 5))
(/.f64 (*.f64 a a) (pow.f64 b 5))
(/.f64 a (/.f64 (pow.f64 b 5) a))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))
(.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2)))
(.f64 -2 (.f64 (.f64 a a) (.f64 c c)))
(.f64 (.f64 a a) (.f64 -2 (.f64 c c)))
(.f64 a (.f64 (.f64 c c) (.f64 a -2)))
(.f64 -2 (.f64 a (.f64 a (.f64 c c))))

prune249.0ms (6.5%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	95	11	106

Error

0.9b

Counts

106 → 11

Alt Table

Status	Error	Program
	30.1b	(.f64 (.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (sqrt.f64 b)) (+.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (sqrt.f64 b))) (/.f64 1/2 a))
	10.8b	(.f64 (.f64 -2 (+.f64 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (.f64 c (/.f64 a b)))) (/.f64 1/2 a))
	4.9b	(.f64 (fma.f64 -1/2 (/.f64 (+.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (pow.f64 b 7)) (fma.f64 -2 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (fma.f64 -4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (.f64 a (*.f64 -2 (/.f64 c b)))))) (/.f64 1/2 a))
	10.1b	(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1/4 (/.f64 (+.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (.f64 a (pow.f64 b 7))) (fma.f64 -1 (/.f64 c b) (.f64 -2 (.f64 (pow.f64 c 3) (log.f64 (exp.f64 (/.f64 (.f64 a a) (pow.f64 b 5)))))))))
	29.2b	(.f64 (-.f64 (/.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2) (fma.f64 b b (.f64 -4 (*.f64 a c)))) b) (/.f64 1/2 a))
	5.0b	(.f64 (+.f64 (.f64 -1/2 (/.f64 (+.f64 (pow.f64 (.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (pow.f64 b 7))) (+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b))))) (/.f64 1/2 a))
▶	4.8b	(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1 (/.f64 c b) (fma.f64 -1/4 (.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (.f64 c (/.f64 c (pow.f64 b 3)))) 2)) (/.f64 (pow.f64 a 3) b)) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (.f64 a a) (pow.f64 b 5)))))))
	29.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
✓	4.8b	(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1/4 (/.f64 (+.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (.f64 a (pow.f64 b 7))) (fma.f64 -1 (/.f64 c b) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (.f64 a a) (pow.f64 b 5)))))))
✓	29.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))) b) (/.f64 1/2 a))
	29.1b	(.f64 (fma.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (pow.f64 (fma.f64 b b (.f64 -4 (*.f64 a c))) 1/4) (neg.f64 b)) (/.f64 1/2 a))

Compiler

Compiled 6899 to 4468 computations (35.2% saved)

localize30.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (pow.f64 c 4) (pow.f64 b 6))
✓	0.4b	(.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (*.f64 c (/.f64 c (pow.f64 b 3)))) 2)) (/.f64 (pow.f64 a 3) b))
	0.4b	(/.f64 (*.f64 a a) (pow.f64 b 5))
✓	0.5b	(pow.f64 (.f64 -2 (.f64 c (/.f64 c (pow.f64 b 3)))) 2)

series21.0ms (0.6%)

Counts

3 → 60

Calls

21 calls:

Time	Variable		Expression
3.0ms	a	@	(.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (*.f64 c (/.f64 c (pow.f64 b 3)))) 2)) (/.f64 (pow.f64 a 3) b))
3.0ms	b	@	(.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (*.f64 c (/.f64 c (pow.f64 b 3)))) 2)) (/.f64 (pow.f64 a 3) b))
2.0ms	b	@	(pow.f64 (.f64 -2 (.f64 c (/.f64 c (pow.f64 b 3)))) 2)
2.0ms	c	@	(.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (*.f64 c (/.f64 c (pow.f64 b 3)))) 2)) (/.f64 (pow.f64 a 3) b))
1.0ms	c	@	(pow.f64 (.f64 -2 (.f64 c (/.f64 c (pow.f64 b 3)))) 2)

rewrite33.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

229×	`add-log-exp_binary64`
229×	`log1p-expm1-u_binary64`
229×	`expm1-log1p-u_binary64`
228×	`pow1_binary64`
228×	`rules-30_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	64
1	593	64

Stop Event

1×	node limit

Counts

3 → 39

Calls

Call 1

Inputs

(pow.f64 (*.f64 -2 (*.f64 c (/.f64 c (pow.f64 b 3)))) 2)

(*.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (pow.f64 (*.f64 -2 (*.f64 c (/.f64 c (pow.f64 b 3)))) 2)) (/.f64 (pow.f64 a 3) b))

(/.f64 (pow.f64 c 4) (pow.f64 b 6))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -2 (/.f64 c (/.f64 (pow.f64 b 3) c))) (*.f64 -2 (/.f64 c (/.f64 (pow.f64 b 3) c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (cbrt.f64 (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2)))) (cbrt.f64 (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (sqrt.f64 (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2)) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (/.f64 (pow.f64 a 3) b)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (/.f64 (pow.f64 a 3) b)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (/.f64 b (pow.f64 a 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (/.f64 (pow.f64 a 3) b)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 a 3) (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2)))) b)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (/.f64 (pow.f64 a 3) b)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (/.f64 (pow.f64 a 3) b))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (/.f64 (pow.f64 a 3) b))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 (*.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (/.f64 (pow.f64 a 3) b)) (*.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (/.f64 (pow.f64 a 3) b))) (*.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (/.f64 (pow.f64 a 3) b))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (/.f64 (pow.f64 a 3) b))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (/.f64 (pow.f64 a 3) b))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (*.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (/.f64 (pow.f64 a 3) b))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (cbrt.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))) (cbrt.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (sqrt.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 c 4) (pow.f64 c 4)) (/.f64 1/2 (pow.f64 b 6)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (/.f64 (pow.f64 c 4) (pow.f64 b 6))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))))))

simplify31.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

380×	`rule-/abc-b/ac_binary64`
279×	`rule-/a*bc-//abc_binary64`
250×	`rule-*a/cb-/a/bc_binary64`
226×	`rule-/ab-*+aa/1/2b_binary64`
218×	`rule-ab-ba_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	33	1188
1	238	1032
2	1022	1032

Stop Event

1×	node limit

Counts

99 → 47

Calls

Call 1

Inputs
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(/.f64 (.f64 (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4))) (pow.f64 a 3)) (pow.f64 b 7))
(/.f64 (.f64 (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4))) (pow.f64 a 3)) (pow.f64 b 7))
(/.f64 (.f64 (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4))) (pow.f64 a 3)) (pow.f64 b 7))
(/.f64 (.f64 (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4))) (pow.f64 a 3)) (pow.f64 b 7))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)

Outputs
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(.f64 20 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7)))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(/.f64 (.f64 (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4))) (pow.f64 a 3)) (pow.f64 b 7))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(/.f64 (.f64 (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4))) (pow.f64 a 3)) (pow.f64 b 7))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(/.f64 (.f64 (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4))) (pow.f64 a 3)) (pow.f64 b 7))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(/.f64 (.f64 (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4))) (pow.f64 a 3)) (pow.f64 b 7))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (pow.f64 c 4)) (*.f64 16 (pow.f64 c 4)))) (pow.f64 b 7))
(.f64 20 (.f64 (pow.f64 a 3) (/.f64 (pow.f64 c 4) (pow.f64 b 7))))
(.f64 (pow.f64 c 4) (/.f64 (pow.f64 a 3) (.f64 (pow.f64 b 7) 1/20)))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(.f64 (fma.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 16)) (/.f64 (pow.f64 a 3) b))
(.f64 (pow.f64 a 3) (/.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 20) b))
(*.f64 20 (/.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (/.f64 b (pow.f64 a 3))))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(.f64 (fma.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 16)) (/.f64 (pow.f64 a 3) b))
(.f64 (pow.f64 a 3) (/.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 20) b))
(*.f64 20 (/.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (/.f64 b (pow.f64 a 3))))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(.f64 (fma.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 16)) (/.f64 (pow.f64 a 3) b))
(.f64 (pow.f64 a 3) (/.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 20) b))
(*.f64 20 (/.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (/.f64 b (pow.f64 a 3))))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(.f64 (fma.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 16)) (/.f64 (pow.f64 a 3) b))
(.f64 (pow.f64 a 3) (/.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 20) b))
(*.f64 20 (/.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (/.f64 b (pow.f64 a 3))))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(.f64 (fma.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 16)) (/.f64 (pow.f64 a 3) b))
(.f64 (pow.f64 a 3) (/.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 20) b))
(*.f64 20 (/.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (/.f64 b (pow.f64 a 3))))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(.f64 (fma.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 16)) (/.f64 (pow.f64 a 3) b))
(.f64 (pow.f64 a 3) (/.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 20) b))
(*.f64 20 (/.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (/.f64 b (pow.f64 a 3))))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(.f64 (fma.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 16)) (/.f64 (pow.f64 a 3) b))
(.f64 (pow.f64 a 3) (/.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 20) b))
(*.f64 20 (/.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (/.f64 b (pow.f64 a 3))))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(.f64 (fma.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 16)) (/.f64 (pow.f64 a 3) b))
(.f64 (pow.f64 a 3) (/.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 20) b))
(*.f64 20 (/.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (/.f64 b (pow.f64 a 3))))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(.f64 (fma.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 16)) (/.f64 (pow.f64 a 3) b))
(.f64 (pow.f64 a 3) (/.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 20) b))
(*.f64 20 (/.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (/.f64 b (pow.f64 a 3))))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(.f64 (fma.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 16)) (/.f64 (pow.f64 a 3) b))
(.f64 (pow.f64 a 3) (/.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 20) b))
(*.f64 20 (/.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (/.f64 b (pow.f64 a 3))))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(.f64 (fma.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 16)) (/.f64 (pow.f64 a 3) b))
(.f64 (pow.f64 a 3) (/.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 20) b))
(*.f64 20 (/.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (/.f64 b (pow.f64 a 3))))
(/.f64 (.f64 (pow.f64 a 3) (+.f64 (.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6))) (*.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6))))) b)
(.f64 (fma.f64 4 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 16)) (/.f64 (pow.f64 a 3) b))
(.f64 (pow.f64 a 3) (/.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) 20) b))
(*.f64 20 (/.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (/.f64 b (pow.f64 a 3))))

prune249.0ms (6.5%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	1	7	8
Picked	0	1	1
Done	0	2	2
Total	73	12	85

Error

0.9b

Counts

85 → 12

Alt Table

Status	Error	Program
	30.1b	(.f64 (.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (sqrt.f64 b)) (+.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (sqrt.f64 b))) (/.f64 1/2 a))
	10.8b	(.f64 (.f64 -2 (+.f64 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (.f64 c (/.f64 a b)))) (/.f64 1/2 a))
	5.3b	(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1 (/.f64 c b) (fma.f64 -1/4 (log.f64 (exp.f64 (.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (/.f64 (pow.f64 a 3) b)))) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (*.f64 a a) (pow.f64 b 5)))))))
✓	4.8b	(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1 (/.f64 c b) (fma.f64 -1/4 (.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (.f64 c (/.f64 c (pow.f64 b 3)))) 2)) (/.f64 (pow.f64 a 3) b)) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (.f64 a a) (pow.f64 b 5)))))))
	29.2b	(.f64 (-.f64 (/.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2) (fma.f64 b b (.f64 -4 (*.f64 a c)))) b) (/.f64 1/2 a))
	5.0b	(.f64 (+.f64 (.f64 -1/2 (/.f64 (+.f64 (pow.f64 (.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (pow.f64 b 7))) (+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b))))) (/.f64 1/2 a))
	10.1b	(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1 (/.f64 c b) (fma.f64 -1/4 (.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (.f64 c (/.f64 c (pow.f64 b 3)))) 2)) (/.f64 (pow.f64 a 3) b)) (.f64 -2 (.f64 (pow.f64 c 3) (log.f64 (exp.f64 (/.f64 (.f64 a a) (pow.f64 b 5)))))))))
	29.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
✓	4.8b	(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1/4 (/.f64 (+.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (.f64 a (pow.f64 b 7))) (fma.f64 -1 (/.f64 c b) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (.f64 a a) (pow.f64 b 5)))))))
▶	4.9b	(.f64 (fma.f64 -1/2 (/.f64 (+.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (pow.f64 b 7)) (fma.f64 -2 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (fma.f64 -4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (.f64 a (*.f64 -2 (/.f64 c b)))))) (/.f64 1/2 a))
✓	29.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))) b) (/.f64 1/2 a))
	29.1b	(.f64 (fma.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (pow.f64 (fma.f64 b b (.f64 -4 (*.f64 a c))) 1/4) (neg.f64 b)) (/.f64 1/2 a))

Compiler

Compiled 5472 to 3728 computations (31.9% saved)

localize37.0ms (1%)

Local error

Found 4 expressions with local error:

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

series5.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	b	@	0	(.f64 (.f64 c c) (*.f64 a (/.f64 a (pow.f64 b 3))))
1.0ms	c	@	0	(.f64 (.f64 c c) (*.f64 a (/.f64 a (pow.f64 b 3))))
1.0ms	a	@	inf	(.f64 (.f64 c c) (*.f64 a (/.f64 a (pow.f64 b 3))))
1.0ms	b	@	inf	(.f64 (.f64 c c) (*.f64 a (/.f64 a (pow.f64 b 3))))
0.0ms	b	@	-inf	(.f64 (.f64 c c) (*.f64 a (/.f64 a (pow.f64 b 3))))

rewrite45.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

261×	`rule-/ab-*+aa/1/2b_binary64`
239×	`rule-aa-fabsaa_binary64`
191×	`rule-nega--0a_binary64`
191×	`rule-nega-/a-1_binary64`
191×	`rule-nega-*a-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	16
1	266	13
2	3542	13

Stop Event

1×	node limit

Counts

1 → 40

Calls

Call 1

Inputs
(.f64 (.f64 c c) (*.f64 a (/.f64 a (pow.f64 b 3))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (+.f64 0 (neg.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2) (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)) (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (exp.f64 (log1p.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2))) (exp.f64 (log1p.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)))) (+.f64 (exp.f64 (log1p.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (+.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2) (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)) (+.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2) (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2))) (+.f64 (+.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2) (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)) (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 c c) (/.f64 (/.f64 (pow.f64 b 3) a) a))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 c c) (/.f64 1 (*.f64 a (/.f64 a (pow.f64 b 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 c c) (/.f64 (pow.f64 b 3) (*.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 a (/.f64 a (pow.f64 b 3))) (/.f64 1 (*.f64 c c)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2) 3) (pow.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 a (*.f64 c c)) (/.f64 (pow.f64 b 3) a))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 c c) 3) (pow.f64 (*.f64 a (/.f64 a (pow.f64 b 3))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 a (/.f64 a (pow.f64 b 3))) 3) (pow.f64 (*.f64 c c) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 c c) (*.f64 a (/.f64 a (pow.f64 b 3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 a (*.f64 (*.f64 c c) (/.f64 a (pow.f64 b 3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 a (/.f64 a (pow.f64 b 3))) (*.f64 c c) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)) 2) (cbrt.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) (*.f64 c (/.f64 a (pow.f64 b 3/2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (pow.f64 (*.f64 c (/.f64 a (pow.f64 b 3/2))) 2)))))))

simplify33.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

501×	`rule-/ab-*+aa/1/2b_binary64`
369×	`rule-a-*a1_binary64`
369×	`rule-a--a0_binary64`
369×	`rule-a-+a0_binary64`
368×	`rule-a-/a1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	576
1	78	576
2	324	576
3	1844	576

Stop Event

1×	node limit

Counts

76 → 42

Calls

Call 1

Inputs
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))

Outputs
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))
(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
(.f64 (.f64 a a) (/.f64 (*.f64 c c) (pow.f64 b 3)))
(.f64 (.f64 c c) (/.f64 (*.f64 a a) (pow.f64 b 3)))
(.f64 a (.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a))

prune334.0ms (8.7%)

Pruning

14 alts after pruning (10 fresh and 4 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	0	8	8
Picked	0	1	1
Done	0	3	3
Total	109	14	123

Error

0.9b

Counts

123 → 14

Alt Table

Status	Error	Program
	11.9b	(.f64 (fma.f64 -1/2 (/.f64 (+.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (pow.f64 b 7)) (fma.f64 -2 (+.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 c (/.f64 a (pow.f64 b 3/2))) 2))) -1) (fma.f64 -4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (.f64 a (*.f64 -2 (/.f64 c b)))))) (/.f64 1/2 a))
	10.8b	(.f64 (.f64 -2 (+.f64 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (.f64 c (/.f64 a b)))) (/.f64 1/2 a))
	30.1b	(.f64 (.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (sqrt.f64 b)) (+.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (sqrt.f64 b))) (/.f64 1/2 a))
	5.3b	(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1 (/.f64 c b) (fma.f64 -1/4 (log.f64 (exp.f64 (.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (.f64 4 (pow.f64 (/.f64 c (/.f64 (pow.f64 b 3) c)) 2))) (/.f64 (pow.f64 a 3) b)))) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (*.f64 a a) (pow.f64 b 5)))))))
✓	4.8b	(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1 (/.f64 c b) (fma.f64 -1/4 (.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (.f64 c (/.f64 c (pow.f64 b 3)))) 2)) (/.f64 (pow.f64 a 3) b)) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (.f64 a a) (pow.f64 b 5)))))))
	29.2b	(.f64 (-.f64 (/.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 3/2) (fma.f64 b b (.f64 -4 (*.f64 a c)))) b) (/.f64 1/2 a))
	5.0b	(.f64 (+.f64 (.f64 -1/2 (/.f64 (+.f64 (pow.f64 (.f64 -2 (.f64 (pow.f64 c 2) (pow.f64 a 2))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (pow.f64 b 7))) (+.f64 (.f64 -2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))) (.f64 -2 (/.f64 (.f64 c a) b))))) (/.f64 1/2 a))
	10.1b	(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1 (/.f64 c b) (fma.f64 -1/4 (.f64 (fma.f64 16 (/.f64 (pow.f64 c 4) (pow.f64 b 6)) (pow.f64 (.f64 -2 (.f64 c (/.f64 c (pow.f64 b 3)))) 2)) (/.f64 (pow.f64 a 3) b)) (.f64 -2 (.f64 (pow.f64 c 3) (log.f64 (exp.f64 (/.f64 (.f64 a a) (pow.f64 b 5)))))))))
	29.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
✓	4.8b	(fma.f64 -1 (.f64 a (.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1/4 (/.f64 (+.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (.f64 a (pow.f64 b 7))) (fma.f64 -1 (/.f64 c b) (.f64 -2 (.f64 (pow.f64 c 3) (/.f64 (.f64 a a) (pow.f64 b 5)))))))
	12.2b	(.f64 (fma.f64 -1/2 (/.f64 (+.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (pow.f64 b 7)) (fma.f64 -2 (log.f64 (exp.f64 (pow.f64 (.f64 c (/.f64 a (pow.f64 b 3/2))) 2))) (fma.f64 -4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (.f64 a (*.f64 -2 (/.f64 c b)))))) (/.f64 1/2 a))
✓	4.9b	(.f64 (fma.f64 -1/2 (/.f64 (+.f64 (pow.f64 (.f64 (.f64 c c) (.f64 a (.f64 -2 a))) 2) (.f64 16 (.f64 (pow.f64 c 4) (pow.f64 a 4)))) (pow.f64 b 7)) (fma.f64 -2 (.f64 (.f64 c c) (.f64 a (/.f64 a (pow.f64 b 3)))) (fma.f64 -4 (.f64 (pow.f64 c 3) (/.f64 (pow.f64 a 3) (pow.f64 b 5))) (.f64 a (*.f64 -2 (/.f64 c b)))))) (/.f64 1/2 a))
✓	29.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))) b) (/.f64 1/2 a))
	29.1b	(.f64 (fma.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) (pow.f64 (fma.f64 b b (.f64 -4 (*.f64 a c))) 1/4) (neg.f64 b)) (/.f64 1/2 a))

Compiler

Compiled 8263 to 5562 computations (32.7% saved)

regimes111.0ms (2.9%)

Accuracy

Total -34.0b remaining (-558.6%)

Threshold costs -34.0b (-558.6%)

Counts

35 → 1

Compiler

Compiled 1352 to 900 computations (33.4% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	82

Stop Event

1×

saturated

Calls

Call 1

Inputs

(fma.f64 -1 (*.f64 a (*.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1/4 (/.f64 (+.f64 (*.f64 4 (*.f64 (pow.f64 c 4) (pow.f64 a 4))) (*.f64 16 (*.f64 (pow.f64 c 4) (pow.f64 a 4)))) (*.f64 a (pow.f64 b 7))) (fma.f64 -1 (/.f64 c b) (*.f64 -2 (*.f64 (pow.f64 c 3) (/.f64 (*.f64 a a) (pow.f64 b 5)))))))

Outputs

(fma.f64 -1 (*.f64 a (*.f64 c (/.f64 c (pow.f64 b 3)))) (fma.f64 -1/4 (/.f64 (+.f64 (*.f64 4 (*.f64 (pow.f64 c 4) (pow.f64 a 4))) (*.f64 16 (*.f64 (pow.f64 c 4) (pow.f64 a 4)))) (*.f64 a (pow.f64 b 7))) (fma.f64 -1 (/.f64 c b) (*.f64 -2 (*.f64 (pow.f64 c 3) (/.f64 (*.f64 a a) (pow.f64 b 5)))))))

end405.0ms (10.5%)

Stop Event

1×

fuel

Compiler

Compiled 750 to 505 computations (32.7% saved)

Details

analyze357.0ms (9.3%)

sample1.4s (36.6%)

preprocess28.0ms (0.7%)

simplify24.0ms (0.6%)

prune4.0ms (0.1%)

localize9.0ms (0.2%)

series26.0ms (0.7%)

rewrite71.0ms (1.8%)

simplify46.0ms (1.2%)

prune160.0ms (4.2%)

localize35.0ms (0.9%)

series17.0ms (0.4%)

rewrite36.0ms (0.9%)

simplify40.0ms (1%)

prune249.0ms (6.5%)

localize30.0ms (0.8%)

series21.0ms (0.6%)

rewrite33.0ms (0.9%)

simplify31.0ms (0.8%)

prune249.0ms (6.5%)

localize37.0ms (1%)

series5.0ms (0.1%)

rewrite45.0ms (1.2%)

simplify33.0ms (0.8%)

prune334.0ms (8.7%)

regimes111.0ms (2.9%)

simplify5.0ms (0.1%)

end405.0ms (10.5%)

Profiling