Metrics for Expression, p6

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
100%	0%	0%	100%	0%	0%	0%	1

Compiler

Compiled 44 to 32 computations (27.3% saved)

sample1.4s (30.9%)

Results

1.4s

8256×

body

256

valid

Bogosity

preprocess585.0ms (12.8%)

Algorithm

1×	egg-herbie

Rules

5432×	`fma-def`
775×	`distribute-lft-in`
721×	`associate--r+`
440×	`associate-+l-`
407×	`distribute-rgt-in`

Problems

182×	`(+.f64 a (+.f64 b (+.f64 c d)))`
74×	No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	61	616
1	156	592
2	446	592
3	1773	592
4	5548	592
5	6355	592
6	6734	592
7	6893	592
8	6919	592
9	6924	592
10	6979	592
11	6987	592
12	6987	592
13	6987	592
14	7364	592
15	7364	592
16	7364	592

Stop Event

1×	node limit

Calls

Call 1

Inputs
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
(*.f64 (+.f64 (neg.f64 a) (+.f64 b (+.f64 c d))) 2)
(*.f64 (+.f64 a (+.f64 (neg.f64 b) (+.f64 c d))) 2)
(*.f64 (+.f64 a (+.f64 b (+.f64 (neg.f64 c) d))) 2)
(*.f64 (+.f64 a (+.f64 b (+.f64 c (neg.f64 d)))) 2)
(neg.f64 (*.f64 (+.f64 (neg.f64 a) (+.f64 b (+.f64 c d))) 2))
(neg.f64 (*.f64 (+.f64 a (+.f64 (neg.f64 b) (+.f64 c d))) 2))
(neg.f64 (*.f64 (+.f64 a (+.f64 b (+.f64 (neg.f64 c) d))) 2))
(neg.f64 (*.f64 (+.f64 a (+.f64 b (+.f64 c (neg.f64 d)))) 2))
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2)
(*.f64 (+.f64 c (+.f64 b (+.f64 a d))) 2)
(*.f64 (+.f64 d (+.f64 b (+.f64 c a))) 2)
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2)
(*.f64 (+.f64 a (+.f64 d (+.f64 c b))) 2)
(*.f64 (+.f64 a (+.f64 b (+.f64 d c))) 2)

