acosh csch sqrt Mul x6 Add x0 x3 
Mul Mul Mul Mul -1 coth sqrt Mul x6 Add x0 x3 csch sqrt Mul x6 Add x0 x3 Mul Pow Mul 2 sqrt Mul x6 Add x0 x3 -1 x6 Pow Mul sqrt Add csch sqrt Mul x6 Add x0 x3 -1 sqrt Add 1 csch sqrt Mul x6 Add x0 x3 -1 