Pow Mul acsch acot atan Mul log Mul x0 cosh x0 x0 x1 -4 
Mul Pow Mul acsch acot atan Mul log Mul x0 cosh x0 x0 x1 5 Mul -4 Mul x1 Mul Mul -1 Mul -1 Mul Mul Add Mul x0 Mul Add cosh x0 Mul x0 sinh x0 Pow Mul x0 cosh x0 -1 log Mul x0 cosh x0 Pow Add 1 Mul Mul log Mul x0 cosh x0 x0 Mul log Mul x0 cosh x0 x0 -1 Pow Add 1 Mul atan Mul log Mul x0 cosh x0 x0 atan Mul log Mul x0 cosh x0 x0 -1 Pow Mul Mul acot atan Mul log Mul x0 cosh x0 x0 acot atan Mul log Mul x0 cosh x0 x0 sqrt Add 1 Mul -1 Pow Mul acot atan Mul log Mul x0 cosh x0 x0 acot atan Mul log Mul x0 cosh x0 x0 -1 -1 