Add sinh acoth Mul sqrt Mul x0 x6 x0 Add x0 Pow x6 x0 
Add Mul cosh acoth Mul sqrt Mul x0 x6 x0 Mul Add Mul x0 Mul Pow Mul 2 sqrt Mul x0 x6 -1 x6 sqrt Mul x0 x6 Pow Add 1 Mul -1 Mul Mul sqrt Mul x0 x6 x0 Mul sqrt Mul x0 x6 x0 -1 Add 1 Mul Pow x6 Add x0 -1 Mul x6 log x6 