cosh Pow Mul x0 acoth Pow log x3 x0 x3 
Mul sinh Pow Mul x0 acoth Pow log x3 x0 x3 Mul Pow Mul x0 acoth Pow log x3 x0 Add x3 -1 Mul x3 Add acoth Pow log x3 x0 Mul x0 Mul Mul Pow log x3 Add x0 -1 Mul log x3 log log x3 Pow Add 1 Mul -1 Mul Pow log x3 x0 Pow log x3 x0 -1 