Outputs
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 (neg.f64 a) (+.f64 b (+.f64 c d))) 2)
(*.f64 2 (+.f64 (neg.f64 a) (+.f64 c (+.f64 b d))))
(*.f64 2 (-.f64 (+.f64 b (+.f64 c d)) a))
(*.f64 2 (+.f64 b (+.f64 c (-.f64 d a))))
(*.f64 (+.f64 a (+.f64 (neg.f64 b) (+.f64 c d))) 2)
(*.f64 2 (+.f64 a (+.f64 (+.f64 c d) (neg.f64 b))))
(*.f64 2 (+.f64 a (-.f64 (+.f64 c d) b)))
(*.f64 2 (+.f64 a (+.f64 d (-.f64 c b))))
(*.f64 (+.f64 a (+.f64 b (+.f64 (neg.f64 c) d))) 2)
(*.f64 2 (+.f64 a (+.f64 b (+.f64 d (neg.f64 c)))))
(*.f64 2 (+.f64 a (+.f64 b (-.f64 d c))))
(*.f64 2 (+.f64 a (-.f64 d (-.f64 c b))))
(*.f64 (+.f64 a (+.f64 b (+.f64 c (neg.f64 d)))) 2)
(*.f64 2 (+.f64 a (+.f64 b (-.f64 c d))))
(*.f64 2 (+.f64 a (+.f64 c (-.f64 b d))))
(*.f64 -2 (-.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (-.f64 d (+.f64 a (+.f64 b c))) -2)
(neg.f64 (*.f64 (+.f64 (neg.f64 a) (+.f64 b (+.f64 c d))) 2))
(*.f64 (+.f64 (neg.f64 a) (+.f64 c (+.f64 b d))) -2)
(*.f64 (-.f64 (+.f64 b (+.f64 c d)) a) -2)
(*.f64 2 (-.f64 (-.f64 a d) (+.f64 b c)))
(*.f64 2 (-.f64 a (+.f64 b (+.f64 c d))))
(neg.f64 (*.f64 (+.f64 a (+.f64 (neg.f64 b) (+.f64 c d))) 2))
(*.f64 (+.f64 a (+.f64 (+.f64 c d) (neg.f64 b))) -2)
(*.f64 (+.f64 a (-.f64 (+.f64 c d) b)) -2)
(*.f64 (+.f64 a (+.f64 d (-.f64 c b))) -2)
(neg.f64 (*.f64 (+.f64 a (+.f64 b (+.f64 (neg.f64 c) d))) 2))
(*.f64 (+.f64 a (+.f64 b (+.f64 d (neg.f64 c)))) -2)
(*.f64 (+.f64 a (+.f64 b (-.f64 d c))) -2)
(*.f64 2 (-.f64 (-.f64 c d) (+.f64 a b)))
(*.f64 2 (-.f64 c (+.f64 a (+.f64 b d))))
(neg.f64 (*.f64 (+.f64 a (+.f64 b (+.f64 c (neg.f64 d)))) 2))
(*.f64 (+.f64 a (+.f64 b (-.f64 c d))) -2)
(*.f64 (+.f64 a (+.f64 c (-.f64 b d))) -2)
(*.f64 2 (-.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 c (+.f64 b (+.f64 a d))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 d (+.f64 b (+.f64 c a))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 a (+.f64 d (+.f64 c b))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 a (+.f64 b (+.f64 d c))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))

Symmetry

(sort a b c d)

Compiler

Compiled 47 to 20 computations (57.4% saved)

eval1.0ms (0%)

Compiler: Compiled 31 to 19 computations (38.7% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	95.9%	(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
▶	95.9%	(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))

Compiler

Compiled 26 to 18 computations (30.8% saved)

localize54.0ms (1.2%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	95.9%	(+.f64 d (+.f64 a (+.f64 b c)))

Compiler

Compiled 34 to 11 computations (67.6% saved)

series3.0ms (0.1%)

Counts

1 → 48

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	d	@	inf	(+.f64 d (+.f64 a (+.f64 b c)))
0.0ms	c	@	inf	(+.f64 d (+.f64 a (+.f64 b c)))
0.0ms	b	@	inf	(+.f64 d (+.f64 a (+.f64 b c)))
0.0ms	a	@	inf	(+.f64 d (+.f64 a (+.f64 b c)))
0.0ms	d	@	0	(+.f64 d (+.f64 a (+.f64 b c)))

rewrite316.0ms (6.9%)

Algorithm

1×	batch-egg-rewrite

Rules

705×	`distribute-lft-in`
684×	`distribute-rgt-in`
676×	`associate-*l/`
473×	`*-commutative`
175×	`associate-/r*`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	31
1	180	31
2	2712	31

Stop Event

1×	node limit

Counts

1 → 84

Calls

Call 1

Inputs
(+.f64 d (+.f64 a (+.f64 b c)))

Outputs
(-.f64 (/.f64 (pow.f64 a 2) (-.f64 (-.f64 a b) c)) (-.f64 (/.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (-.f64 a b) c)) d))
(-.f64 (/.f64 (pow.f64 d 2) (-.f64 d (+.f64 b (+.f64 a c)))) (/.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (-.f64 d (+.f64 b (+.f64 a c)))))
(-.f64 (/.f64 (pow.f64 b 2) (-.f64 b c)) (-.f64 (/.f64 (pow.f64 c 2) (-.f64 b c)) (+.f64 d a)))
(-.f64 (exp.f64 (log1p.f64 (+.f64 b (+.f64 a c)))) (-.f64 1 d))
(-.f64 (exp.f64 (log1p.f64 (+.f64 b c))) (-.f64 1 (+.f64 d a)))
(-.f64 (exp.f64 (log1p.f64 a)) (-.f64 1 (+.f64 b (+.f64 d c))))
(-.f64 (exp.f64 (log1p.f64 (+.f64 d (+.f64 b (+.f64 a c))))) 1)
(-.f64 (exp.f64 (log1p.f64 d)) (-.f64 1 (+.f64 b (+.f64 a c))))
(-.f64 (+.f64 d (/.f64 (pow.f64 a 2) (-.f64 (-.f64 a b) c))) (/.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (-.f64 a b) c)))
(-.f64 (+.f64 d (exp.f64 (log1p.f64 (+.f64 b (+.f64 a c))))) 1)
(-.f64 (+.f64 (+.f64 b (+.f64 a c)) (exp.f64 (log1p.f64 d))) 1)
(-.f64 (+.f64 (+.f64 d a) (/.f64 (pow.f64 b 2) (-.f64 b c))) (/.f64 (pow.f64 c 2) (-.f64 b c)))
(-.f64 (+.f64 (+.f64 d a) (exp.f64 (log1p.f64 (+.f64 b c)))) 1)
(-.f64 (+.f64 (+.f64 b (+.f64 d c)) (exp.f64 (log1p.f64 a))) 1)
(-.f64 (+.f64 (+.f64 d (+.f64 a b)) (exp.f64 (log1p.f64 c))) 1)
(-.f64 (+.f64 (+.f64 d (+.f64 a c)) (exp.f64 (log1p.f64 b))) 1)
(*.f64 (+.f64 d (+.f64 b (+.f64 a c))) 1)
(*.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (/.f64 1 (-.f64 d (+.f64 b (+.f64 a c)))))
(*.f64 1 (+.f64 d (+.f64 b (+.f64 a c))))
(.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (/.f64 1 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(*.f64 (sqrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) (sqrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(*.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 2) (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(*.f64 (/.f64 1 (-.f64 d (+.f64 b (+.f64 a c)))) (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))
(.f64 (/.f64 1 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))) (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))
(*.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (+.f64 d (+.f64 b (+.f64 a c))))
(.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (+.f64 (pow.f64 d 2) (.f64 (+.f64 b (+.f64 a c)) (+.f64 d (+.f64 b (+.f64 a c))))))
(.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (-.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (.f64 (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))) (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))) (-.f64 (pow.f64 d 2) (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))
(.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (+.f64 (pow.f64 (pow.f64 d 2) 3) (pow.f64 (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))) 3))) (+.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (-.f64 (.f64 (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))) (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (.f64 (pow.f64 d 2) (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))))
(/.f64 (+.f64 d (+.f64 b (+.f64 a c))) (/.f64 (-.f64 d (+.f64 b (+.f64 a c))) (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (-.f64 d (+.f64 b (+.f64 a c))))
(/.f64 1 (/.f64 1 (+.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (fma.f64 d d (*.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))
(/.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (/.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (+.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (-.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 d 2)) (+.f64 b (-.f64 (+.f64 a c) d)))
(/.f64 (-.f64 (*.f64 (+.f64 d a) (+.f64 d a)) (pow.f64 (+.f64 b c) 2)) (+.f64 d (-.f64 (-.f64 a b) c)))
(/.f64 (-.f64 (.f64 (pow.f64 d 3) (pow.f64 d 3)) (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))))
(/.f64 (-.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (*.f64 (-.f64 d (+.f64 b (+.f64 a c))) (+.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))))
(/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 d a) 3)) (+.f64 (.f64 (+.f64 d a) (+.f64 d a)) (-.f64 (pow.f64 (+.f64 b c) 2) (.f64 (+.f64 b c) (+.f64 d a)))))
(/.f64 (+.f64 (pow.f64 (pow.f64 d 3) 3) (pow.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) 3)) (.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (+.f64 (.f64 (pow.f64 d 3) (pow.f64 d 3)) (-.f64 (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (*.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))))))
(/.f64 (-.f64 (pow.f64 (pow.f64 d 2) 3) (pow.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) 3)) (.f64 (-.f64 d (+.f64 b (+.f64 a c))) (+.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (+.f64 (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (neg.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (neg.f64 (fma.f64 d d (*.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (/.f64 (-.f64 d (+.f64 b (+.f64 a c))) (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))))
(/.f64 (sqrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (/.f64 (fma.f64 d d (*.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (sqrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))) (/.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))))
(/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))) (/.f64 (-.f64 d (+.f64 b (+.f64 a c))) (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 d 2)) 1) (+.f64 b (-.f64 (+.f64 a c) d)))
(/.f64 (.f64 (-.f64 (.f64 (+.f64 d a) (+.f64 d a)) (pow.f64 (+.f64 b c) 2)) 1) (+.f64 d (-.f64 (-.f64 a b) c)))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 d a) 3)) 1) (+.f64 (.f64 (+.f64 d a) (+.f64 d a)) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 (+.f64 b c) (+.f64 d a)))))
(/.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) 1) (neg.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) 1) (neg.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (*.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (/.f64 1 (-.f64 d (+.f64 b (+.f64 a c))))) (+.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))
(/.f64 (.f64 (-.f64 (pow.f64 (pow.f64 d 2) 3) (pow.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) 3)) (/.f64 1 (-.f64 d (+.f64 b (+.f64 a c))))) (+.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (+.f64 (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 d 3) (pow.f64 d 3)) (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (/.f64 1 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))
(/.f64 (.f64 (+.f64 (pow.f64 (pow.f64 d 3) 3) (pow.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) 3)) (/.f64 1 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))) (+.f64 (.f64 (pow.f64 d 3) (pow.f64 d 3)) (-.f64 (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (*.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))))
(/.f64 (*.f64 (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (sqrt.f64 (+.f64 d (+.f64 b (+.f64 a c))))) (sqrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (sqrt.f64 (+.f64 d (+.f64 b (+.f64 a c))))) (sqrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 2)) (cbrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 2)) (cbrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) 1) (-.f64 d (+.f64 b (+.f64 a c))))
(/.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (+.f64 (sqrt.f64 d) (sqrt.f64 (+.f64 b (+.f64 a c))))) (-.f64 (sqrt.f64 d) (sqrt.f64 (+.f64 b (+.f64 a c)))))
(/.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (sqrt.f64 (-.f64 d (+.f64 b (+.f64 a c))))) (sqrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (*.f64 (cbrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))) (cbrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))))) (cbrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) 1) (fma.f64 d d (*.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))
(/.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (sqrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))) (sqrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (.f64 (cbrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))) (cbrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))) (cbrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(pow.f64 (+.f64 d (+.f64 b (+.f64 a c))) 1)
(pow.f64 (sqrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 2)
(pow.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 3)
(pow.f64 (pow.f64 (+.f64 d (+.f64 b (+.f64 a c))) 3) 1/3)
(sqrt.f64 (pow.f64 (+.f64 d (+.f64 b (+.f64 a c))) 2))
(log.f64 (exp.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 d (+.f64 b (+.f64 a c))))))
(cbrt.f64 (pow.f64 (+.f64 d (+.f64 b (+.f64 a c))) 3))
(expm1.f64 (log1p.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(exp.f64 (log.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(log1p.f64 (expm1.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(fma.f64 1 d (+.f64 b (+.f64 a c)))
(fma.f64 1 (+.f64 b (+.f64 a c)) d)
(fma.f64 (sqrt.f64 d) (sqrt.f64 d) (+.f64 b (+.f64 a c)))
(fma.f64 (sqrt.f64 (+.f64 b (+.f64 a c))) (sqrt.f64 (+.f64 b (+.f64 a c))) d)
(fma.f64 (pow.f64 (cbrt.f64 d) 2) (cbrt.f64 d) (+.f64 b (+.f64 a c)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 b (+.f64 a c))) 2) (cbrt.f64 (+.f64 b (+.f64 a c))) d)

simplify145.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

722×	`associate-/r*`
647×	`associate-+l+`
621×	`associate-+r+`
526×	`+-commutative`
369×	`associate--r+`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	280	8268
1	870	8078
2	3995	8078

Stop Event

1×	node limit

Counts

132 → 175

Calls

Call 1

Inputs
(+.f64 a (+.f64 b c))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
d
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
d
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 b (+.f64 c d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
a
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
a
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 c d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
b
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
b
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
c
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
c
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 a (+.f64 b (+.f64 c d)))
(-.f64 (/.f64 (pow.f64 a 2) (-.f64 (-.f64 a b) c)) (-.f64 (/.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (-.f64 a b) c)) d))
(-.f64 (/.f64 (pow.f64 d 2) (-.f64 d (+.f64 b (+.f64 a c)))) (/.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (-.f64 d (+.f64 b (+.f64 a c)))))
(-.f64 (/.f64 (pow.f64 b 2) (-.f64 b c)) (-.f64 (/.f64 (pow.f64 c 2) (-.f64 b c)) (+.f64 d a)))
(-.f64 (exp.f64 (log1p.f64 (+.f64 b (+.f64 a c)))) (-.f64 1 d))
(-.f64 (exp.f64 (log1p.f64 (+.f64 b c))) (-.f64 1 (+.f64 d a)))
(-.f64 (exp.f64 (log1p.f64 a)) (-.f64 1 (+.f64 b (+.f64 d c))))
(-.f64 (exp.f64 (log1p.f64 (+.f64 d (+.f64 b (+.f64 a c))))) 1)
(-.f64 (exp.f64 (log1p.f64 d)) (-.f64 1 (+.f64 b (+.f64 a c))))
(-.f64 (+.f64 d (/.f64 (pow.f64 a 2) (-.f64 (-.f64 a b) c))) (/.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (-.f64 a b) c)))
(-.f64 (+.f64 d (exp.f64 (log1p.f64 (+.f64 b (+.f64 a c))))) 1)
(-.f64 (+.f64 (+.f64 b (+.f64 a c)) (exp.f64 (log1p.f64 d))) 1)
(-.f64 (+.f64 (+.f64 d a) (/.f64 (pow.f64 b 2) (-.f64 b c))) (/.f64 (pow.f64 c 2) (-.f64 b c)))
(-.f64 (+.f64 (+.f64 d a) (exp.f64 (log1p.f64 (+.f64 b c)))) 1)
(-.f64 (+.f64 (+.f64 b (+.f64 d c)) (exp.f64 (log1p.f64 a))) 1)
(-.f64 (+.f64 (+.f64 d (+.f64 a b)) (exp.f64 (log1p.f64 c))) 1)
(-.f64 (+.f64 (+.f64 d (+.f64 a c)) (exp.f64 (log1p.f64 b))) 1)
(*.f64 (+.f64 d (+.f64 b (+.f64 a c))) 1)
(*.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (/.f64 1 (-.f64 d (+.f64 b (+.f64 a c)))))
(*.f64 1 (+.f64 d (+.f64 b (+.f64 a c))))
(.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (/.f64 1 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(*.f64 (sqrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) (sqrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(*.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 2) (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(*.f64 (/.f64 1 (-.f64 d (+.f64 b (+.f64 a c)))) (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))
(.f64 (/.f64 1 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))) (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))
(*.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (+.f64 d (+.f64 b (+.f64 a c))))
(.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (+.f64 (pow.f64 d 2) (.f64 (+.f64 b (+.f64 a c)) (+.f64 d (+.f64 b (+.f64 a c))))))
(.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (-.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (.f64 (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))) (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))) (-.f64 (pow.f64 d 2) (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))
(.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (+.f64 (pow.f64 (pow.f64 d 2) 3) (pow.f64 (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))) 3))) (+.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (-.f64 (.f64 (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))) (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (.f64 (pow.f64 d 2) (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))))
(/.f64 (+.f64 d (+.f64 b (+.f64 a c))) (/.f64 (-.f64 d (+.f64 b (+.f64 a c))) (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (-.f64 d (+.f64 b (+.f64 a c))))
(/.f64 1 (/.f64 1 (+.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (fma.f64 d d (*.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))
(/.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (/.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (+.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (-.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 d 2)) (+.f64 b (-.f64 (+.f64 a c) d)))
(/.f64 (-.f64 (*.f64 (+.f64 d a) (+.f64 d a)) (pow.f64 (+.f64 b c) 2)) (+.f64 d (-.f64 (-.f64 a b) c)))
(/.f64 (-.f64 (.f64 (pow.f64 d 3) (pow.f64 d 3)) (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))))
(/.f64 (-.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (*.f64 (-.f64 d (+.f64 b (+.f64 a c))) (+.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))))
(/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 d a) 3)) (+.f64 (.f64 (+.f64 d a) (+.f64 d a)) (-.f64 (pow.f64 (+.f64 b c) 2) (.f64 (+.f64 b c) (+.f64 d a)))))
(/.f64 (+.f64 (pow.f64 (pow.f64 d 3) 3) (pow.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) 3)) (.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (+.f64 (.f64 (pow.f64 d 3) (pow.f64 d 3)) (-.f64 (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (*.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))))))
(/.f64 (-.f64 (pow.f64 (pow.f64 d 2) 3) (pow.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) 3)) (.f64 (-.f64 d (+.f64 b (+.f64 a c))) (+.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (+.f64 (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (neg.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (neg.f64 (fma.f64 d d (*.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (/.f64 (-.f64 d (+.f64 b (+.f64 a c))) (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))))
(/.f64 (sqrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (/.f64 (fma.f64 d d (*.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (sqrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))) (/.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))))
(/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))) (/.f64 (-.f64 d (+.f64 b (+.f64 a c))) (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 d 2)) 1) (+.f64 b (-.f64 (+.f64 a c) d)))
(/.f64 (.f64 (-.f64 (.f64 (+.f64 d a) (+.f64 d a)) (pow.f64 (+.f64 b c) 2)) 1) (+.f64 d (-.f64 (-.f64 a b) c)))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 d a) 3)) 1) (+.f64 (.f64 (+.f64 d a) (+.f64 d a)) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 (+.f64 b c) (+.f64 d a)))))
(/.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) 1) (neg.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) 1) (neg.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (*.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (/.f64 1 (-.f64 d (+.f64 b (+.f64 a c))))) (+.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))
(/.f64 (.f64 (-.f64 (pow.f64 (pow.f64 d 2) 3) (pow.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) 3)) (/.f64 1 (-.f64 d (+.f64 b (+.f64 a c))))) (+.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (+.f64 (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 d 3) (pow.f64 d 3)) (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (/.f64 1 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))
(/.f64 (.f64 (+.f64 (pow.f64 (pow.f64 d 3) 3) (pow.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) 3)) (/.f64 1 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))) (+.f64 (.f64 (pow.f64 d 3) (pow.f64 d 3)) (-.f64 (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (*.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))))
(/.f64 (*.f64 (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (sqrt.f64 (+.f64 d (+.f64 b (+.f64 a c))))) (sqrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (sqrt.f64 (+.f64 d (+.f64 b (+.f64 a c))))) (sqrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 2)) (cbrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 2)) (cbrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) 1) (-.f64 d (+.f64 b (+.f64 a c))))
(/.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (+.f64 (sqrt.f64 d) (sqrt.f64 (+.f64 b (+.f64 a c))))) (-.f64 (sqrt.f64 d) (sqrt.f64 (+.f64 b (+.f64 a c)))))
(/.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (sqrt.f64 (-.f64 d (+.f64 b (+.f64 a c))))) (sqrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (*.f64 (cbrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))) (cbrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))))) (cbrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) 1) (fma.f64 d d (*.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))
(/.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (sqrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))) (sqrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (.f64 (cbrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))) (cbrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))) (cbrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(pow.f64 (+.f64 d (+.f64 b (+.f64 a c))) 1)
(pow.f64 (sqrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 2)
(pow.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 3)
(pow.f64 (pow.f64 (+.f64 d (+.f64 b (+.f64 a c))) 3) 1/3)
(sqrt.f64 (pow.f64 (+.f64 d (+.f64 b (+.f64 a c))) 2))
(log.f64 (exp.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 d (+.f64 b (+.f64 a c))))))
(cbrt.f64 (pow.f64 (+.f64 d (+.f64 b (+.f64 a c))) 3))
(expm1.f64 (log1p.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(exp.f64 (log.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(log1p.f64 (expm1.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(fma.f64 1 d (+.f64 b (+.f64 a c)))
(fma.f64 1 (+.f64 b (+.f64 a c)) d)
(fma.f64 (sqrt.f64 d) (sqrt.f64 d) (+.f64 b (+.f64 a c)))
(fma.f64 (sqrt.f64 (+.f64 b (+.f64 a c))) (sqrt.f64 (+.f64 b (+.f64 a c))) d)
(fma.f64 (pow.f64 (cbrt.f64 d) 2) (cbrt.f64 d) (+.f64 b (+.f64 a c)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 b (+.f64 a c))) 2) (cbrt.f64 (+.f64 b (+.f64 a c))) d)

Outputs
(+.f64 a (+.f64 b c))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
d
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
d
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 b (+.f64 c d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
a
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
a
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 c d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
b
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
b
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
c
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
c
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(-.f64 (/.f64 (pow.f64 a 2) (-.f64 (-.f64 a b) c)) (-.f64 (/.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (-.f64 a b) c)) d))
(+.f64 (-.f64 (/.f64 (pow.f64 a 2) (-.f64 a (+.f64 b c))) (/.f64 (pow.f64 (+.f64 b c) 2) (-.f64 a (+.f64 b c)))) d)
(-.f64 (+.f64 d (/.f64 (pow.f64 a 2) (-.f64 a (+.f64 b c)))) (/.f64 (pow.f64 (+.f64 b c) 2) (-.f64 a (+.f64 b c))))
(+.f64 d (-.f64 (/.f64 (pow.f64 a 2) (-.f64 a (+.f64 b c))) (/.f64 (pow.f64 (+.f64 b c) 2) (-.f64 a (+.f64 b c)))))
(-.f64 (/.f64 (pow.f64 d 2) (-.f64 d (+.f64 b (+.f64 a c)))) (/.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (-.f64 d (+.f64 b (+.f64 a c)))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(-.f64 (/.f64 (pow.f64 b 2) (-.f64 b c)) (-.f64 (/.f64 (pow.f64 c 2) (-.f64 b c)) (+.f64 d a)))
(+.f64 (-.f64 (/.f64 (pow.f64 b 2) (-.f64 b c)) (/.f64 (pow.f64 c 2) (-.f64 b c))) (+.f64 a d))
(+.f64 a (+.f64 d (-.f64 (/.f64 (pow.f64 b 2) (-.f64 b c)) (/.f64 (pow.f64 c 2) (-.f64 b c)))))
(-.f64 (exp.f64 (log1p.f64 (+.f64 b (+.f64 a c)))) (-.f64 1 d))
(+.f64 (-.f64 (exp.f64 (log1p.f64 (+.f64 a (+.f64 b c)))) 1) d)
(+.f64 d (expm1.f64 (log1p.f64 (+.f64 a (+.f64 b c)))))
(-.f64 (exp.f64 (log1p.f64 (+.f64 b c))) (-.f64 1 (+.f64 d a)))
(-.f64 (exp.f64 (log1p.f64 (+.f64 b c))) (-.f64 1 (+.f64 a d)))
(+.f64 a (+.f64 d (expm1.f64 (log1p.f64 (+.f64 b c)))))
(-.f64 (exp.f64 (log1p.f64 a)) (-.f64 1 (+.f64 b (+.f64 d c))))
(+.f64 (-.f64 (exp.f64 (log1p.f64 a)) 1) (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 (expm1.f64 (log1p.f64 a)) (+.f64 b d)) c)
(+.f64 b (+.f64 (+.f64 c d) (expm1.f64 (log1p.f64 a))))
(-.f64 (exp.f64 (log1p.f64 (+.f64 d (+.f64 b (+.f64 a c))))) 1)
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(-.f64 (exp.f64 (log1p.f64 d)) (-.f64 1 (+.f64 b (+.f64 a c))))
(+.f64 (-.f64 (exp.f64 (log1p.f64 d)) 1) (+.f64 a (+.f64 b c)))
(+.f64 a (+.f64 (+.f64 b c) (expm1.f64 (log1p.f64 d))))
(-.f64 (+.f64 d (/.f64 (pow.f64 a 2) (-.f64 (-.f64 a b) c))) (/.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (-.f64 a b) c)))
(+.f64 (-.f64 (/.f64 (pow.f64 a 2) (-.f64 a (+.f64 b c))) (/.f64 (pow.f64 (+.f64 b c) 2) (-.f64 a (+.f64 b c)))) d)
(-.f64 (+.f64 d (/.f64 (pow.f64 a 2) (-.f64 a (+.f64 b c)))) (/.f64 (pow.f64 (+.f64 b c) 2) (-.f64 a (+.f64 b c))))
(+.f64 d (-.f64 (/.f64 (pow.f64 a 2) (-.f64 a (+.f64 b c))) (/.f64 (pow.f64 (+.f64 b c) 2) (-.f64 a (+.f64 b c)))))
(-.f64 (+.f64 d (exp.f64 (log1p.f64 (+.f64 b (+.f64 a c))))) 1)
(+.f64 (-.f64 (exp.f64 (log1p.f64 (+.f64 a (+.f64 b c)))) 1) d)
(+.f64 d (expm1.f64 (log1p.f64 (+.f64 a (+.f64 b c)))))
(-.f64 (+.f64 (+.f64 b (+.f64 a c)) (exp.f64 (log1p.f64 d))) 1)
(+.f64 (-.f64 (exp.f64 (log1p.f64 d)) 1) (+.f64 a (+.f64 b c)))
(+.f64 a (+.f64 (+.f64 b c) (expm1.f64 (log1p.f64 d))))
(-.f64 (+.f64 (+.f64 d a) (/.f64 (pow.f64 b 2) (-.f64 b c))) (/.f64 (pow.f64 c 2) (-.f64 b c)))
(+.f64 (-.f64 (/.f64 (pow.f64 b 2) (-.f64 b c)) (/.f64 (pow.f64 c 2) (-.f64 b c))) (+.f64 a d))
(+.f64 a (+.f64 d (-.f64 (/.f64 (pow.f64 b 2) (-.f64 b c)) (/.f64 (pow.f64 c 2) (-.f64 b c)))))
(-.f64 (+.f64 (+.f64 d a) (exp.f64 (log1p.f64 (+.f64 b c)))) 1)
(-.f64 (exp.f64 (log1p.f64 (+.f64 b c))) (-.f64 1 (+.f64 a d)))
(+.f64 a (+.f64 d (expm1.f64 (log1p.f64 (+.f64 b c)))))
(-.f64 (+.f64 (+.f64 b (+.f64 d c)) (exp.f64 (log1p.f64 a))) 1)
(+.f64 (-.f64 (exp.f64 (log1p.f64 a)) 1) (+.f64 b (+.f64 c d)))
(+.f64 (+.f64 (expm1.f64 (log1p.f64 a)) (+.f64 b d)) c)
(+.f64 b (+.f64 (+.f64 c d) (expm1.f64 (log1p.f64 a))))
(-.f64 (+.f64 (+.f64 d (+.f64 a b)) (exp.f64 (log1p.f64 c))) 1)
(+.f64 (+.f64 a (+.f64 b d)) (-.f64 (exp.f64 (log1p.f64 c)) 1))
(+.f64 d (+.f64 (+.f64 a b) (expm1.f64 (log1p.f64 c))))
(+.f64 a (+.f64 (+.f64 b d) (expm1.f64 (log1p.f64 c))))
(-.f64 (+.f64 (+.f64 d (+.f64 a c)) (exp.f64 (log1p.f64 b))) 1)
(+.f64 (+.f64 a (+.f64 c d)) (-.f64 (exp.f64 (log1p.f64 b)) 1))
(+.f64 a (+.f64 (+.f64 c d) (expm1.f64 (log1p.f64 b))))
(*.f64 (+.f64 d (+.f64 b (+.f64 a c))) 1)
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(*.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (/.f64 1 (-.f64 d (+.f64 b (+.f64 a c)))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(*.f64 1 (+.f64 d (+.f64 b (+.f64 a c))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (/.f64 1 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) 1) (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d))))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d)))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d))))))
(*.f64 (sqrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) (sqrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(*.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 2))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 2) (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(*.f64 (/.f64 1 (-.f64 d (+.f64 b (+.f64 a c)))) (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(.f64 (/.f64 1 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))) (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))
(/.f64 (.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) 1) (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d))))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d)))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d))))))
(*.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (+.f64 d (+.f64 b (+.f64 a c))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (+.f64 (pow.f64 d 2) (.f64 (+.f64 b (+.f64 a c)) (+.f64 d (+.f64 b (+.f64 a c))))))
(/.f64 (.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2)) (+.f64 (pow.f64 d 2) (.f64 (+.f64 a (+.f64 b c)) (+.f64 (+.f64 b d) (+.f64 a c))))) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)))
(*.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2)) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))) (fma.f64 (+.f64 a (+.f64 b c)) (+.f64 (+.f64 b c) (+.f64 a d)) (pow.f64 d 2)))
(/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2)) (/.f64 (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (+.f64 c d))) (pow.f64 d 2))))
(.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (-.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (.f64 (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))) (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))) (-.f64 (pow.f64 d 2) (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))
(.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (-.f64 (pow.f64 d 4) (.f64 (pow.f64 (+.f64 a (+.f64 b c)) 2) (.f64 (+.f64 b (+.f64 a (-.f64 c d))) (+.f64 b (+.f64 a (-.f64 c d))))))) (-.f64 (pow.f64 d 2) (.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d))))))
(.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (-.f64 (pow.f64 d 4) (.f64 (pow.f64 (+.f64 a (+.f64 b c)) 2) (.f64 (+.f64 a (-.f64 (+.f64 b c) d)) (+.f64 a (-.f64 (+.f64 b c) d)))))) (-.f64 (pow.f64 d 2) (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d)))))
(.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (-.f64 (pow.f64 d 4) (.f64 (pow.f64 (+.f64 a (+.f64 b c)) 2) (.f64 (+.f64 a (+.f64 b (-.f64 c d))) (+.f64 a (+.f64 b (-.f64 c d))))))) (-.f64 (pow.f64 d 2) (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d))))))
(.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (+.f64 (pow.f64 (pow.f64 d 2) 3) (pow.f64 (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))) 3))) (+.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (-.f64 (.f64 (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))) (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (.f64 (pow.f64 d 2) (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))))
(.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (+.f64 (pow.f64 (pow.f64 d 2) 3) (pow.f64 (.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d)))) 3))) (+.f64 (pow.f64 d 4) (.f64 (.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d)))) (-.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d)))) (pow.f64 d 2)))))
(.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (+.f64 (pow.f64 (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d))) 3) (pow.f64 d 6))) (fma.f64 (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d))) (-.f64 (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d))) (pow.f64 d 2)) (pow.f64 d 4)))
(.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (+.f64 (pow.f64 (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d)))) 3) (pow.f64 d 6))) (fma.f64 (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d)))) (-.f64 (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d)))) (pow.f64 d 2)) (pow.f64 d 4)))
(/.f64 (+.f64 d (+.f64 b (+.f64 a c))) (/.f64 (-.f64 d (+.f64 b (+.f64 a c))) (-.f64 d (+.f64 b (+.f64 a c)))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (-.f64 d (+.f64 b (+.f64 a c))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(/.f64 1 (/.f64 1 (+.f64 d (+.f64 b (+.f64 a c)))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (fma.f64 d d (*.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))
(/.f64 (.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) 1) (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d))))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d)))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d))))))
(/.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (/.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (+.f64 d (+.f64 b (+.f64 a c)))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(/.f64 (-.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 d 2)) (+.f64 b (-.f64 (+.f64 a c) d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(/.f64 (-.f64 (*.f64 (+.f64 d a) (+.f64 d a)) (pow.f64 (+.f64 b c) 2)) (+.f64 d (-.f64 (-.f64 a b) c)))
(/.f64 (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (pow.f64 (+.f64 b c) 2)) (+.f64 d (-.f64 a (+.f64 b c))))
(/.f64 (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (pow.f64 (+.f64 b c) 2)) (-.f64 a (+.f64 b (-.f64 c d))))
(/.f64 (-.f64 (.f64 (pow.f64 d 3) (pow.f64 d 3)) (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))))
(/.f64 (-.f64 (pow.f64 d 6) (pow.f64 (+.f64 a (+.f64 b c)) 6)) (.f64 (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d))))) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))))
(/.f64 (-.f64 (pow.f64 d 6) (pow.f64 (+.f64 a (+.f64 b c)) 6)) (.f64 (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d)))) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))))
(/.f64 (/.f64 (-.f64 (pow.f64 d 6) (pow.f64 (+.f64 a (+.f64 b c)) 6)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d)))))) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)))
(/.f64 (-.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (*.f64 (-.f64 d (+.f64 b (+.f64 a c))) (+.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))))
(/.f64 (-.f64 (pow.f64 d 4) (pow.f64 (+.f64 a (+.f64 b c)) 4)) (*.f64 (-.f64 (-.f64 d b) (+.f64 a c)) (+.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))))
(*.f64 (/.f64 (fma.f64 d d (pow.f64 (+.f64 a (+.f64 b c)) 2)) (fma.f64 d d (pow.f64 (+.f64 a (+.f64 b c)) 2))) (+.f64 (+.f64 b c) (+.f64 a d)))
(*.f64 (/.f64 (fma.f64 d d (pow.f64 (+.f64 a (+.f64 b c)) 2)) (fma.f64 d d (pow.f64 (+.f64 a (+.f64 b c)) 2))) (+.f64 a (+.f64 b (+.f64 c d))))
(/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 d a) 3)) (+.f64 (.f64 (+.f64 d a) (+.f64 d a)) (-.f64 (pow.f64 (+.f64 b c) 2) (.f64 (+.f64 b c) (+.f64 d a)))))
(/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 (+.f64 a d) (+.f64 a d) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 (+.f64 b c) (+.f64 a d)))))
(/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 (+.f64 a d) (+.f64 a d) (*.f64 (+.f64 b c) (-.f64 (+.f64 b c) (+.f64 a d)))))
(/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 (+.f64 a d) (+.f64 a d) (*.f64 (+.f64 b c) (-.f64 (+.f64 b (-.f64 c d)) a))))
(/.f64 (+.f64 (pow.f64 (pow.f64 d 3) 3) (pow.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) 3)) (.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (+.f64 (.f64 (pow.f64 d 3) (pow.f64 d 3)) (-.f64 (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (*.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))))))
(/.f64 (+.f64 (pow.f64 (pow.f64 d 3) 3) (pow.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) 3)) (.f64 (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d))))) (-.f64 (+.f64 (pow.f64 d 6) (pow.f64 (+.f64 a (+.f64 b c)) 6)) (*.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)))))
(/.f64 (+.f64 (pow.f64 (pow.f64 d 3) 3) (pow.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) 3)) (.f64 (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d)))) (fma.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (-.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (pow.f64 d 3)) (pow.f64 d 6))))
(/.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 d 3) 3) (pow.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) 3)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d)))))) (fma.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (-.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (pow.f64 d 3)) (pow.f64 d 6)))
(/.f64 (-.f64 (pow.f64 (pow.f64 d 2) 3) (pow.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) 3)) (.f64 (-.f64 d (+.f64 b (+.f64 a c))) (+.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (+.f64 (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))))))
(/.f64 (-.f64 (pow.f64 (pow.f64 d 2) 3) (pow.f64 (pow.f64 (+.f64 a (+.f64 b c)) 2) 3)) (.f64 (-.f64 (-.f64 d b) (+.f64 a c)) (+.f64 (pow.f64 d 4) (.f64 (pow.f64 (+.f64 a (+.f64 b c)) 2) (+.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))))))
(/.f64 (-.f64 (pow.f64 d 6) (pow.f64 (+.f64 a (+.f64 b c)) 6)) (*.f64 (-.f64 (-.f64 d a) (+.f64 b c)) (fma.f64 (pow.f64 (+.f64 a (+.f64 b c)) 2) (fma.f64 d d (pow.f64 (+.f64 a (+.f64 b c)) 2)) (pow.f64 d 4))))
(/.f64 (-.f64 (pow.f64 d 6) (pow.f64 (+.f64 a (+.f64 b c)) 6)) (*.f64 (-.f64 (-.f64 d b) (+.f64 a c)) (fma.f64 (pow.f64 (+.f64 a (+.f64 b c)) 2) (fma.f64 d d (pow.f64 (+.f64 a (+.f64 b c)) 2)) (pow.f64 d 4))))
(/.f64 (neg.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (neg.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(/.f64 (neg.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (neg.f64 (fma.f64 d d (*.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))) (neg.f64 (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d)))))))
(.f64 1 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d))))))
(.f64 1 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d)))))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (/.f64 (-.f64 d (+.f64 b (+.f64 a c))) (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))))
(*.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))) (-.f64 (-.f64 d b) (+.f64 a c))) (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))) (/.f64 (-.f64 (-.f64 d a) (+.f64 b c)) (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2)))))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))) (/.f64 (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))) (-.f64 (-.f64 d b) (+.f64 a c))))
(/.f64 (sqrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (/.f64 (fma.f64 d d (*.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (sqrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))))
(.f64 (/.f64 (sqrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))) (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d)))))) (sqrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))))
(.f64 (hypot.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3/2) (pow.f64 d 3/2)) (/.f64 (hypot.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3/2) (pow.f64 d 3/2)) (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d))))))
(/.f64 (.f64 (hypot.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3/2) (pow.f64 d 3/2)) (hypot.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3/2) (pow.f64 d 3/2))) (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d))))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))) (/.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))) (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))))
(/.f64 (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))) (/.f64 (/.f64 (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d))))) (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)))) (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)))))
(.f64 (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))) (/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))) (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)))) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d))))))
(.f64 (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))) (/.f64 (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))) (/.f64 (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d))))) (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))))))
(/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))) (/.f64 (-.f64 d (+.f64 b (+.f64 a c))) (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))))
(/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))) (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2)))) (/.f64 (-.f64 (-.f64 d b) (+.f64 a c)) (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2)))))
(.f64 (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))) (/.f64 (.f64 (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))) (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2)))) (-.f64 (-.f64 d a) (+.f64 b c))))
(*.f64 (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))) (/.f64 (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))) (/.f64 (-.f64 (-.f64 d b) (+.f64 a c)) (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))))))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 d 2)) 1) (+.f64 b (-.f64 (+.f64 a c) d)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(/.f64 (.f64 (-.f64 (.f64 (+.f64 d a) (+.f64 d a)) (pow.f64 (+.f64 b c) 2)) 1) (+.f64 d (-.f64 (-.f64 a b) c)))
(/.f64 (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (pow.f64 (+.f64 b c) 2)) (+.f64 d (-.f64 a (+.f64 b c))))
(/.f64 (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (pow.f64 (+.f64 b c) 2)) (-.f64 a (+.f64 b (-.f64 c d))))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 d a) 3)) 1) (+.f64 (.f64 (+.f64 d a) (+.f64 d a)) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 (+.f64 b c) (+.f64 d a)))))
(/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 (+.f64 a d) (+.f64 a d) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 (+.f64 b c) (+.f64 a d)))))
(/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 (+.f64 a d) (+.f64 a d) (*.f64 (+.f64 b c) (-.f64 (+.f64 b c) (+.f64 a d)))))
(/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 (+.f64 a d) (+.f64 a d) (*.f64 (+.f64 b c) (-.f64 (+.f64 b (-.f64 c d)) a))))
(/.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) 1) (neg.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) 1) (neg.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))) (neg.f64 (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d)))))))
(.f64 1 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d))))))
(.f64 1 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d)))))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (*.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (/.f64 1 (-.f64 d (+.f64 b (+.f64 a c))))) (+.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))
(/.f64 (-.f64 (pow.f64 d 4) (pow.f64 (+.f64 a (+.f64 b c)) 4)) (*.f64 (-.f64 (-.f64 d b) (+.f64 a c)) (+.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))))
(*.f64 (/.f64 (fma.f64 d d (pow.f64 (+.f64 a (+.f64 b c)) 2)) (fma.f64 d d (pow.f64 (+.f64 a (+.f64 b c)) 2))) (+.f64 (+.f64 b c) (+.f64 a d)))
(*.f64 (/.f64 (fma.f64 d d (pow.f64 (+.f64 a (+.f64 b c)) 2)) (fma.f64 d d (pow.f64 (+.f64 a (+.f64 b c)) 2))) (+.f64 a (+.f64 b (+.f64 c d))))
(/.f64 (.f64 (-.f64 (pow.f64 (pow.f64 d 2) 3) (pow.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) 3)) (/.f64 1 (-.f64 d (+.f64 b (+.f64 a c))))) (+.f64 (.f64 (pow.f64 d 2) (pow.f64 d 2)) (+.f64 (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)))))
(/.f64 (-.f64 (pow.f64 (pow.f64 d 2) 3) (pow.f64 (pow.f64 (+.f64 a (+.f64 b c)) 2) 3)) (.f64 (-.f64 (-.f64 d b) (+.f64 a c)) (+.f64 (pow.f64 d 4) (.f64 (pow.f64 (+.f64 a (+.f64 b c)) 2) (+.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))))))
(/.f64 (-.f64 (pow.f64 d 6) (pow.f64 (+.f64 a (+.f64 b c)) 6)) (*.f64 (-.f64 (-.f64 d a) (+.f64 b c)) (fma.f64 (pow.f64 (+.f64 a (+.f64 b c)) 2) (fma.f64 d d (pow.f64 (+.f64 a (+.f64 b c)) 2)) (pow.f64 d 4))))
(/.f64 (-.f64 (pow.f64 d 6) (pow.f64 (+.f64 a (+.f64 b c)) 6)) (*.f64 (-.f64 (-.f64 d b) (+.f64 a c)) (fma.f64 (pow.f64 (+.f64 a (+.f64 b c)) 2) (fma.f64 d d (pow.f64 (+.f64 a (+.f64 b c)) 2)) (pow.f64 d 4))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 d 3) (pow.f64 d 3)) (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (/.f64 1 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))
(/.f64 (-.f64 (pow.f64 d 6) (pow.f64 (+.f64 a (+.f64 b c)) 6)) (.f64 (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d))))) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))))
(/.f64 (-.f64 (pow.f64 d 6) (pow.f64 (+.f64 a (+.f64 b c)) 6)) (.f64 (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d)))) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))))
(/.f64 (/.f64 (-.f64 (pow.f64 d 6) (pow.f64 (+.f64 a (+.f64 b c)) 6)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d)))))) (-.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)))
(/.f64 (.f64 (+.f64 (pow.f64 (pow.f64 d 3) 3) (pow.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) 3)) (/.f64 1 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))) (+.f64 (.f64 (pow.f64 d 3) (pow.f64 d 3)) (-.f64 (.f64 (pow.f64 (+.f64 b (+.f64 a c)) 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (*.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)))))
(/.f64 (+.f64 (pow.f64 (pow.f64 d 3) 3) (pow.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) 3)) (.f64 (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d))))) (-.f64 (+.f64 (pow.f64 d 6) (pow.f64 (+.f64 a (+.f64 b c)) 6)) (*.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)))))
(/.f64 (+.f64 (pow.f64 (pow.f64 d 3) 3) (pow.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) 3)) (.f64 (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d)))) (fma.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (-.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (pow.f64 d 3)) (pow.f64 d 6))))
(/.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 d 3) 3) (pow.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) 3)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d)))))) (fma.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (-.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (pow.f64 d 3)) (pow.f64 d 6)))
(/.f64 (*.f64 (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (sqrt.f64 (+.f64 d (+.f64 b (+.f64 a c))))) (sqrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))) (/.f64 (sqrt.f64 (-.f64 (-.f64 d b) (+.f64 a c))) (sqrt.f64 (+.f64 (+.f64 b d) (+.f64 a c)))))
(*.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))) (sqrt.f64 (-.f64 (-.f64 d a) (+.f64 b c)))) (sqrt.f64 (+.f64 (+.f64 b c) (+.f64 a d))))
(*.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))) (sqrt.f64 (-.f64 (-.f64 d b) (+.f64 a c)))) (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))))
(/.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (sqrt.f64 (+.f64 d (+.f64 b (+.f64 a c))))) (sqrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (sqrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))) (/.f64 (sqrt.f64 (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d)))))) (sqrt.f64 (+.f64 (+.f64 b d) (+.f64 a c)))))
(/.f64 (hypot.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3/2) (pow.f64 d 3/2)) (/.f64 (sqrt.f64 (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d))))) (sqrt.f64 (+.f64 (+.f64 b c) (+.f64 a d)))))
(.f64 (/.f64 (hypot.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3/2) (pow.f64 d 3/2)) (sqrt.f64 (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d))))))) (sqrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))))
(/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2))) (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 2)) (cbrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(/.f64 (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))) (/.f64 (cbrt.f64 (-.f64 (-.f64 d b) (+.f64 a c))) (pow.f64 (cbrt.f64 (+.f64 (+.f64 b d) (+.f64 a c))) 2)))
(*.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))) (cbrt.f64 (-.f64 (-.f64 d a) (+.f64 b c)))) (pow.f64 (cbrt.f64 (+.f64 (+.f64 b c) (+.f64 a d))) 2))
(*.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2))) (cbrt.f64 (-.f64 (-.f64 d b) (+.f64 a c)))) (pow.f64 (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) 2))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3))) (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 2)) (cbrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 b d) (+.f64 a c))) 2) (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)))) (cbrt.f64 (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d)))))))
(.f64 (/.f64 (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))) (cbrt.f64 (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d)))))) (pow.f64 (cbrt.f64 (+.f64 (+.f64 b c) (+.f64 a d))) 2))
(.f64 (/.f64 (cbrt.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3))) (cbrt.f64 (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d))))))) (pow.f64 (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) 2))
(/.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) 1) (-.f64 d (+.f64 b (+.f64 a c))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(/.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (+.f64 (sqrt.f64 d) (sqrt.f64 (+.f64 b (+.f64 a c))))) (-.f64 (sqrt.f64 d) (sqrt.f64 (+.f64 b (+.f64 a c)))))
(/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2)) (*.f64 (-.f64 (sqrt.f64 d) (sqrt.f64 (+.f64 a (+.f64 b c)))) (+.f64 (sqrt.f64 d) (sqrt.f64 (+.f64 a (+.f64 b c))))))
(/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 a (+.f64 b c)) 2)) (*.f64 (+.f64 (sqrt.f64 d) (sqrt.f64 (+.f64 a (+.f64 b c)))) (-.f64 (sqrt.f64 d) (sqrt.f64 (+.f64 a (+.f64 b c))))))
(/.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (sqrt.f64 (-.f64 d (+.f64 b (+.f64 a c))))) (sqrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(/.f64 (/.f64 (-.f64 (pow.f64 d 2) (pow.f64 (+.f64 b (+.f64 a c)) 2)) (*.f64 (cbrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))) (cbrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))))) (cbrt.f64 (-.f64 d (+.f64 b (+.f64 a c)))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(/.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) 1) (fma.f64 d d (*.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))
(/.f64 (.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) 1) (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d))))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d)))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d))))))
(/.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (sqrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d)))))) (sqrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) 1) (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d))))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d)))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d))))))
(/.f64 (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 b (+.f64 a c)) 3)) (.f64 (cbrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))) (cbrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))) (cbrt.f64 (fma.f64 d d (.f64 (+.f64 b (+.f64 a c)) (+.f64 b (-.f64 (+.f64 a c) d))))))
(/.f64 (.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) 1) (fma.f64 d d (.f64 (+.f64 a (+.f64 b c)) (+.f64 b (+.f64 a (-.f64 c d))))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (-.f64 (+.f64 b c) d)))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a (+.f64 b c)) 3)) (fma.f64 d d (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b (-.f64 c d))))))
(pow.f64 (+.f64 d (+.f64 b (+.f64 a c))) 1)
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(pow.f64 (sqrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 2)
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(pow.f64 (cbrt.f64 (+.f64 d (+.f64 b (+.f64 a c)))) 3)
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(pow.f64 (pow.f64 (+.f64 d (+.f64 b (+.f64 a c))) 3) 1/3)
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(sqrt.f64 (pow.f64 (+.f64 d (+.f64 b (+.f64 a c))) 2))
(sqrt.f64 (pow.f64 (+.f64 (+.f64 b d) (+.f64 a c)) 2))
(fabs.f64 (+.f64 (+.f64 b c) (+.f64 a d)))
(fabs.f64 (+.f64 a (+.f64 b (+.f64 c d))))
(log.f64 (exp.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 d (+.f64 b (+.f64 a c))))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(cbrt.f64 (pow.f64 (+.f64 d (+.f64 b (+.f64 a c))) 3))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(expm1.f64 (log1p.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(exp.f64 (log.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(log1p.f64 (expm1.f64 (+.f64 d (+.f64 b (+.f64 a c)))))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(fma.f64 1 d (+.f64 b (+.f64 a c)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(fma.f64 1 (+.f64 b (+.f64 a c)) d)
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(fma.f64 (sqrt.f64 d) (sqrt.f64 d) (+.f64 b (+.f64 a c)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(fma.f64 (sqrt.f64 (+.f64 b (+.f64 a c))) (sqrt.f64 (+.f64 b (+.f64 a c))) d)
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(fma.f64 (pow.f64 (cbrt.f64 d) 2) (cbrt.f64 d) (+.f64 b (+.f64 a c)))
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 b (+.f64 a c))) 2) (cbrt.f64 (+.f64 b (+.f64 a c))) d)
(+.f64 (+.f64 a b) (+.f64 c d))
(+.f64 (+.f64 b c) (+.f64 a d))
(+.f64 a (+.f64 b (+.f64 c d)))

eval60.0ms (1.3%)

Compiler: Compiled 5204 to 1952 computations (62.5% saved)

prune30.0ms (0.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	171	4	175
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	172	4	176

Accuracy

100.0%

Counts

176 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 2 (+.f64 (+.f64 b c) (+.f64 a d)))
▶	11.2%	(*.f64 2 (+.f64 a (+.f64 c d)))
▶	11.1%	(*.f64 2 c)
▶	6.7%	(*.f64 2 b)
▶	100.0%	(*.f64 2 (+.f64 (+.f64 b c) (+.f64 a d)))
▶	11.2%	(*.f64 2 (+.f64 a (+.f64 c d)))
▶	11.1%	(*.f64 2 c)
▶	6.7%	(*.f64 2 b)

Compiler

Compiled 76 to 58 computations (23.7% saved)

localize58.0ms (1.3%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	98.0%	(+.f64 a (+.f64 c d))

Compiler

Compiled 61 to 22 computations (63.9% saved)

series1.0ms (0%)

Counts

1 → 9

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	c	@	0	(+.f64 a (+.f64 c d))
0.0ms	a	@	0	(+.f64 a (+.f64 c d))
0.0ms	c	@	-inf	(+.f64 a (+.f64 c d))
0.0ms	d	@	-inf	(+.f64 a (+.f64 c d))
0.0ms	a	@	-inf	(+.f64 a (+.f64 c d))

rewrite101.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

510×	`associate-*r/`
380×	`distribute-lft-in`
367×	`distribute-rgt-in`
353×	`associate-*l/`
320×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	128	22
2	1850	22

Stop Event

1×	node limit

Counts

1 → 94

Calls

Call 1

Inputs
(+.f64 a (+.f64 c d))

Outputs
(-.f64 (/.f64 (pow.f64 c 2) (-.f64 c d)) (-.f64 (/.f64 (pow.f64 d 2) (-.f64 c d)) a))
(-.f64 (/.f64 (pow.f64 a 2) (-.f64 a (+.f64 c d))) (/.f64 (pow.f64 (+.f64 c d) 2) (-.f64 a (+.f64 c d))))
(-.f64 (exp.f64 (log1p.f64 c)) (-.f64 1 (+.f64 a d)))
(-.f64 (exp.f64 (log1p.f64 (+.f64 c d))) (-.f64 1 a))
(-.f64 (exp.f64 (log1p.f64 d)) (-.f64 1 (+.f64 a c)))
(-.f64 (exp.f64 (log1p.f64 (+.f64 a (+.f64 c d)))) 1)
(-.f64 (exp.f64 (log1p.f64 a)) (-.f64 1 (+.f64 c d)))
(-.f64 (+.f64 a (/.f64 (pow.f64 c 2) (-.f64 c d))) (/.f64 (pow.f64 d 2) (-.f64 c d)))
(-.f64 (+.f64 a (exp.f64 (log1p.f64 (+.f64 c d)))) 1)
(-.f64 (+.f64 (+.f64 c d) (exp.f64 (log1p.f64 a))) 1)
(-.f64 (+.f64 (+.f64 a c) (exp.f64 (log1p.f64 d))) 1)
(-.f64 (+.f64 (+.f64 a d) (exp.f64 (log1p.f64 c))) 1)
(*.f64 (+.f64 a (+.f64 c d)) 1)
(*.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (/.f64 1 (-.f64 a (+.f64 c d))))
(*.f64 1 (+.f64 a (+.f64 c d)))
(.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (/.f64 1 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(*.f64 (sqrt.f64 (+.f64 a (+.f64 c d))) (sqrt.f64 (+.f64 a (+.f64 c d))))
(*.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2) (cbrt.f64 (+.f64 a (+.f64 c d))))
(*.f64 (/.f64 1 (-.f64 a (+.f64 c d))) (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))
(.f64 (/.f64 1 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))
(*.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (+.f64 a (+.f64 c d)))
(.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (+.f64 (pow.f64 a 2) (.f64 (+.f64 c d) (+.f64 a (+.f64 c d)))))
(.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (-.f64 (.f64 a (pow.f64 a 3)) (.f64 (pow.f64 (+.f64 c d) 2) (.f64 (+.f64 d (-.f64 c a)) (+.f64 d (-.f64 c a)))))) (-.f64 (pow.f64 a 2) (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (pow.f64 a 2) 3) (pow.f64 (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))) 3))) (+.f64 (.f64 a (pow.f64 a 3)) (.f64 (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))) (-.f64 (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))) (pow.f64 a 2)))))
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) (cbrt.f64 (+.f64 a (+.f64 c d)))) (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) (cbrt.f64 (+.f64 a (+.f64 c d)))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 a (+.f64 c d)))) (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 a (+.f64 c d)))) (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2))))
(.f64 (.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) (sqrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d))))) (*.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) (sqrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d))))))
(.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2)) (cbrt.f64 (sqrt.f64 (+.f64 a (+.f64 c d))))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2)) (cbrt.f64 (sqrt.f64 (+.f64 a (+.f64 c d))))))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 3/2) (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 3/2))
(*.f64 (pow.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) 1/6) (pow.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) 1/6))
(/.f64 (+.f64 a (+.f64 c d)) (/.f64 (-.f64 a (+.f64 c d)) (-.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(/.f64 1 (/.f64 1 (+.f64 a (+.f64 c d))))
(/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(/.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (/.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (+.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 a 2)) (+.f64 d (-.f64 c a)))
(/.f64 (-.f64 (*.f64 (+.f64 a c) (+.f64 a c)) (pow.f64 d 2)) (+.f64 a (-.f64 c d)))
(/.f64 (-.f64 (.f64 (pow.f64 a 3) (pow.f64 a 3)) (.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 (+.f64 c d) 3))) (.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (-.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))))
(/.f64 (-.f64 (.f64 a (pow.f64 a 3)) (.f64 (+.f64 c d) (pow.f64 (+.f64 c d) 3))) (*.f64 (-.f64 a (+.f64 c d)) (+.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a c) 3)) (+.f64 (.f64 (+.f64 a c) (+.f64 a c)) (.f64 d (-.f64 d (+.f64 a c)))))
(/.f64 (+.f64 (pow.f64 (pow.f64 a 3) 3) (pow.f64 (pow.f64 (+.f64 c d) 3) 3)) (.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (+.f64 (.f64 (pow.f64 a 3) (pow.f64 a 3)) (.f64 (pow.f64 (+.f64 c d) 3) (-.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 a 3))))))
(/.f64 (-.f64 (pow.f64 (pow.f64 a 2) 3) (pow.f64 (pow.f64 (+.f64 c d) 2) 3)) (.f64 (-.f64 a (+.f64 c d)) (+.f64 (.f64 a (pow.f64 a 3)) (*.f64 (pow.f64 (+.f64 c d) 2) (+.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (neg.f64 (-.f64 a (+.f64 c d))))
(/.f64 (neg.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (neg.f64 (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (/.f64 (-.f64 a (+.f64 c d)) (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))))
(/.f64 (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (/.f64 (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))) (/.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))))
(/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))) (/.f64 (-.f64 a (+.f64 c d)) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))))
(/.f64 (.f64 1 (-.f64 (.f64 (+.f64 a c) (+.f64 a c)) (pow.f64 d 2))) (+.f64 a (-.f64 c d)))
(/.f64 (.f64 1 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a c) 3))) (+.f64 (.f64 (+.f64 a c) (+.f64 a c)) (*.f64 d (-.f64 d (+.f64 a c)))))
(/.f64 (*.f64 (sqrt.f64 (+.f64 a (+.f64 c d))) (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))) (sqrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (.f64 (sqrt.f64 (+.f64 a (+.f64 c d))) (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))) (sqrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))) (cbrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))) (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 a 2)) 1) (+.f64 d (-.f64 c a)))
(/.f64 (.f64 (-.f64 (.f64 (+.f64 a c) (+.f64 a c)) (pow.f64 d 2)) 1) (+.f64 a (-.f64 c d)))
(/.f64 (.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a c) 3)) 1) (+.f64 (.f64 (+.f64 a c) (+.f64 a c)) (*.f64 d (-.f64 d (+.f64 a c)))))
(/.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) 1) (neg.f64 (-.f64 a (+.f64 c d))))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) 1) (neg.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (.f64 (-.f64 (.f64 a (pow.f64 a 3)) (*.f64 (+.f64 c d) (pow.f64 (+.f64 c d) 3))) (/.f64 1 (-.f64 a (+.f64 c d)))) (+.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))
(/.f64 (.f64 (-.f64 (pow.f64 (pow.f64 a 2) 3) (pow.f64 (pow.f64 (+.f64 c d) 2) 3)) (/.f64 1 (-.f64 a (+.f64 c d)))) (+.f64 (.f64 a (pow.f64 a 3)) (*.f64 (pow.f64 (+.f64 c d) 2) (+.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 a 3) (pow.f64 a 3)) (.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 (+.f64 c d) 3))) (/.f64 1 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))) (-.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))
(/.f64 (.f64 (+.f64 (pow.f64 (pow.f64 a 3) 3) (pow.f64 (pow.f64 (+.f64 c d) 3) 3)) (/.f64 1 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))) (+.f64 (.f64 (pow.f64 a 3) (pow.f64 a 3)) (.f64 (pow.f64 (+.f64 c d) 3) (-.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 a 3)))))
(/.f64 (*.f64 (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (sqrt.f64 (+.f64 a (+.f64 c d)))) (sqrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (sqrt.f64 (+.f64 a (+.f64 c d)))) (sqrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2)) (cbrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2)) (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) 1) (-.f64 a (+.f64 c d)))
(/.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (+.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 c d)))) (-.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 c d))))
(/.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (sqrt.f64 (-.f64 a (+.f64 c d)))) (sqrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (*.f64 (cbrt.f64 (-.f64 a (+.f64 c d))) (cbrt.f64 (-.f64 a (+.f64 c d))))) (cbrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) 1) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(/.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (sqrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))) (sqrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (.f64 (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))) (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(pow.f64 (+.f64 a (+.f64 c d)) 1)
(pow.f64 (sqrt.f64 (+.f64 a (+.f64 c d))) 2)
(pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 3)
(pow.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) 1/3)
(neg.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (neg.f64 (-.f64 a (+.f64 c d)))))
(neg.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (neg.f64 (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))))
(sqrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 2))
(log.f64 (exp.f64 (+.f64 a (+.f64 c d))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 a (+.f64 c d)))))
(cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3))
(expm1.f64 (log1p.f64 (+.f64 a (+.f64 c d))))
(exp.f64 (log.f64 (+.f64 a (+.f64 c d))))
(log1p.f64 (expm1.f64 (+.f64 a (+.f64 c d))))
(fma.f64 1 a (+.f64 c d))
(fma.f64 1 (+.f64 c d) a)
(fma.f64 (sqrt.f64 a) (sqrt.f64 a) (+.f64 c d))
(fma.f64 (sqrt.f64 (+.f64 c d)) (sqrt.f64 (+.f64 c d)) a)
(fma.f64 (pow.f64 (cbrt.f64 a) 2) (cbrt.f64 a) (+.f64 c d))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 c d)) 2) (cbrt.f64 (+.f64 c d)) a)

