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 (37.5%)

Results

1.4s

8256×

body

256

valid

Bogosity

preprocess287.0ms (7.5%)

Algorithm

1×	egg-herbie

Rules

2014×	`unsub-neg`
1530×	`fma-def`
1448×	`fma-neg`
1334×	`associate-+l-`
816×	`associate--r+`

Problems

196×	`(+.f64 a (+.f64 b (+.f64 c d)))`
60×	No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	57	456
1	133	444
2	388	444
3	1157	444
4	2504	444
5	4130	444
6	5980	444
7	6842	444
8	7380	444
9	7463	444
10	7468	444
11	7468	444
12	7468	444
13	7469	444
14	7469	444

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)
(*.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 b (+.f64 c d))))
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 (+.f64 (neg.f64 a) (+.f64 b (+.f64 c d))) 2)
(*.f64 2 (+.f64 (+.f64 (neg.f64 a) b) (+.f64 c 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 c (-.f64 d 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 (-.f64 d c) (+.f64 a b)))
(*.f64 2 (+.f64 a (-.f64 (+.f64 b d) c)))
(*.f64 (+.f64 a (+.f64 b (+.f64 c (neg.f64 d)))) 2)
(*.f64 2 (+.f64 a (+.f64 b (-.f64 c d))))
(*.f64 2 (+.f64 b (+.f64 (-.f64 c d) a)))
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2)
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 (+.f64 c (+.f64 b (+.f64 a d))) 2)
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 (+.f64 d (+.f64 b (+.f64 c a))) 2)
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2)
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 (+.f64 a (+.f64 d (+.f64 c b))) 2)
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 (+.f64 a (+.f64 b (+.f64 d c))) 2)
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))

Symmetry

(sort a b c d)

Compiler

Compiled 47 to 20 computations (57.4% saved)

eval1.0ms (0%)

Compiler: Compiled 22 to 14 computations (36.4% saved)

