Details

analyze38.0ms (2.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	37.5%	62.5%	0
0%	37.5%	62.5%	1
0%	18.7%	81.3%	2
0%	9.4%	90.6%	3
0%	9.4%	90.6%	4
0%	7%	93%	5
1.2%	4.7%	94.1%	6
1.2%	3.5%	95.3%	7
1.8%	2.6%	95.6%	8
2%	1.9%	96%	9
2.4%	1.3%	96.3%	10
2.6%	1%	96.5%	11
2.7%	0.7%	96.6%	12
2.8%	0.5%	96.7%	13
2.9%	0.3%	96.7%	14

Compiler

Compiled 26 to 15 computations (42.3% saved)

sample1.0s (57.2%)

Results

958.0ms	8256×	body	128	valid
52.0ms	424×	body	128	invalid

preprocess23.0ms (1.3%)

Algorithm

2×	egg-herbie

Rules

303×	`associate-/l*_binary64`
282×	`associate-/r/_binary64`
258×	`times-frac_binary64`
232×	`fma-def_binary64`
190×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	40
1	47	34
2	137	30
3	394	30
4	1282	30
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 b b) (.f64 a a)) (*.f64 b b))))

Outputs
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))
(sqrt.f64 (fabs.f64 (-.f64 1 (*.f64 (/.f64 b a) (/.f64 b a)))))
(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) -1)))
(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 b (*.f64 a a)) b -1)))
(sqrt.f64 (fabs.f64 (fma.f64 b (/.f64 b (*.f64 a a)) -1)))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 b b) (.f64 a a)) (*.f64 b b))))
(sqrt.f64 (fabs.f64 (-.f64 1 (/.f64 (.f64 a a) (.f64 b b)))))
(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 a b) (/.f64 a b) -1)))
(sqrt.f64 (fabs.f64 (fma.f64 a (/.f64 a (*.f64 b b)) -1)))

Compiler

Compiled 15 to 8 computations (46.7% saved)

simplify21.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