simplify131.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

789×	`associate-*r/`
789×	`associate-/r*`
698×	`associate-*l/`
328×	`associate-+r+`
327×	`+-commutative`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	280	8189
1	830	6201
2	3477	6201

Stop Event

1×	node limit

Counts

103 → 156

Calls

Call 1

Inputs
(+.f64 c d)
a
a
(+.f64 a d)
c
c
(+.f64 a c)
d
d
(-.f64 (/.f64 (pow.f64 c 2) (-.f64 c d)) (-.f64 (/.f64 (pow.f64 d 2) (-.f64 c d)) a))
(-.f64 (/.f64 (pow.f64 a 2) (-.f64 a (+.f64 c d))) (/.f64 (pow.f64 (+.f64 c d) 2) (-.f64 a (+.f64 c d))))
(-.f64 (exp.f64 (log1p.f64 c)) (-.f64 1 (+.f64 a d)))
(-.f64 (exp.f64 (log1p.f64 (+.f64 c d))) (-.f64 1 a))
(-.f64 (exp.f64 (log1p.f64 d)) (-.f64 1 (+.f64 a c)))
(-.f64 (exp.f64 (log1p.f64 (+.f64 a (+.f64 c d)))) 1)
(-.f64 (exp.f64 (log1p.f64 a)) (-.f64 1 (+.f64 c d)))
(-.f64 (+.f64 a (/.f64 (pow.f64 c 2) (-.f64 c d))) (/.f64 (pow.f64 d 2) (-.f64 c d)))
(-.f64 (+.f64 a (exp.f64 (log1p.f64 (+.f64 c d)))) 1)
(-.f64 (+.f64 (+.f64 c d) (exp.f64 (log1p.f64 a))) 1)
(-.f64 (+.f64 (+.f64 a c) (exp.f64 (log1p.f64 d))) 1)
(-.f64 (+.f64 (+.f64 a d) (exp.f64 (log1p.f64 c))) 1)
(*.f64 (+.f64 a (+.f64 c d)) 1)
(*.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (/.f64 1 (-.f64 a (+.f64 c d))))
(*.f64 1 (+.f64 a (+.f64 c d)))
(.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (/.f64 1 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(*.f64 (sqrt.f64 (+.f64 a (+.f64 c d))) (sqrt.f64 (+.f64 a (+.f64 c d))))
(*.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2) (cbrt.f64 (+.f64 a (+.f64 c d))))
(*.f64 (/.f64 1 (-.f64 a (+.f64 c d))) (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))
(.f64 (/.f64 1 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))
(*.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (+.f64 a (+.f64 c d)))
(.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (+.f64 (pow.f64 a 2) (.f64 (+.f64 c d) (+.f64 a (+.f64 c d)))))
(.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (-.f64 (.f64 a (pow.f64 a 3)) (.f64 (pow.f64 (+.f64 c d) 2) (.f64 (+.f64 d (-.f64 c a)) (+.f64 d (-.f64 c a)))))) (-.f64 (pow.f64 a 2) (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (pow.f64 a 2) 3) (pow.f64 (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))) 3))) (+.f64 (.f64 a (pow.f64 a 3)) (.f64 (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))) (-.f64 (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))) (pow.f64 a 2)))))
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) (cbrt.f64 (+.f64 a (+.f64 c d)))) (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) (cbrt.f64 (+.f64 a (+.f64 c d)))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 a (+.f64 c d)))) (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 a (+.f64 c d)))) (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2))))
(.f64 (.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) (sqrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d))))) (*.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) (sqrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d))))))
(.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2)) (cbrt.f64 (sqrt.f64 (+.f64 a (+.f64 c d))))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2)) (cbrt.f64 (sqrt.f64 (+.f64 a (+.f64 c d))))))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 3/2) (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 3/2))
(*.f64 (pow.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) 1/6) (pow.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) 1/6))
(/.f64 (+.f64 a (+.f64 c d)) (/.f64 (-.f64 a (+.f64 c d)) (-.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(/.f64 1 (/.f64 1 (+.f64 a (+.f64 c d))))
(/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(/.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (/.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (+.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 a 2)) (+.f64 d (-.f64 c a)))
(/.f64 (-.f64 (*.f64 (+.f64 a c) (+.f64 a c)) (pow.f64 d 2)) (+.f64 a (-.f64 c d)))
(/.f64 (-.f64 (.f64 (pow.f64 a 3) (pow.f64 a 3)) (.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 (+.f64 c d) 3))) (.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (-.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))))
(/.f64 (-.f64 (.f64 a (pow.f64 a 3)) (.f64 (+.f64 c d) (pow.f64 (+.f64 c d) 3))) (*.f64 (-.f64 a (+.f64 c d)) (+.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a c) 3)) (+.f64 (.f64 (+.f64 a c) (+.f64 a c)) (.f64 d (-.f64 d (+.f64 a c)))))
(/.f64 (+.f64 (pow.f64 (pow.f64 a 3) 3) (pow.f64 (pow.f64 (+.f64 c d) 3) 3)) (.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (+.f64 (.f64 (pow.f64 a 3) (pow.f64 a 3)) (.f64 (pow.f64 (+.f64 c d) 3) (-.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 a 3))))))
(/.f64 (-.f64 (pow.f64 (pow.f64 a 2) 3) (pow.f64 (pow.f64 (+.f64 c d) 2) 3)) (.f64 (-.f64 a (+.f64 c d)) (+.f64 (.f64 a (pow.f64 a 3)) (*.f64 (pow.f64 (+.f64 c d) 2) (+.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (neg.f64 (-.f64 a (+.f64 c d))))
(/.f64 (neg.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (neg.f64 (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (/.f64 (-.f64 a (+.f64 c d)) (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))))
(/.f64 (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (/.f64 (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))) (/.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))))
(/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))) (/.f64 (-.f64 a (+.f64 c d)) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))))
(/.f64 (.f64 1 (-.f64 (.f64 (+.f64 a c) (+.f64 a c)) (pow.f64 d 2))) (+.f64 a (-.f64 c d)))
(/.f64 (.f64 1 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a c) 3))) (+.f64 (.f64 (+.f64 a c) (+.f64 a c)) (*.f64 d (-.f64 d (+.f64 a c)))))
(/.f64 (*.f64 (sqrt.f64 (+.f64 a (+.f64 c d))) (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))) (sqrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (.f64 (sqrt.f64 (+.f64 a (+.f64 c d))) (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))) (sqrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))) (cbrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))) (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 a 2)) 1) (+.f64 d (-.f64 c a)))
(/.f64 (.f64 (-.f64 (.f64 (+.f64 a c) (+.f64 a c)) (pow.f64 d 2)) 1) (+.f64 a (-.f64 c d)))
(/.f64 (.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a c) 3)) 1) (+.f64 (.f64 (+.f64 a c) (+.f64 a c)) (*.f64 d (-.f64 d (+.f64 a c)))))
(/.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) 1) (neg.f64 (-.f64 a (+.f64 c d))))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) 1) (neg.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (.f64 (-.f64 (.f64 a (pow.f64 a 3)) (*.f64 (+.f64 c d) (pow.f64 (+.f64 c d) 3))) (/.f64 1 (-.f64 a (+.f64 c d)))) (+.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))
(/.f64 (.f64 (-.f64 (pow.f64 (pow.f64 a 2) 3) (pow.f64 (pow.f64 (+.f64 c d) 2) 3)) (/.f64 1 (-.f64 a (+.f64 c d)))) (+.f64 (.f64 a (pow.f64 a 3)) (*.f64 (pow.f64 (+.f64 c d) 2) (+.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 a 3) (pow.f64 a 3)) (.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 (+.f64 c d) 3))) (/.f64 1 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))) (-.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))
(/.f64 (.f64 (+.f64 (pow.f64 (pow.f64 a 3) 3) (pow.f64 (pow.f64 (+.f64 c d) 3) 3)) (/.f64 1 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))) (+.f64 (.f64 (pow.f64 a 3) (pow.f64 a 3)) (.f64 (pow.f64 (+.f64 c d) 3) (-.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 a 3)))))
(/.f64 (*.f64 (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (sqrt.f64 (+.f64 a (+.f64 c d)))) (sqrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (sqrt.f64 (+.f64 a (+.f64 c d)))) (sqrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2)) (cbrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2)) (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) 1) (-.f64 a (+.f64 c d)))
(/.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (+.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 c d)))) (-.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 c d))))
(/.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (sqrt.f64 (-.f64 a (+.f64 c d)))) (sqrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (*.f64 (cbrt.f64 (-.f64 a (+.f64 c d))) (cbrt.f64 (-.f64 a (+.f64 c d))))) (cbrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) 1) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(/.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (sqrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))) (sqrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (.f64 (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))) (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(pow.f64 (+.f64 a (+.f64 c d)) 1)
(pow.f64 (sqrt.f64 (+.f64 a (+.f64 c d))) 2)
(pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 3)
(pow.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) 1/3)
(neg.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (neg.f64 (-.f64 a (+.f64 c d)))))
(neg.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (neg.f64 (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))))
(sqrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 2))
(log.f64 (exp.f64 (+.f64 a (+.f64 c d))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 a (+.f64 c d)))))
(cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3))
(expm1.f64 (log1p.f64 (+.f64 a (+.f64 c d))))
(exp.f64 (log.f64 (+.f64 a (+.f64 c d))))
(log1p.f64 (expm1.f64 (+.f64 a (+.f64 c d))))
(fma.f64 1 a (+.f64 c d))
(fma.f64 1 (+.f64 c d) a)
(fma.f64 (sqrt.f64 a) (sqrt.f64 a) (+.f64 c d))
(fma.f64 (sqrt.f64 (+.f64 c d)) (sqrt.f64 (+.f64 c d)) a)
(fma.f64 (pow.f64 (cbrt.f64 a) 2) (cbrt.f64 a) (+.f64 c d))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 c d)) 2) (cbrt.f64 (+.f64 c d)) a)

