Mul Mul x5 Mul x0 Pow E Pow x0 Pow cosh atanh atanh sqrt Mul x3 5 acoth atan x0 E 
Mul E Mul x5 Add Pow E Pow x0 Pow cosh atanh atanh sqrt Mul x3 5 acoth atan x0 Mul x0 Mul Pow E Add Pow x0 Pow cosh atanh atanh sqrt Mul x3 5 acoth atan x0 -1 Mul Mul E log E Mul Pow x0 Add Pow cosh atanh atanh sqrt Mul x3 5 acoth atan x0 -1 Add Pow cosh atanh atanh sqrt Mul x3 5 acoth atan x0 Mul Mul x0 log x0 Mul Pow cosh atanh atanh sqrt Mul x3 5 Add acoth atan x0 -1 Mul Mul cosh atanh atanh sqrt Mul x3 5 log cosh atanh atanh sqrt Mul x3 5 Mul Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul atan x0 atan x0 -1 