704×	`fma-def_binary64`
600×	`associate-/r*_binary64`
362×	`distribute-rgt-in_binary64`
331×	`distribute-lft-in_binary64`
206×	`div-sub_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	26	17
2	72	15
3	201	15
4	549	15
5	1979	15

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))

Outputs
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))
(sqrt.f64 (fabs.f64 (-.f64 1 (*.f64 (/.f64 b a) (/.f64 b a)))))
(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) -1)))
(sqrt.f64 (fabs.f64 (fma.f64 b (/.f64 b (*.f64 a a)) -1)))

prune3.0ms (0.2%)

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

13.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	13.3b	(sqrt.f64 (fabs.f64 (fma.f64 b (/.f64 b (*.f64 a a)) -1)))
▶	13.3b	(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))

Compiler

Compiled 79 to 45 computations (43% saved)

localize7.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 a a) (.f64 b b))
✓	0.0b	(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))
✓	12.9b	(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))

series8.0ms (0.5%)

Counts

3 → 72

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	a	@	0	(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))
1.0ms	b	@	inf	(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))
1.0ms	a	@	inf	(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))
1.0ms	b	@	0	(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))
0.0ms	a	@	0	(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))

rewrite71.0ms (4%)

Algorithm

1×	batch-egg-rewrite

Rules

881×	`prod-diff_binary64`
132×	`egg-rr`
113×	`add-sqr-sqrt_binary64`
110×	`*-un-lft-identity_binary64`
110×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	46
1	214	38
2	3326	38

Stop Event

1×	node limit

Counts

3 → 211

Calls

Call 1

Inputs
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))
(-.f64 (.f64 a a) (.f64 b b))

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

Outputs

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

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

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

simplify39.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

725×	`associate-/r*_binary64`
689×	`associate-/l/_binary64`
498×	`associate-/r/_binary64`
166×	`times-frac_binary64`
127×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	17	999
1	40	891
2	97	843
3	297	843
4	1348	843

Stop Event

1×	node limit

Counts

283 → 224

Calls

Call 1

Inputs
(*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
1
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
1
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
1
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 b 2)) (pow.f64 a 2))))
(*.f64 -1 (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(pow.f64 a 2)
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(pow.f64 a 2)
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(pow.f64 a 2)
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(*.f64 -1 (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(*.f64 -1 (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))

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

prune203.0ms (11.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	223	1	224
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	224	2	226

Error

Counts

226 → 2

Alt Table

Status	Error	Program
▶	0.0b	(sqrt.f64 (fabs.f64 (*.f64 (/.f64 (+.f64 a b) a) (/.f64 (-.f64 a b) a))))
✓	13.3b	(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))

Compiler

Compiled 5411 to 2257 computations (58.3% saved)

localize8.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (fabs.f64 (*.f64 (/.f64 (+.f64 a b) a) (/.f64 (-.f64 a b) a))))
✓	0.0b	(/.f64 (+.f64 a b) a)
✓	0.0b	(/.f64 (-.f64 a b) a)
✓	0.1b	(*.f64 (/.f64 (+.f64 a b) a) (/.f64 (-.f64 a b) a))

series12.0ms (0.7%)

Counts

4 → 96

Calls

24 calls:

Time	Variable		Point	Expression
1.0ms	a	@	-inf	(/.f64 (+.f64 a b) a)
1.0ms	a	@	inf	(*.f64 (/.f64 (+.f64 a b) a) (/.f64 (-.f64 a b) a))
1.0ms	b	@	inf	(*.f64 (/.f64 (+.f64 a b) a) (/.f64 (-.f64 a b) a))
1.0ms	a	@	0	(*.f64 (/.f64 (+.f64 a b) a) (/.f64 (-.f64 a b) a))
1.0ms	b	@	0	(*.f64 (/.f64 (+.f64 a b) a) (/.f64 (-.f64 a b) a))

rewrite67.0ms (3.8%)

Algorithm

1×	batch-egg-rewrite

Rules

588×	`prod-diff_binary64`
125×	`add-sqr-sqrt_binary64`
123×	`*-un-lft-identity_binary64`
123×	`pow1_binary64`
116×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	50
1	237	45
2	3880	45

Stop Event

1×	node limit

Counts

4 → 158

Calls

Call 1

Inputs
(*.f64 (/.f64 (+.f64 a b) a) (/.f64 (-.f64 a b) a))
(/.f64 (-.f64 a b) a)
(/.f64 (+.f64 a b) a)
(sqrt.f64 (fabs.f64 (*.f64 (/.f64 (+.f64 a b) a) (/.f64 (-.f64 a b) a))))

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

simplify46.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

472×	`fma-neg_binary64`
328×	`div-sub_binary64`
327×	`associate-/l/_binary64`
314×	`cancel-sign-sub-inv_binary64`
164×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	41	1277
1	132	1196
2	399	1151
3	1757	896

Stop Event

1×	node limit

Counts

254 → 175

Calls

Call 1

Inputs
(*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (/.f64 b a) (+.f64 (.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 -1 (/.f64 b a))))
(+.f64 (/.f64 b a) (+.f64 1 (+.f64 (.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 -1 (/.f64 b a)))))
(+.f64 (/.f64 b a) (+.f64 1 (+.f64 (.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 -1 (/.f64 b a)))))
1
(+.f64 (/.f64 b a) (+.f64 1 (*.f64 -1 (/.f64 b a))))
(+.f64 (/.f64 b a) (+.f64 1 (+.f64 (.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 -1 (/.f64 b a)))))
(+.f64 (/.f64 b a) (+.f64 1 (+.f64 (.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 -1 (/.f64 b a)))))
1
(+.f64 (/.f64 b a) (+.f64 1 (*.f64 -1 (/.f64 b a))))
(+.f64 (/.f64 b a) (+.f64 1 (+.f64 (.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 -1 (/.f64 b a)))))
(+.f64 (/.f64 b a) (+.f64 1 (+.f64 (.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 -1 (/.f64 b a)))))
1
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(+.f64 1 (*.f64 -1 (/.f64 (pow.f64 b 2) (pow.f64 a 2))))
(*.f64 -1 (/.f64 b a))
(+.f64 1 (*.f64 -1 (/.f64 b a)))
(+.f64 1 (*.f64 -1 (/.f64 b a)))
(+.f64 1 (*.f64 -1 (/.f64 b a)))
1
(+.f64 1 (*.f64 -1 (/.f64 b a)))
(+.f64 1 (*.f64 -1 (/.f64 b a)))
(+.f64 1 (*.f64 -1 (/.f64 b a)))
1
(+.f64 1 (*.f64 -1 (/.f64 b a)))
(+.f64 1 (*.f64 -1 (/.f64 b a)))
(+.f64 1 (*.f64 -1 (/.f64 b a)))
1
(+.f64 1 (*.f64 -1 (/.f64 b a)))
(+.f64 1 (*.f64 -1 (/.f64 b a)))
(+.f64 1 (*.f64 -1 (/.f64 b a)))
(*.f64 -1 (/.f64 b a))
(+.f64 1 (*.f64 -1 (/.f64 b a)))
(+.f64 1 (*.f64 -1 (/.f64 b a)))
(+.f64 1 (*.f64 -1 (/.f64 b a)))
(*.f64 -1 (/.f64 b a))
(+.f64 1 (*.f64 -1 (/.f64 b a)))
(+.f64 1 (*.f64 -1 (/.f64 b a)))
(+.f64 1 (*.f64 -1 (/.f64 b a)))
(/.f64 b a)
(+.f64 (/.f64 b a) 1)
(+.f64 (/.f64 b a) 1)
(+.f64 (/.f64 b a) 1)
1
(+.f64 (/.f64 b a) 1)
(+.f64 (/.f64 b a) 1)
(+.f64 (/.f64 b a) 1)
1
(+.f64 (/.f64 b a) 1)
(+.f64 (/.f64 b a) 1)
(+.f64 (/.f64 b a) 1)
1
(+.f64 (/.f64 b a) 1)
(+.f64 (/.f64 b a) 1)
(+.f64 (/.f64 b a) 1)
(/.f64 b a)
(+.f64 (/.f64 b a) 1)
(+.f64 (/.f64 b a) 1)
(+.f64 (/.f64 b a) 1)
(/.f64 b a)
(+.f64 (/.f64 b a) 1)
(+.f64 (/.f64 b a) 1)
(+.f64 (/.f64 b a) 1)
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (.f64 -1 (/.f64 (.f64 (-.f64 b (.f64 -1 a)) (+.f64 b (.f64 -1 a))) (pow.f64 a 2)))))
(sqrt.f64 (fabs.f64 (.f64 -1 (/.f64 (.f64 (-.f64 b (.f64 -1 a)) (+.f64 b (.f64 -1 a))) (pow.f64 a 2)))))
(sqrt.f64 (fabs.f64 (.f64 -1 (/.f64 (.f64 (-.f64 b (.f64 -1 a)) (+.f64 b (.f64 -1 a))) (pow.f64 a 2)))))
(sqrt.f64 (fabs.f64 (.f64 -1 (/.f64 (.f64 (-.f64 b (.f64 -1 a)) (+.f64 b (.f64 -1 a))) (pow.f64 a 2)))))
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (*.f64 (-.f64 a b) (+.f64 a b)) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (.f64 (-.f64 a (.f64 -1 b)) (+.f64 a (*.f64 -1 b))) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (.f64 (-.f64 a (.f64 -1 b)) (+.f64 a (*.f64 -1 b))) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (.f64 (-.f64 a (.f64 -1 b)) (+.f64 a (*.f64 -1 b))) (pow.f64 a 2))))
(sqrt.f64 (fabs.f64 (/.f64 (.f64 (-.f64 a (.f64 -1 b)) (+.f64 a (*.f64 -1 b))) (pow.f64 a 2))))

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

prune131.0ms (7.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	175	0	175
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	175	2	177

Error

Counts

177 → 2

Alt Table

Status	Error	Program
✓	0.0b	(sqrt.f64 (fabs.f64 (*.f64 (/.f64 (+.f64 a b) a) (/.f64 (-.f64 a b) a))))
✓	13.3b	(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))

Compiler

Compiled 2883 to 1069 computations (62.9% saved)

regimes56.0ms (3.2%)

Accuracy

Total -14.5b remaining (-54808.7%)

Threshold costs -14.5b (-54808.7%)

Counts

14 → 1

Compiler

Compiled 269 to 131 computations (51.3% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	17	20
2	28	20
3	32	20
4	35	20
5	38	20
6	40	20
7	41	20

Stop Event

1×

saturated

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (*.f64 (/.f64 (+.f64 a b) a) (/.f64 (-.f64 a b) a))))

Outputs
(sqrt.f64 (fabs.f64 (*.f64 (/.f64 (+.f64 a b) a) (/.f64 (-.f64 a b) a))))

end29.0ms (1.6%)

Stop Event

1×

done

Compiler

Compiled 56 to 24 computations (57.1% saved)

Details

analyze38.0ms (2.1%)

sample1.0s (57.2%)

preprocess23.0ms (1.3%)

simplify21.0ms (1.2%)

prune3.0ms (0.2%)

localize7.0ms (0.4%)

series8.0ms (0.5%)

rewrite71.0ms (4%)

simplify39.0ms (2.2%)

prune203.0ms (11.4%)

localize8.0ms (0.4%)

series12.0ms (0.7%)

rewrite67.0ms (3.8%)

simplify46.0ms (2.6%)

prune131.0ms (7.4%)

regimes56.0ms (3.2%)

simplify3.0ms (0.1%)

end29.0ms (1.6%)

Profiling