Outputs
(+.f64 c d)
a
a
(+.f64 a d)
(+.f64 d a)
c
c
(+.f64 a c)
(+.f64 c a)
d
d
(-.f64 (/.f64 (pow.f64 c 2) (-.f64 c d)) (-.f64 (/.f64 (pow.f64 d 2) (-.f64 c d)) a))
(+.f64 (-.f64 (/.f64 (pow.f64 c 2) (-.f64 c d)) (/.f64 (pow.f64 d 2) (-.f64 c d))) a)
(+.f64 a (-.f64 (/.f64 (pow.f64 c 2) (-.f64 c d)) (/.f64 (pow.f64 d 2) (-.f64 c d))))
(-.f64 (/.f64 (pow.f64 a 2) (-.f64 a (+.f64 c d))) (/.f64 (pow.f64 (+.f64 c d) 2) (-.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(-.f64 (exp.f64 (log1p.f64 c)) (-.f64 1 (+.f64 a d)))
(+.f64 (-.f64 (exp.f64 (log1p.f64 c)) 1) (+.f64 d a))
(+.f64 (+.f64 d a) (expm1.f64 (log1p.f64 c)))
(-.f64 (exp.f64 (log1p.f64 (+.f64 c d))) (-.f64 1 a))
(+.f64 a (expm1.f64 (log1p.f64 (+.f64 c d))))
(-.f64 (exp.f64 (log1p.f64 d)) (-.f64 1 (+.f64 a c)))
(+.f64 (-.f64 (exp.f64 (log1p.f64 d)) 1) (+.f64 c a))
(+.f64 a (+.f64 c (expm1.f64 (log1p.f64 d))))
(-.f64 (exp.f64 (log1p.f64 (+.f64 a (+.f64 c d)))) 1)
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(-.f64 (exp.f64 (log1p.f64 a)) (-.f64 1 (+.f64 c d)))
(+.f64 (-.f64 (exp.f64 (log1p.f64 a)) 1) (+.f64 c d))
(+.f64 c (+.f64 d (expm1.f64 (log1p.f64 a))))
(-.f64 (+.f64 a (/.f64 (pow.f64 c 2) (-.f64 c d))) (/.f64 (pow.f64 d 2) (-.f64 c d)))
(+.f64 (-.f64 (/.f64 (pow.f64 c 2) (-.f64 c d)) (/.f64 (pow.f64 d 2) (-.f64 c d))) a)
(+.f64 a (-.f64 (/.f64 (pow.f64 c 2) (-.f64 c d)) (/.f64 (pow.f64 d 2) (-.f64 c d))))
(-.f64 (+.f64 a (exp.f64 (log1p.f64 (+.f64 c d)))) 1)
(-.f64 (exp.f64 (log1p.f64 (+.f64 c d))) (-.f64 1 a))
(+.f64 a (expm1.f64 (log1p.f64 (+.f64 c d))))
(-.f64 (+.f64 (+.f64 c d) (exp.f64 (log1p.f64 a))) 1)
(+.f64 (-.f64 (exp.f64 (log1p.f64 a)) 1) (+.f64 c d))
(+.f64 c (+.f64 d (expm1.f64 (log1p.f64 a))))
(-.f64 (+.f64 (+.f64 a c) (exp.f64 (log1p.f64 d))) 1)
(+.f64 (-.f64 (exp.f64 (log1p.f64 d)) 1) (+.f64 c a))
(+.f64 a (+.f64 c (expm1.f64 (log1p.f64 d))))
(-.f64 (+.f64 (+.f64 a d) (exp.f64 (log1p.f64 c))) 1)
(+.f64 (-.f64 (exp.f64 (log1p.f64 c)) 1) (+.f64 d a))
(+.f64 (+.f64 d a) (expm1.f64 (log1p.f64 c)))
(*.f64 (+.f64 a (+.f64 c d)) 1)
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(*.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (/.f64 1 (-.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(*.f64 1 (+.f64 a (+.f64 c d)))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (/.f64 1 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) 1) (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))))
(*.f64 (sqrt.f64 (+.f64 a (+.f64 c d))) (sqrt.f64 (+.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(*.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2) (cbrt.f64 (+.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(*.f64 (/.f64 1 (-.f64 a (+.f64 c d))) (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(.f64 (/.f64 1 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))
(/.f64 (.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) 1) (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))))
(*.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (+.f64 a (+.f64 c d)))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (+.f64 (pow.f64 a 2) (.f64 (+.f64 c d) (+.f64 a (+.f64 c d)))))
(.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (+.f64 (pow.f64 a 2) (.f64 (+.f64 c d) (+.f64 (+.f64 c d) a))))
(*.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (fma.f64 (+.f64 c d) (+.f64 c (+.f64 d a)) (pow.f64 a 2)))
(.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (-.f64 (.f64 a (pow.f64 a 3)) (.f64 (pow.f64 (+.f64 c d) 2) (.f64 (+.f64 d (-.f64 c a)) (+.f64 d (-.f64 c a)))))) (-.f64 (pow.f64 a 2) (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (-.f64 (pow.f64 a 4) (.f64 (pow.f64 (+.f64 c d) 2) (.f64 (+.f64 c (-.f64 d a)) (+.f64 c (-.f64 d a)))))) (-.f64 (pow.f64 a 2) (.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))))
(.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (pow.f64 a 2) 3) (pow.f64 (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))) 3))) (+.f64 (.f64 a (pow.f64 a 3)) (.f64 (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))) (-.f64 (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))) (pow.f64 a 2)))))
(/.f64 (.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a (pow.f64 a 3) (.f64 (+.f64 c d) (.f64 (+.f64 d (-.f64 c a)) (fma.f64 (+.f64 c d) (+.f64 d (-.f64 c a)) (neg.f64 (pow.f64 a 2))))))) (+.f64 (pow.f64 (pow.f64 a 2) 3) (pow.f64 (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))) 3)))
(.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (.f64 (+.f64 c d) (+.f64 c (-.f64 d a))) 3) (pow.f64 a 6))) (fma.f64 (+.f64 c d) (*.f64 (+.f64 c (-.f64 d a)) (fma.f64 (+.f64 c d) (+.f64 c (-.f64 d a)) (neg.f64 (pow.f64 a 2)))) (pow.f64 a 4)))
(/.f64 (.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 (.f64 (+.f64 c d) (+.f64 c (-.f64 d a))) (fma.f64 (+.f64 c d) (+.f64 c (-.f64 d a)) (neg.f64 (pow.f64 a 2))) (pow.f64 a 4))) (+.f64 (pow.f64 (*.f64 (+.f64 c d) (+.f64 c (-.f64 d a))) 3) (pow.f64 a 6)))
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) (cbrt.f64 (+.f64 a (+.f64 c d)))) (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) (cbrt.f64 (+.f64 a (+.f64 c d)))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 a (+.f64 c d)))) (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 a (+.f64 c d)))) (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (+.f64 c d) a))) (cbrt.f64 (sqrt.f64 (+.f64 (+.f64 c d) a)))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 c d) a)) 2)) (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 c d) a)) 2))))
(.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 d a))) 2) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 c (+.f64 d a)))) (cbrt.f64 (sqrt.f64 (+.f64 c (+.f64 d a))))))
(.f64 (cbrt.f64 (sqrt.f64 (+.f64 c (+.f64 d a)))) (.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 d a))) 2) (cbrt.f64 (sqrt.f64 (+.f64 c (+.f64 d a))))))
(.f64 (.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) (sqrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d))))) (*.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) (sqrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d))))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2)) (cbrt.f64 (sqrt.f64 (+.f64 a (+.f64 c d))))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2)) (cbrt.f64 (sqrt.f64 (+.f64 a (+.f64 c d))))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (+.f64 c d) a))) (cbrt.f64 (sqrt.f64 (+.f64 (+.f64 c d) a)))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 c d) a)) 2)) (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 c d) a)) 2))))
(.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 d a))) 2) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 c (+.f64 d a)))) (cbrt.f64 (sqrt.f64 (+.f64 c (+.f64 d a))))))
(.f64 (cbrt.f64 (sqrt.f64 (+.f64 c (+.f64 d a)))) (.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 d a))) 2) (cbrt.f64 (sqrt.f64 (+.f64 c (+.f64 d a))))))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 3/2) (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 3/2))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(*.f64 (pow.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) 1/6) (pow.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) 1/6))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(/.f64 (+.f64 a (+.f64 c d)) (/.f64 (-.f64 a (+.f64 c d)) (-.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(/.f64 1 (/.f64 1 (+.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(/.f64 (.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) 1) (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))))
(/.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (/.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (+.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 a 2)) (+.f64 d (-.f64 c a)))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(/.f64 (-.f64 (*.f64 (+.f64 a c) (+.f64 a c)) (pow.f64 d 2)) (+.f64 a (-.f64 c d)))
(/.f64 (-.f64 (*.f64 (+.f64 c a) (+.f64 c a)) (pow.f64 d 2)) (+.f64 a (-.f64 c d)))
(/.f64 (-.f64 (*.f64 (+.f64 c a) (+.f64 c a)) (pow.f64 d 2)) (+.f64 c (-.f64 a d)))
(/.f64 (-.f64 (.f64 (pow.f64 a 3) (pow.f64 a 3)) (.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 (+.f64 c d) 3))) (.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (-.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))))
(/.f64 (/.f64 (-.f64 (pow.f64 a 6) (pow.f64 (+.f64 c d) 6)) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (-.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))
(/.f64 (-.f64 (pow.f64 a 6) (pow.f64 (+.f64 c d) 6)) (.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))) (-.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))))
(/.f64 (-.f64 (.f64 a (pow.f64 a 3)) (.f64 (+.f64 c d) (pow.f64 (+.f64 c d) 3))) (*.f64 (-.f64 a (+.f64 c d)) (+.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))))
(/.f64 (-.f64 (pow.f64 a 4) (pow.f64 (+.f64 c d) 4)) (*.f64 (-.f64 (-.f64 a c) d) (fma.f64 a a (pow.f64 (+.f64 c d) 2))))
(/.f64 (/.f64 (-.f64 (pow.f64 a 4) (pow.f64 (+.f64 c d) 4)) (-.f64 (-.f64 a c) d)) (fma.f64 a a (pow.f64 (+.f64 c d) 2)))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a c) 3)) (+.f64 (.f64 (+.f64 a c) (+.f64 a c)) (.f64 d (-.f64 d (+.f64 a c)))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 c a) 3)) (fma.f64 (+.f64 c a) (+.f64 c a) (*.f64 d (-.f64 d (+.f64 c a)))))
(/.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 d (-.f64 d (+.f64 c a)) (*.f64 (+.f64 c a) (+.f64 c a))))
(/.f64 (+.f64 (pow.f64 (pow.f64 a 3) 3) (pow.f64 (pow.f64 (+.f64 c d) 3) 3)) (.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (+.f64 (.f64 (pow.f64 a 3) (pow.f64 a 3)) (.f64 (pow.f64 (+.f64 c d) 3) (-.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 a 3))))))
(/.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 a 3) 3) (pow.f64 (pow.f64 (+.f64 c d) 3) 3)) (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (+.f64 (pow.f64 a 6) (.f64 (pow.f64 (+.f64 c d) 3) (-.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 a 3)))))
(/.f64 (+.f64 (pow.f64 (pow.f64 a 3) 3) (pow.f64 (pow.f64 (+.f64 c d) 3) 3)) (.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))) (fma.f64 (pow.f64 (+.f64 c d) 3) (-.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 a 3)) (pow.f64 a 6))))
(/.f64 (-.f64 (pow.f64 (pow.f64 a 2) 3) (pow.f64 (pow.f64 (+.f64 c d) 2) 3)) (.f64 (-.f64 a (+.f64 c d)) (+.f64 (.f64 a (pow.f64 a 3)) (*.f64 (pow.f64 (+.f64 c d) 2) (+.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))))))
(/.f64 (/.f64 (-.f64 (pow.f64 (pow.f64 a 2) 3) (pow.f64 (pow.f64 (+.f64 c d) 2) 3)) (-.f64 a (+.f64 c d))) (fma.f64 a (pow.f64 a 3) (*.f64 (pow.f64 (+.f64 c d) 2) (+.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))))
(/.f64 (-.f64 (pow.f64 a 6) (pow.f64 (+.f64 c d) 6)) (*.f64 (-.f64 (-.f64 a c) d) (fma.f64 (pow.f64 (+.f64 c d) 2) (fma.f64 a a (pow.f64 (+.f64 c d) 2)) (pow.f64 a 4))))
(/.f64 (neg.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (neg.f64 (-.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(/.f64 (neg.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (neg.f64 (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) 1) (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (/.f64 (-.f64 a (+.f64 c d)) (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))))
(*.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (-.f64 a (+.f64 c d))) (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (/.f64 (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (-.f64 (-.f64 a c) d)))
(/.f64 (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (/.f64 (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))))
(.f64 (/.f64 (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))))
(.f64 (hypot.f64 (pow.f64 a 3/2) (pow.f64 (+.f64 c d) 3/2)) (/.f64 (hypot.f64 (pow.f64 a 3/2) (pow.f64 (+.f64 c d) 3/2)) (fma.f64 a a (.f64 (+.f64 c d) (+.f64 c (-.f64 d a))))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))) (/.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))))
(.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))))
(.f64 (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (/.f64 (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (/.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))))))
(/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))) (/.f64 (-.f64 a (+.f64 c d)) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))))
(/.f64 (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (/.f64 (/.f64 (-.f64 a (+.f64 c d)) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))))
(*.f64 (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (/.f64 (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (/.f64 (-.f64 (-.f64 a c) d) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))))))
(/.f64 (.f64 1 (-.f64 (.f64 (+.f64 a c) (+.f64 a c)) (pow.f64 d 2))) (+.f64 a (-.f64 c d)))
(/.f64 (-.f64 (*.f64 (+.f64 c a) (+.f64 c a)) (pow.f64 d 2)) (+.f64 a (-.f64 c d)))
(/.f64 (-.f64 (*.f64 (+.f64 c a) (+.f64 c a)) (pow.f64 d 2)) (+.f64 c (-.f64 a d)))
(/.f64 (.f64 1 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a c) 3))) (+.f64 (.f64 (+.f64 a c) (+.f64 a c)) (*.f64 d (-.f64 d (+.f64 a c)))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 c a) 3)) (fma.f64 (+.f64 c a) (+.f64 c a) (*.f64 d (-.f64 d (+.f64 c a)))))
(/.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 d (-.f64 d (+.f64 c a)) (*.f64 (+.f64 c a) (+.f64 c a))))
(/.f64 (*.f64 (sqrt.f64 (+.f64 a (+.f64 c d))) (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))) (sqrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (/.f64 (sqrt.f64 (-.f64 a (+.f64 c d))) (sqrt.f64 (+.f64 (+.f64 c d) a))))
(*.f64 (/.f64 (sqrt.f64 (+.f64 c (+.f64 d a))) (sqrt.f64 (-.f64 (-.f64 a c) d))) (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))))
(/.f64 (.f64 (sqrt.f64 (+.f64 a (+.f64 c d))) (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))) (sqrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (sqrt.f64 (+.f64 (+.f64 c d) a)) (/.f64 (sqrt.f64 (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))))
(.f64 (/.f64 (sqrt.f64 (+.f64 c (+.f64 d a))) (sqrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))))) (hypot.f64 (pow.f64 a 3/2) (pow.f64 (+.f64 c d) 3/2)))
(/.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))) (cbrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 c d) a)) 2) (/.f64 (cbrt.f64 (-.f64 a (+.f64 c d))) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 d a))) 2) (cbrt.f64 (-.f64 (-.f64 a c) d))) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))))
(*.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (cbrt.f64 (-.f64 (-.f64 a c) d))) (pow.f64 (cbrt.f64 (+.f64 c (+.f64 d a))) 2))
(/.f64 (.f64 (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))) (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 c d) a)) 2) (/.f64 (cbrt.f64 (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 d a))) 2) (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))))) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 a 2)) 1) (+.f64 d (-.f64 c a)))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(/.f64 (.f64 (-.f64 (.f64 (+.f64 a c) (+.f64 a c)) (pow.f64 d 2)) 1) (+.f64 a (-.f64 c d)))
(/.f64 (-.f64 (*.f64 (+.f64 c a) (+.f64 c a)) (pow.f64 d 2)) (+.f64 a (-.f64 c d)))
(/.f64 (-.f64 (*.f64 (+.f64 c a) (+.f64 c a)) (pow.f64 d 2)) (+.f64 c (-.f64 a d)))
(/.f64 (.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 a c) 3)) 1) (+.f64 (.f64 (+.f64 a c) (+.f64 a c)) (*.f64 d (-.f64 d (+.f64 a c)))))
(/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 c a) 3)) (fma.f64 (+.f64 c a) (+.f64 c a) (*.f64 d (-.f64 d (+.f64 c a)))))
(/.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 d (-.f64 d (+.f64 c a)) (*.f64 (+.f64 c a) (+.f64 c a))))
(/.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) 1) (neg.f64 (-.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) 1) (neg.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) 1) (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))))
(/.f64 (.f64 (-.f64 (.f64 a (pow.f64 a 3)) (*.f64 (+.f64 c d) (pow.f64 (+.f64 c d) 3))) (/.f64 1 (-.f64 a (+.f64 c d)))) (+.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))
(/.f64 (-.f64 (.f64 a (pow.f64 a 3)) (.f64 (+.f64 c d) (pow.f64 (+.f64 c d) 3))) (*.f64 (-.f64 a (+.f64 c d)) (+.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))))
(/.f64 (-.f64 (pow.f64 a 4) (pow.f64 (+.f64 c d) 4)) (*.f64 (-.f64 (-.f64 a c) d) (fma.f64 a a (pow.f64 (+.f64 c d) 2))))
(/.f64 (/.f64 (-.f64 (pow.f64 a 4) (pow.f64 (+.f64 c d) 4)) (-.f64 (-.f64 a c) d)) (fma.f64 a a (pow.f64 (+.f64 c d) 2)))
(/.f64 (.f64 (-.f64 (pow.f64 (pow.f64 a 2) 3) (pow.f64 (pow.f64 (+.f64 c d) 2) 3)) (/.f64 1 (-.f64 a (+.f64 c d)))) (+.f64 (.f64 a (pow.f64 a 3)) (*.f64 (pow.f64 (+.f64 c d) 2) (+.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))))
(/.f64 (/.f64 (-.f64 (pow.f64 (pow.f64 a 2) 3) (pow.f64 (pow.f64 (+.f64 c d) 2) 3)) (-.f64 a (+.f64 c d))) (fma.f64 a (pow.f64 a 3) (*.f64 (pow.f64 (+.f64 c d) 2) (+.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))))
(/.f64 (-.f64 (pow.f64 a 6) (pow.f64 (+.f64 c d) 6)) (*.f64 (-.f64 (-.f64 a c) d) (fma.f64 (pow.f64 (+.f64 c d) 2) (fma.f64 a a (pow.f64 (+.f64 c d) 2)) (pow.f64 a 4))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 a 3) (pow.f64 a 3)) (.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 (+.f64 c d) 3))) (/.f64 1 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))) (-.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))
(/.f64 (/.f64 (-.f64 (pow.f64 a 6) (pow.f64 (+.f64 c d) 6)) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (-.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))
(/.f64 (-.f64 (pow.f64 a 6) (pow.f64 (+.f64 c d) 6)) (.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))) (-.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))))
(/.f64 (.f64 (+.f64 (pow.f64 (pow.f64 a 3) 3) (pow.f64 (pow.f64 (+.f64 c d) 3) 3)) (/.f64 1 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))) (+.f64 (.f64 (pow.f64 a 3) (pow.f64 a 3)) (.f64 (pow.f64 (+.f64 c d) 3) (-.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 a 3)))))
(/.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 a 3) 3) (pow.f64 (pow.f64 (+.f64 c d) 3) 3)) (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (+.f64 (pow.f64 a 6) (.f64 (pow.f64 (+.f64 c d) 3) (-.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 a 3)))))
(/.f64 (+.f64 (pow.f64 (pow.f64 a 3) 3) (pow.f64 (pow.f64 (+.f64 c d) 3) 3)) (.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))) (fma.f64 (pow.f64 (+.f64 c d) 3) (-.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 a 3)) (pow.f64 a 6))))
(/.f64 (*.f64 (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (sqrt.f64 (+.f64 a (+.f64 c d)))) (sqrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (/.f64 (sqrt.f64 (-.f64 a (+.f64 c d))) (sqrt.f64 (+.f64 (+.f64 c d) a))))
(*.f64 (/.f64 (sqrt.f64 (+.f64 c (+.f64 d a))) (sqrt.f64 (-.f64 (-.f64 a c) d))) (sqrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))))
(/.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (sqrt.f64 (+.f64 a (+.f64 c d)))) (sqrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (sqrt.f64 (+.f64 (+.f64 c d) a)) (/.f64 (sqrt.f64 (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (sqrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))))
(.f64 (/.f64 (sqrt.f64 (+.f64 c (+.f64 d a))) (sqrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))))) (hypot.f64 (pow.f64 a 3/2) (pow.f64 (+.f64 c d) 3/2)))
(/.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2)) (cbrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 c d) a)) 2) (/.f64 (cbrt.f64 (-.f64 a (+.f64 c d))) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 d a))) 2) (cbrt.f64 (-.f64 (-.f64 a c) d))) (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))))
(*.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2))) (cbrt.f64 (-.f64 (-.f64 a c) d))) (pow.f64 (cbrt.f64 (+.f64 c (+.f64 d a))) 2))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))) (pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 2)) (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 c d) a)) 2) (/.f64 (cbrt.f64 (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 d a))) 2) (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))))) (cbrt.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3))))
(/.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) 1) (-.f64 a (+.f64 c d)))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(/.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (+.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 c d)))) (-.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (*.f64 (-.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 c d))) (+.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 c d)))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (*.f64 (+.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 c d))) (-.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 c d)))))
(/.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (sqrt.f64 (-.f64 a (+.f64 c d)))) (sqrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(/.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (*.f64 (cbrt.f64 (-.f64 a (+.f64 c d))) (cbrt.f64 (-.f64 a (+.f64 c d))))) (cbrt.f64 (-.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(/.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) 1) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(/.f64 (.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) 1) (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))))
(/.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (sqrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))) (sqrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) 1) (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))))
(/.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (.f64 (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))) (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))) (cbrt.f64 (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a))))))
(/.f64 (.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) 1) (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))))
(pow.f64 (+.f64 a (+.f64 c d)) 1)
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(pow.f64 (sqrt.f64 (+.f64 a (+.f64 c d))) 2)
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 3)
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(pow.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) 1/3)
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(neg.f64 (/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (neg.f64 (-.f64 a (+.f64 c d)))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(neg.f64 (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (neg.f64 (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))))
(/.f64 (.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) 1) (fma.f64 a a (.f64 (+.f64 c d) (+.f64 d (-.f64 c a)))))
(/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (+.f64 c (-.f64 d a)))))
(sqrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 2))
(sqrt.f64 (pow.f64 (+.f64 (+.f64 c d) a) 2))
(fabs.f64 (+.f64 c (+.f64 d a)))
(log.f64 (exp.f64 (+.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 a (+.f64 c d)))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(expm1.f64 (log1p.f64 (+.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(exp.f64 (log.f64 (+.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(log1p.f64 (expm1.f64 (+.f64 a (+.f64 c d))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(fma.f64 1 a (+.f64 c d))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(fma.f64 1 (+.f64 c d) a)
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(fma.f64 (sqrt.f64 a) (sqrt.f64 a) (+.f64 c d))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(fma.f64 (sqrt.f64 (+.f64 c d)) (sqrt.f64 (+.f64 c d)) a)
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(fma.f64 (pow.f64 (cbrt.f64 a) 2) (cbrt.f64 a) (+.f64 c d))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 c d)) 2) (cbrt.f64 (+.f64 c d)) a)
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c d) 2)) (-.f64 a (+.f64 c d)))
(+.f64 c (+.f64 d a))

eval50.0ms (1.1%)

Compiler: Compiled 3828 to 1656 computations (56.7% saved)

prune29.0ms (0.6%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	154	2	156
Fresh	0	0	0
Picked	0	4	4
Done	0	0	0
Total	154	6	160

Accuracy

100.0%

Counts

160 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 2 (+.f64 (+.f64 b c) (+.f64 a d)))
▶	9.2%	(*.f64 2 (+.f64 d a))
▶	11.2%	(*.f64 2 (+.f64 c (+.f64 d a)))
✓	11.2%	(*.f64 2 (+.f64 a (+.f64 c d)))
✓	11.1%	(*.f64 2 c)
✓	6.7%	(*.f64 2 b)
✓	100.0%	(*.f64 2 (+.f64 (+.f64 b c) (+.f64 a d)))
▶	9.2%	(*.f64 2 (+.f64 d a))
▶	11.2%	(*.f64 2 (+.f64 c (+.f64 d a)))
✓	11.2%	(*.f64 2 (+.f64 a (+.f64 c d)))
✓	11.1%	(*.f64 2 c)
✓	6.7%	(*.f64 2 b)

Compiler

Compiled 116 to 88 computations (24.1% saved)

localize54.0ms (1.2%)

Compiler: Compiled 35 to 13 computations (62.9% saved)

eval0.0ms (0%)

Compiler: Compiled 4 to 4 computations (0% saved)

prune4.0ms (0.1%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	2	2
Done	4	4
Total	6	6

Accuracy

100.0%

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 2 (+.f64 (+.f64 b c) (+.f64 a d)))
✓	9.2%	(*.f64 2 (+.f64 d a))
✓	11.2%	(*.f64 2 (+.f64 c (+.f64 d a)))
✓	11.2%	(*.f64 2 (+.f64 a (+.f64 c d)))
✓	11.1%	(*.f64 2 c)
✓	6.7%	(*.f64 2 b)

Compiler

Compiled 114 to 75 computations (34.2% saved)

regimes47.0ms (1%)

Counts

8 → 1

Calls

Call 1

Inputs
(*.f64 2 b)
(*.f64 2 c)
(*.f64 2 (+.f64 d a))
(*.f64 2 (+.f64 a (+.f64 c d)))
(*.f64 2 (+.f64 c (+.f64 d a)))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 2 (+.f64 (+.f64 b c) (+.f64 a d)))
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)