prune3.0ms (0.1%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 52 to 36 computations (30.8% saved)

localize53.0ms (1.4%)

Localize:

Found 4 expressions with local error:

New	Accuracy	Program
✓	99.4%	(+.f64 b (+.f64 c d))
✓	95.5%	(+.f64 a (+.f64 b (+.f64 c d)))
✓	99.6%	(+.f64 c (+.f64 b d))
✓	95.5%	(+.f64 a (+.f64 c (+.f64 b d)))

Compiler

Compiled 63 to 17 computations (73% saved)

series4.0ms (0.1%)

Counts

4 → 105

Calls

42 calls:

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

rewrite147.0ms (3.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1000×	`log1p-expm1-u`
576×	`expm1-log1p-u`
428×	`expm1-udef`
428×	`log1p-udef`
152×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	106
1	270	106
2	4831	106

Stop Event

1×	node limit

Counts

4 → 186

Calls

Call 1

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

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

simplify120.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

912×	`times-frac`
890×	`associate-+r+`
868×	`associate-+l+`
846×	`cancel-sign-sub-inv`
574×	`fma-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	260	11802
1	720	11586
2	2775	11538

Stop Event

1×	node limit

Counts

291 → 138

Calls

Call 1

Inputs
(+.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 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 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 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 d)
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
c
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
c
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
(+.f64 c d)
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
b
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
b
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
(+.f64 b c)
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
d
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
d
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
(+.f64 b (+.f64 c d))
a
a
(+.f64 a (+.f64 c d))
b
b
(+.f64 a (+.f64 b d))
c
c
(+.f64 a (+.f64 b c))
d
d
(+.f64 c d)
b
b
(+.f64 b d)
c
c
(+.f64 b c)
d
d
(-.f64 (exp.f64 (log1p.f64 (+.f64 (+.f64 c d) (+.f64 a b)))) 1)
(-.f64 (/.f64 (pow.f64 a 2) (-.f64 a (+.f64 c (+.f64 b d)))) (/.f64 (pow.f64 (+.f64 c (+.f64 b d)) 2) (-.f64 a (+.f64 c (+.f64 b d)))))
(*.f64 (+.f64 (+.f64 c d) (+.f64 a b)) 1)
(*.f64 1 (+.f64 (+.f64 c d) (+.f64 a b)))
(*.f64 (cbrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))) (pow.f64 (cbrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))) 2) (cbrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))))
(*.f64 (sqrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))) (sqrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))))
(.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 b d)) 3) (pow.f64 a 3)) (/.f64 1 (fma.f64 a a (.f64 (+.f64 c (+.f64 b d)) (-.f64 (+.f64 c (+.f64 b d)) a)))))
(*.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c (+.f64 b d)) 2)) (/.f64 1 (-.f64 a (+.f64 c (+.f64 b d)))))
(/.f64 1 (/.f64 (fma.f64 a a (*.f64 (+.f64 c (+.f64 b d)) (-.f64 (+.f64 c (+.f64 b d)) a))) (+.f64 (pow.f64 (+.f64 c (+.f64 b d)) 3) (pow.f64 a 3))))
(/.f64 1 (/.f64 (-.f64 a (+.f64 c (+.f64 b d))) (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c (+.f64 b d)) 2))))
(/.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 b d)) 3) (pow.f64 a 3)) (fma.f64 a a (*.f64 (+.f64 c (+.f64 b d)) (-.f64 (+.f64 c (+.f64 b d)) a))))
(/.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 b d)) 3) (pow.f64 a 3)) (+.f64 (pow.f64 (+.f64 c (+.f64 b d)) 2) (-.f64 (pow.f64 a 2) (*.f64 a (+.f64 c (+.f64 b d))))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c (+.f64 b d)) 2)) (-.f64 a (+.f64 c (+.f64 b d))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 b d)) 3) (pow.f64 a 3))) (neg.f64 (fma.f64 a a (*.f64 (+.f64 c (+.f64 b d)) (-.f64 (+.f64 c (+.f64 b d)) a)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c (+.f64 b d)) 2))) (neg.f64 (-.f64 a (+.f64 c (+.f64 b d)))))
(/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (.f64 (+.f64 a b) (+.f64 a b)) (-.f64 (pow.f64 (+.f64 c d) 2) (.f64 (+.f64 a b) (+.f64 c d)))))
(/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 (+.f64 b d) 3)) (+.f64 (.f64 (+.f64 a c) (+.f64 a c)) (-.f64 (pow.f64 (+.f64 b d) 2) (.f64 (+.f64 a c) (+.f64 b d)))))
(/.f64 (-.f64 (*.f64 (+.f64 a b) (+.f64 a b)) (pow.f64 (+.f64 c d) 2)) (-.f64 (+.f64 a b) (+.f64 c d)))
(/.f64 (-.f64 (pow.f64 (+.f64 c (+.f64 b d)) 2) (pow.f64 a 2)) (-.f64 (+.f64 c (+.f64 b d)) a))
(/.f64 (-.f64 (*.f64 (+.f64 a c) (+.f64 a c)) (pow.f64 (+.f64 b d) 2)) (-.f64 (+.f64 a c) (+.f64 b d)))
(pow.f64 (+.f64 (+.f64 c d) (+.f64 a b)) 1)
(pow.f64 (cbrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))) 3)
(pow.f64 (pow.f64 (+.f64 (+.f64 c d) (+.f64 a b)) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))) 2)
(sqrt.f64 (pow.f64 (+.f64 (+.f64 c d) (+.f64 a b)) 2))
(log.f64 (exp.f64 (+.f64 (+.f64 c d) (+.f64 a b))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (+.f64 c d) (+.f64 a b)))))
(cbrt.f64 (pow.f64 (+.f64 (+.f64 c d) (+.f64 a b)) 3))
(expm1.f64 (log1p.f64 (+.f64 (+.f64 c d) (+.f64 a b))))
(exp.f64 (log.f64 (+.f64 (+.f64 c d) (+.f64 a b))))
(exp.f64 (*.f64 (log.f64 (+.f64 (+.f64 c d) (+.f64 a b))) 1))
(log1p.f64 (expm1.f64 (+.f64 (+.f64 c d) (+.f64 a b))))
(fma.f64 1 a (+.f64 c (+.f64 b d)))
(fma.f64 1 (+.f64 c (+.f64 b d)) a)
(fma.f64 (pow.f64 (cbrt.f64 a) 2) (cbrt.f64 a) (+.f64 c (+.f64 b d)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 b d))) 2) (cbrt.f64 (+.f64 c (+.f64 b d))) a)
(fma.f64 (sqrt.f64 a) (sqrt.f64 a) (+.f64 c (+.f64 b d)))
(fma.f64 (sqrt.f64 (+.f64 c (+.f64 b d))) (sqrt.f64 (+.f64 c (+.f64 b d))) a)
(-.f64 (exp.f64 (log1p.f64 (+.f64 c (+.f64 b d)))) 1)
(-.f64 (/.f64 (pow.f64 b 2) (-.f64 (-.f64 b d) c)) (/.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (-.f64 b d) c)))
(-.f64 (/.f64 (pow.f64 c 2) (-.f64 (-.f64 c d) b)) (/.f64 (pow.f64 (+.f64 b d) 2) (-.f64 (-.f64 c d) b)))
(*.f64 (+.f64 c (+.f64 b d)) 1)
(*.f64 1 (+.f64 c (+.f64 b d)))
(*.f64 (cbrt.f64 (+.f64 c (+.f64 b d))) (pow.f64 (cbrt.f64 (+.f64 c (+.f64 b d))) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 b d))) 2) (cbrt.f64 (+.f64 c (+.f64 b d))))
(*.f64 (sqrt.f64 (+.f64 c (+.f64 b d))) (sqrt.f64 (+.f64 c (+.f64 b d))))
(.f64 (+.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 b 3)) (/.f64 1 (fma.f64 b b (.f64 (+.f64 c d) (-.f64 (+.f64 c d) b)))))
(.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3)) (/.f64 1 (fma.f64 c c (.f64 (+.f64 b d) (-.f64 (+.f64 b d) c)))))
(*.f64 (-.f64 (pow.f64 b 2) (pow.f64 (+.f64 c d) 2)) (/.f64 1 (-.f64 (-.f64 b d) c)))
(*.f64 (-.f64 (pow.f64 c 2) (pow.f64 (+.f64 b d) 2)) (/.f64 1 (-.f64 (-.f64 c d) b)))
(/.f64 1 (/.f64 (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b))) (+.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 b 3))))
(/.f64 1 (/.f64 (-.f64 (-.f64 b d) c) (-.f64 (pow.f64 b 2) (pow.f64 (+.f64 c d) 2))))
(/.f64 1 (/.f64 (fma.f64 c c (*.f64 (+.f64 b d) (-.f64 (+.f64 b d) c))) (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3))))
(/.f64 1 (/.f64 (-.f64 (-.f64 c d) b) (-.f64 (pow.f64 c 2) (pow.f64 (+.f64 b d) 2))))
(/.f64 (+.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 b 3)) (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b))))
(/.f64 (+.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 b 3)) (+.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (pow.f64 b 2) (*.f64 b (+.f64 c d)))))
(/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3)) (fma.f64 c c (*.f64 (+.f64 b d) (-.f64 (+.f64 b d) c))))
(/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3)) (+.f64 (pow.f64 (+.f64 b d) 2) (-.f64 (pow.f64 c 2) (*.f64 c (+.f64 b d)))))
(/.f64 (-.f64 (pow.f64 b 2) (pow.f64 (+.f64 c d) 2)) (-.f64 (-.f64 b d) c))
(/.f64 (-.f64 (pow.f64 c 2) (pow.f64 (+.f64 b d) 2)) (-.f64 (-.f64 c d) b))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 b 3))) (neg.f64 (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 b 2) (pow.f64 (+.f64 c d) 2))) (neg.f64 (-.f64 (-.f64 b d) c)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3))) (neg.f64 (fma.f64 c c (*.f64 (+.f64 b d) (-.f64 (+.f64 b d) c)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 c 2) (pow.f64 (+.f64 b d) 2))) (neg.f64 (-.f64 (-.f64 c d) b)))
(/.f64 (+.f64 (pow.f64 (+.f64 c b) 3) (pow.f64 d 3)) (+.f64 (.f64 (+.f64 c b) (+.f64 c b)) (-.f64 (pow.f64 d 2) (.f64 (+.f64 c b) d))))
(/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 b 2)) (-.f64 (+.f64 c d) b))
(/.f64 (-.f64 (*.f64 (+.f64 c b) (+.f64 c b)) (pow.f64 d 2)) (-.f64 (+.f64 c b) d))
(/.f64 (-.f64 (pow.f64 (+.f64 b d) 2) (pow.f64 c 2)) (-.f64 (+.f64 b d) c))
(pow.f64 (+.f64 c (+.f64 b d)) 1)
(pow.f64 (cbrt.f64 (+.f64 c (+.f64 b d))) 3)
(pow.f64 (pow.f64 (+.f64 c (+.f64 b d)) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 c (+.f64 b d))) 2)
(sqrt.f64 (pow.f64 (+.f64 c (+.f64 b d)) 2))
(log.f64 (exp.f64 (+.f64 c (+.f64 b d))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 c (+.f64 b d)))))
(cbrt.f64 (pow.f64 (+.f64 c (+.f64 b d)) 3))
(expm1.f64 (log1p.f64 (+.f64 c (+.f64 b d))))
(exp.f64 (log.f64 (+.f64 c (+.f64 b d))))
(exp.f64 (*.f64 (log.f64 (+.f64 c (+.f64 b d))) 1))
(log1p.f64 (expm1.f64 (+.f64 c (+.f64 b d))))
(fma.f64 1 c (+.f64 b d))
(fma.f64 1 b (+.f64 c d))
(fma.f64 1 (+.f64 b d) c)
(fma.f64 1 (+.f64 c d) b)
(fma.f64 (pow.f64 (cbrt.f64 b) 2) (cbrt.f64 b) (+.f64 c d))
(fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 b d))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 c d)) 2) (cbrt.f64 (+.f64 c d)) b)
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 b d)) 2) (cbrt.f64 (+.f64 b d)) c)
(fma.f64 (sqrt.f64 b) (sqrt.f64 b) (+.f64 c d))
(fma.f64 (sqrt.f64 c) (sqrt.f64 c) (+.f64 b d))
(fma.f64 (sqrt.f64 (+.f64 c d)) (sqrt.f64 (+.f64 c d)) b)
(fma.f64 (sqrt.f64 (+.f64 b d)) (sqrt.f64 (+.f64 b d)) c)
(-.f64 (exp.f64 (log1p.f64 (+.f64 (+.f64 c d) (+.f64 a b)))) 1)
(-.f64 (/.f64 (pow.f64 a 2) (-.f64 a (+.f64 c (+.f64 b d)))) (/.f64 (pow.f64 (+.f64 c (+.f64 b d)) 2) (-.f64 a (+.f64 c (+.f64 b d)))))
(*.f64 (+.f64 (+.f64 c d) (+.f64 a b)) 1)
(*.f64 1 (+.f64 (+.f64 c d) (+.f64 a b)))
(*.f64 (cbrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))) (pow.f64 (cbrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))) 2) (cbrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))))
(*.f64 (sqrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))) (sqrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))))
(.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 b d)) 3) (pow.f64 a 3)) (/.f64 1 (fma.f64 a a (.f64 (+.f64 c (+.f64 b d)) (-.f64 (+.f64 c (+.f64 b d)) a)))))
(*.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c (+.f64 b d)) 2)) (/.f64 1 (-.f64 a (+.f64 c (+.f64 b d)))))
(/.f64 1 (/.f64 (fma.f64 a a (*.f64 (+.f64 c (+.f64 b d)) (-.f64 (+.f64 c (+.f64 b d)) a))) (+.f64 (pow.f64 (+.f64 c (+.f64 b d)) 3) (pow.f64 a 3))))
(/.f64 1 (/.f64 (-.f64 a (+.f64 c (+.f64 b d))) (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c (+.f64 b d)) 2))))
(/.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 b d)) 3) (pow.f64 a 3)) (fma.f64 a a (*.f64 (+.f64 c (+.f64 b d)) (-.f64 (+.f64 c (+.f64 b d)) a))))
(/.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 b d)) 3) (pow.f64 a 3)) (+.f64 (pow.f64 (+.f64 c (+.f64 b d)) 2) (-.f64 (pow.f64 a 2) (*.f64 a (+.f64 c (+.f64 b d))))))
(/.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c (+.f64 b d)) 2)) (-.f64 a (+.f64 c (+.f64 b d))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 b d)) 3) (pow.f64 a 3))) (neg.f64 (fma.f64 a a (*.f64 (+.f64 c (+.f64 b d)) (-.f64 (+.f64 c (+.f64 b d)) a)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 a 2) (pow.f64 (+.f64 c (+.f64 b d)) 2))) (neg.f64 (-.f64 a (+.f64 c (+.f64 b d)))))
(/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (.f64 (+.f64 a b) (+.f64 a b)) (-.f64 (pow.f64 (+.f64 c d) 2) (.f64 (+.f64 a b) (+.f64 c d)))))
(/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 (+.f64 b d) 3)) (+.f64 (.f64 (+.f64 a c) (+.f64 a c)) (-.f64 (pow.f64 (+.f64 b d) 2) (.f64 (+.f64 a c) (+.f64 b d)))))
(/.f64 (-.f64 (*.f64 (+.f64 a b) (+.f64 a b)) (pow.f64 (+.f64 c d) 2)) (-.f64 (+.f64 a b) (+.f64 c d)))
(/.f64 (-.f64 (pow.f64 (+.f64 c (+.f64 b d)) 2) (pow.f64 a 2)) (-.f64 (+.f64 c (+.f64 b d)) a))
(/.f64 (-.f64 (*.f64 (+.f64 a c) (+.f64 a c)) (pow.f64 (+.f64 b d) 2)) (-.f64 (+.f64 a c) (+.f64 b d)))
(pow.f64 (+.f64 (+.f64 c d) (+.f64 a b)) 1)
(pow.f64 (cbrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))) 3)
(pow.f64 (pow.f64 (+.f64 (+.f64 c d) (+.f64 a b)) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 (+.f64 c d) (+.f64 a b))) 2)
(sqrt.f64 (pow.f64 (+.f64 (+.f64 c d) (+.f64 a b)) 2))
(log.f64 (exp.f64 (+.f64 (+.f64 c d) (+.f64 a b))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (+.f64 c d) (+.f64 a b)))))
(cbrt.f64 (pow.f64 (+.f64 (+.f64 c d) (+.f64 a b)) 3))
(expm1.f64 (log1p.f64 (+.f64 (+.f64 c d) (+.f64 a b))))
(exp.f64 (log.f64 (+.f64 (+.f64 c d) (+.f64 a b))))
(exp.f64 (*.f64 (log.f64 (+.f64 (+.f64 c d) (+.f64 a b))) 1))
(log1p.f64 (expm1.f64 (+.f64 (+.f64 c d) (+.f64 a b))))
(fma.f64 1 a (+.f64 c (+.f64 b d)))
(fma.f64 1 (+.f64 c (+.f64 b d)) a)
(fma.f64 (pow.f64 (cbrt.f64 a) 2) (cbrt.f64 a) (+.f64 c (+.f64 b d)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 b d))) 2) (cbrt.f64 (+.f64 c (+.f64 b d))) a)
(fma.f64 (sqrt.f64 a) (sqrt.f64 a) (+.f64 c (+.f64 b d)))
(fma.f64 (sqrt.f64 (+.f64 c (+.f64 b d))) (sqrt.f64 (+.f64 c (+.f64 b d))) a)
(-.f64 (exp.f64 (log1p.f64 (+.f64 c (+.f64 b d)))) 1)
(-.f64 (/.f64 (pow.f64 b 2) (-.f64 (-.f64 b d) c)) (/.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (-.f64 b d) c)))
(-.f64 (/.f64 (pow.f64 c 2) (-.f64 (-.f64 c d) b)) (/.f64 (pow.f64 (+.f64 b d) 2) (-.f64 (-.f64 c d) b)))
(*.f64 (+.f64 c (+.f64 b d)) 1)
(*.f64 1 (+.f64 c (+.f64 b d)))
(*.f64 (cbrt.f64 (+.f64 c (+.f64 b d))) (pow.f64 (cbrt.f64 (+.f64 c (+.f64 b d))) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 b d))) 2) (cbrt.f64 (+.f64 c (+.f64 b d))))
(*.f64 (sqrt.f64 (+.f64 c (+.f64 b d))) (sqrt.f64 (+.f64 c (+.f64 b d))))
(.f64 (+.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 b 3)) (/.f64 1 (fma.f64 b b (.f64 (+.f64 c d) (-.f64 (+.f64 c d) b)))))
(.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3)) (/.f64 1 (fma.f64 c c (.f64 (+.f64 b d) (-.f64 (+.f64 b d) c)))))
(*.f64 (-.f64 (pow.f64 b 2) (pow.f64 (+.f64 c d) 2)) (/.f64 1 (-.f64 (-.f64 b d) c)))
(*.f64 (-.f64 (pow.f64 c 2) (pow.f64 (+.f64 b d) 2)) (/.f64 1 (-.f64 (-.f64 c d) b)))
(/.f64 1 (/.f64 (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b))) (+.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 b 3))))
(/.f64 1 (/.f64 (-.f64 (-.f64 b d) c) (-.f64 (pow.f64 b 2) (pow.f64 (+.f64 c d) 2))))
(/.f64 1 (/.f64 (fma.f64 c c (*.f64 (+.f64 b d) (-.f64 (+.f64 b d) c))) (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3))))
(/.f64 1 (/.f64 (-.f64 (-.f64 c d) b) (-.f64 (pow.f64 c 2) (pow.f64 (+.f64 b d) 2))))
(/.f64 (+.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 b 3)) (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b))))
(/.f64 (+.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 b 3)) (+.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (pow.f64 b 2) (*.f64 b (+.f64 c d)))))
(/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3)) (fma.f64 c c (*.f64 (+.f64 b d) (-.f64 (+.f64 b d) c))))
(/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3)) (+.f64 (pow.f64 (+.f64 b d) 2) (-.f64 (pow.f64 c 2) (*.f64 c (+.f64 b d)))))
(/.f64 (-.f64 (pow.f64 b 2) (pow.f64 (+.f64 c d) 2)) (-.f64 (-.f64 b d) c))
(/.f64 (-.f64 (pow.f64 c 2) (pow.f64 (+.f64 b d) 2)) (-.f64 (-.f64 c d) b))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 c d) 3) (pow.f64 b 3))) (neg.f64 (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 b 2) (pow.f64 (+.f64 c d) 2))) (neg.f64 (-.f64 (-.f64 b d) c)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3))) (neg.f64 (fma.f64 c c (*.f64 (+.f64 b d) (-.f64 (+.f64 b d) c)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 c 2) (pow.f64 (+.f64 b d) 2))) (neg.f64 (-.f64 (-.f64 c d) b)))
(/.f64 (+.f64 (pow.f64 (+.f64 c b) 3) (pow.f64 d 3)) (+.f64 (.f64 (+.f64 c b) (+.f64 c b)) (-.f64 (pow.f64 d 2) (.f64 (+.f64 c b) d))))
(/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 b 2)) (-.f64 (+.f64 c d) b))
(/.f64 (-.f64 (*.f64 (+.f64 c b) (+.f64 c b)) (pow.f64 d 2)) (-.f64 (+.f64 c b) d))
(/.f64 (-.f64 (pow.f64 (+.f64 b d) 2) (pow.f64 c 2)) (-.f64 (+.f64 b d) c))
(pow.f64 (+.f64 c (+.f64 b d)) 1)
(pow.f64 (cbrt.f64 (+.f64 c (+.f64 b d))) 3)
(pow.f64 (pow.f64 (+.f64 c (+.f64 b d)) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 c (+.f64 b d))) 2)
(sqrt.f64 (pow.f64 (+.f64 c (+.f64 b d)) 2))
(log.f64 (exp.f64 (+.f64 c (+.f64 b d))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 c (+.f64 b d)))))
(cbrt.f64 (pow.f64 (+.f64 c (+.f64 b d)) 3))
(expm1.f64 (log1p.f64 (+.f64 c (+.f64 b d))))
(exp.f64 (log.f64 (+.f64 c (+.f64 b d))))
(exp.f64 (*.f64 (log.f64 (+.f64 c (+.f64 b d))) 1))
(log1p.f64 (expm1.f64 (+.f64 c (+.f64 b d))))
(fma.f64 1 c (+.f64 b d))
(fma.f64 1 b (+.f64 c d))
(fma.f64 1 (+.f64 b d) c)
(fma.f64 1 (+.f64 c d) b)
(fma.f64 (pow.f64 (cbrt.f64 b) 2) (cbrt.f64 b) (+.f64 c d))
(fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 b d))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 c d)) 2) (cbrt.f64 (+.f64 c d)) b)
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 b d)) 2) (cbrt.f64 (+.f64 b d)) c)
(fma.f64 (sqrt.f64 b) (sqrt.f64 b) (+.f64 c d))
(fma.f64 (sqrt.f64 c) (sqrt.f64 c) (+.f64 b d))
(fma.f64 (sqrt.f64 (+.f64 c d)) (sqrt.f64 (+.f64 c d)) b)
(fma.f64 (sqrt.f64 (+.f64 b d)) (sqrt.f64 (+.f64 b d)) c)

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

eval36.0ms (0.9%)

Compiler: Compiled 2505 to 1044 computations (58.3% saved)

prune29.0ms (0.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	133	5	138
Fresh	0	0	0
Picked	2	0	2
Done	0	0	0
Total	135	5	140

Accuracy

100.0%

Counts

140 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 196 to 148 computations (24.5% saved)

localize69.0ms (1.8%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 82 to 25 computations (69.5% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite66.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

934×	`unpow-prod-down`
846×	`fma-def`
741×	`log1p-expm1-u`
741×	`expm1-log1p-u`
590×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 94

Calls

Call 1

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

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

simplify90.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1208×	`distribute-lft-in`
1196×	`distribute-rgt-in`
852×	`fma-neg`
842×	`fma-def`
458×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	253	4021
1	642	3952
2	1806	3939
3	7684	3939

Stop Event

1×	node limit

Counts

130 → 119

Calls

Call 1

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

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

eval37.0ms (1%)

Compiler: Compiled 1762 to 848 computations (51.9% saved)

prune99.0ms (2.6%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	118	1	119
Fresh	0	0	0
Picked	0	5	5
Done	0	0	0
Total	118	6	124

Accuracy

100.0%

Counts

124 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	10.9%	(*.f64 2 (+.f64 (+.f64 c d) a))
✓	10.9%	(*.f64 2 (+.f64 c (+.f64 a d)))
✓	100.0%	(*.f64 2 (+.f64 b (+.f64 c (+.f64 a d))))
▶	9.1%	(*.f64 2 (+.f64 a d))
✓	10.9%	(*.f64 2 c)
✓	6.9%	(*.f64 2 b)
✓	10.9%	(*.f64 2 (+.f64 (+.f64 c d) a))
✓	10.9%	(*.f64 2 (+.f64 c (+.f64 a d)))
✓	100.0%	(*.f64 2 (+.f64 b (+.f64 c (+.f64 a d))))
▶	9.1%	(*.f64 2 (+.f64 a d))
✓	10.9%	(*.f64 2 c)
✓	6.9%	(*.f64 2 b)

Compiler

Compiled 116 to 88 computations (24.1% saved)

localize27.0ms (0.7%)

Compiler: Compiled 16 to 9 computations (43.8% saved)

eval3.0ms (0.1%)

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	1	1
Done	5	5
Total	6	6

Accuracy

100.0%

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	10.9%	(*.f64 2 (+.f64 (+.f64 c d) a))
✓	10.9%	(*.f64 2 (+.f64 c (+.f64 a d)))
✓	100.0%	(*.f64 2 (+.f64 b (+.f64 c (+.f64 a d))))
✓	9.1%	(*.f64 2 (+.f64 a d))
✓	10.9%	(*.f64 2 c)
✓	6.9%	(*.f64 2 b)

Compiler

Compiled 114 to 74 computations (35.1% saved)

regimes72.0ms (1.9%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

8 calls:

24.0ms	a
8.0ms	(+.f64 a (+.f64 b (+.f64 c d)))
7.0ms	(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
7.0ms	(+.f64 c d)
6.0ms	c

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 73 computations (37.1% saved)

regimes124.0ms (3.2%)

Counts

6 → 1

Calls

Call 1

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

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

Calls

5 calls:

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

Results

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

Compiler

Compiled 65 to 44 computations (32.3% saved)

regimes47.0ms (1.2%)

Counts

5 → 2

Calls

Call 1

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

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

Calls

5 calls:

14.0ms	b
12.0ms	d
9.0ms	(+.f64 c d)
6.0ms	a
5.0ms	c

Results

Accuracy	Segments	Branch
10.9%	1	`c`
10.9%	1	`a`
13.7%	2	`b`
12.8%	2	`d`
13.6%	2	`(+.f64 c d)`

Compiler

Compiled 56 to 39 computations (30.4% saved)

regimes13.0ms (0.3%)

Counts

3 → 2

Calls

Call 1

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

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

Calls

1 calls:

12.0ms

Results

Accuracy	Segments	Branch
13.7%	2	`b`

Compiler

Compiled 20 to 15 computations (25% saved)

regimes15.0ms (0.4%)

Counts

2 → 1

Calls

Call 1

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

Outputs
(*.f64 2 c)

Calls

4 calls:

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

Results

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

Compiler

Compiled 30 to 24 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	b
3.0ms	c
3.0ms	a

Results

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

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.5532836531775276	-2.5505292891726126

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.5532836531775276	-2.5505292891726126

Compiler

Compiled 20 to 15 computations (25% saved)

simplify21.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

12×	`+-commutative`
12×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	194
1	43	194

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 76 to 55 computations (27.6% saved)

soundness943.0ms (24.6%)

Rules

2014×	`unsub-neg`
1530×	`fma-def`
1448×	`fma-neg`
1334×	`associate-+l-`
912×	`times-frac`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	57	456
1	133	444
2	388	444
3	1157	444
4	2504	444
5	4130	444
6	5980	444
7	6842	444
8	7380	444
9	7463	444
10	7468	444
11	7468	444
12	7468	444
13	7469	444
14	7469	444
0	260	11802
1	720	11586
2	2775	11538
0	260	11802
1	720	11586
2	2775	11538
0	260	11802
1	720	11586
2	2775	11538

Stop Event

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

Compiler

Compiled 184 to 101 computations (45.1% saved)

end0.0ms (0%)

preprocess68.0ms (1.8%)

Remove: (sort a b c d)
Compiler: Compiled 194 to 122 computations (37.1% saved)

analyze0.0ms (0%)

sample1.4s (37.5%)

preprocess287.0ms (7.5%)

eval1.0ms (0%)

prune3.0ms (0.1%)

localize53.0ms (1.4%)

series4.0ms (0.1%)

rewrite147.0ms (3.8%)

simplify120.0ms (3.1%)

eval36.0ms (0.9%)

prune29.0ms (0.7%)

localize69.0ms (1.8%)

series1.0ms (0%)

rewrite66.0ms (1.7%)

simplify90.0ms (2.3%)

eval37.0ms (1%)

prune99.0ms (2.6%)

localize27.0ms (0.7%)

eval3.0ms (0.1%)

prune4.0ms (0.1%)

regimes72.0ms (1.9%)

regimes124.0ms (3.2%)

regimes47.0ms (1.2%)

regimes13.0ms (0.3%)

regimes15.0ms (0.4%)

regimes12.0ms (0.3%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

simplify21.0ms (0.6%)

soundness943.0ms (24.6%)

end0.0ms (0%)

preprocess68.0ms (1.8%)

Profiling