Mul x0 Add Mul Mul Mul atanh x1 csch sinh Add x7 Add x0 x4 x0 Mul -2 x0 exp sqrt x0 
Add Add Mul Mul Mul atanh x1 csch sinh Add x7 Add x0 x4 x0 Mul -2 x0 exp sqrt x0 Mul x0 Add Add Mul Mul -2 x0 Add Mul x0 Mul atanh x1 Mul Mul Mul -1 coth sinh Add x7 Add x0 x4 csch sinh Add x7 Add x0 x4 cosh Add x7 Add x0 x4 Mul atanh x1 csch sinh Add x7 Add x0 x4 Mul Mul Mul atanh x1 csch sinh Add x7 Add x0 x4 x0 -2 Mul exp sqrt x0 Pow Mul 2 sqrt x0 -1 