Outputs
(*.f64 2 (+.f64 (+.f64 b c) (+.f64 a d)))

Calls

8 calls:

6.0ms	(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
6.0ms	(+.f64 b (+.f64 c d))
6.0ms	b
5.0ms	(+.f64 c d)
5.0ms	(+.f64 a (+.f64 b (+.f64 c d)))

Results

Accuracy	Segments	Branch
100.0%	1	`a`
100.0%	1	`b`
100.0%	1	`c`
100.0%	1	`d`
100.0%	1	`(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)`
100.0%	1	`(+.f64 a (+.f64 b (+.f64 c d)))`
100.0%	1	`(+.f64 b (+.f64 c d))`
100.0%	1	`(+.f64 c d)`

Compiler

Compiled 116 to 74 computations (36.2% saved)

regimes74.0ms (1.6%)

Counts

6 → 1

Calls

Call 1

Inputs
(*.f64 2 b)
(*.f64 2 c)
(*.f64 2 (+.f64 d a))
(*.f64 2 (+.f64 a (+.f64 c d)))
(*.f64 2 (+.f64 c (+.f64 d a)))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))

Outputs
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))

Calls

5 calls:

47.0ms	(+.f64 c d)
12.0ms	b
5.0ms	c
5.0ms	d
5.0ms	a

