Mul asinh Add Mul x5 E acoth Pow Add x0 Mul Mul log x0 x0 -3 acoth x1 Mul log x0 cosh x0 
Add Mul Mul log x0 cosh x0 Mul Mul Mul Pow Add x0 Mul Mul log x0 x0 -3 Add acoth x1 -1 Mul acoth x1 Add 1 Mul -3 Add Mul x0 Pow x0 -1 log x0 Pow Add 1 Mul -1 Mul Pow Add x0 Mul Mul log x0 x0 -3 acoth x1 Pow Add x0 Mul Mul log x0 x0 -3 acoth x1 -1 Pow sqrt Add 1 Mul Add Mul x5 E acoth Pow Add x0 Mul Mul log x0 x0 -3 acoth x1 Add Mul x5 E acoth Pow Add x0 Mul Mul log x0 x0 -3 acoth x1 -1 Mul asinh Add Mul x5 E acoth Pow Add x0 Mul Mul log x0 x0 -3 acoth x1 Add Mul cosh x0 Pow x0 -1 Mul log x0 sinh x0 