Results

Accuracy	Segments	Branch
95.9%	1	`a`
95.9%	1	`b`
95.9%	1	`c`
95.9%	1	`d`
95.9%	1	`(+.f64 c d)`

Compiler

Compiled 65 to 44 computations (32.3% saved)

regimes89.0ms (2%)

Counts

5 → 2

Calls

Call 1

Inputs
(*.f64 2 b)
(*.f64 2 c)
(*.f64 2 (+.f64 d a))
(*.f64 2 (+.f64 a (+.f64 c d)))
(*.f64 2 (+.f64 c (+.f64 d a)))

Outputs
(*.f64 2 (+.f64 d a))
(*.f64 2 (+.f64 a (+.f64 c d)))

Calls

5 calls:

70.0ms	b
5.0ms	a
5.0ms	(+.f64 c d)
4.0ms	d
4.0ms	c

Results

Accuracy	Segments	Branch
11.2%	1	`d`
11.2%	1	`(+.f64 c d)`
14.3%	2	`b`
11.2%	1	`c`
11.2%	1	`a`

Compiler

Compiled 56 to 39 computations (30.4% saved)

regimes11.0ms (0.2%)

Counts

3 → 2

Calls

Call 1

Inputs
(*.f64 2 b)
(*.f64 2 c)
(*.f64 2 (+.f64 d a))

Outputs
(*.f64 2 (+.f64 d a))
(*.f64 2 c)

Calls

1 calls:

9.0ms

Results

Accuracy	Segments	Branch
14.2%	2	`b`

Compiler

Compiled 20 to 15 computations (25% saved)

regimes10.0ms (0.2%)

Counts

2 → 2

Calls

Call 1

Inputs
(*.f64 2 b)
(*.f64 2 c)

Outputs
(*.f64 2 b)
(*.f64 2 c)

Calls

1 calls:

9.0ms

Results

Accuracy	Segments	Branch
12.8%	2	`b`

Compiler

Compiled 15 to 12 computations (20% saved)

regimes12.0ms (0.3%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 2 b)

Outputs
(*.f64 2 b)

Calls

4 calls:

3.0ms	d
3.0ms	a
3.0ms	b
3.0ms	c

Results

Accuracy	Segments	Branch
6.7%	1	`c`
6.7%	1	`a`
6.7%	1	`d`
6.7%	1	`b`

Compiler

Compiled 27 to 22 computations (18.5% saved)

bsearch0.0ms (0%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
0.0ms	-2.5551301236203425	-2.5543630550703393

Compiler

Compiled 20 to 15 computations (25% saved)

bsearch0.0ms (0%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
0.0ms	-2.5551301236203425	-2.5543630550703393

Compiler

Compiled 20 to 15 computations (25% saved)

bsearch0.0ms (0%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
0.0ms	-2.6208105285933034	-2.6092782351964368

Compiler

Compiled 20 to 15 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative`
6×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	216
1	49	216

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 2 (+.f64 (+.f64 b c) (+.f64 a d)))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(if (<=.f64 b -5753348523965809/2251799813685248) (.f64 2 (+.f64 d a)) (.f64 2 (+.f64 a (+.f64 c d))))
(if (<=.f64 b -5753348523965809/2251799813685248) (.f64 2 (+.f64 d a)) (.f64 2 c))
(if (<=.f64 b -2949857755927675/1125899906842624) (.f64 2 b) (.f64 2 c))
(*.f64 2 b)

Outputs
(*.f64 2 (+.f64 (+.f64 b c) (+.f64 a d)))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 2 (+.f64 d (+.f64 (+.f64 b c) a)))
(if (<=.f64 b -5753348523965809/2251799813685248) (.f64 2 (+.f64 d a)) (.f64 2 (+.f64 a (+.f64 c d))))
(if (<=.f64 b -5753348523965809/2251799813685248) (.f64 2 (+.f64 a d)) (.f64 2 (+.f64 a (+.f64 c d))))
(if (<=.f64 b -5753348523965809/2251799813685248) (.f64 2 (+.f64 d a)) (.f64 2 c))
(if (<=.f64 b -5753348523965809/2251799813685248) (.f64 2 (+.f64 a d)) (.f64 2 c))
(if (<=.f64 b -2949857755927675/1125899906842624) (.f64 2 b) (.f64 2 c))
(*.f64 2 b)

Compiler

Compiled 83 to 61 computations (26.5% saved)

soundness1.2s (26.1%)

Rules

5432×	`fma-def`
789×	`associate-*r/`
789×	`associate-/r*`
775×	`distribute-lft-in`
722×	`associate-/r*`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	61	616
1	156	592
2	446	592
3	1773	592
4	5548	592
5	6355	592
6	6734	592
7	6893	592
8	6919	592
9	6924	592
10	6979	592
11	6987	592
12	6987	592
13	6987	592
14	7364	592
15	7364	592
16	7364	592
0	280	8268
1	870	8078
2	3995	8078
0	280	8189
1	830	6201
2	3477	6201

Stop Event

1×	node limit
1×	node limit
1×	node limit

Compiler

Compiled 148 to 75 computations (49.3% saved)

end0.0ms (0%)

preprocess98.0ms (2.1%)

Remove: (sort a b c d)
Compiler: Compiled 286 to 188 computations (34.3% saved)

analyze0.0ms (0%)

sample1.4s (30.9%)

preprocess585.0ms (12.8%)

eval1.0ms (0%)

prune1.0ms (0%)

localize54.0ms (1.2%)

series3.0ms (0.1%)

rewrite316.0ms (6.9%)

simplify145.0ms (3.2%)

eval60.0ms (1.3%)

prune30.0ms (0.7%)

localize58.0ms (1.3%)

series1.0ms (0%)

rewrite101.0ms (2.2%)

simplify131.0ms (2.9%)

eval50.0ms (1.1%)

prune29.0ms (0.6%)

localize54.0ms (1.2%)

eval0.0ms (0%)

prune4.0ms (0.1%)

regimes47.0ms (1%)

regimes74.0ms (1.6%)

regimes89.0ms (2%)

regimes11.0ms (0.2%)

regimes10.0ms (0.2%)

regimes12.0ms (0.3%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

soundness1.2s (26.1%)

end0.0ms (0%)

preprocess98.0ms (2.1%)

Profiling