Mul Add sinh Pow x0 Mul x0 log x0 1 asec Mul sin acoth acot x0 x1 
Add Mul asec Mul sin acoth acot x0 x1 Mul cosh Pow x0 Mul x0 log x0 Mul Pow x0 Add Mul x0 log x0 -1 Add Mul x0 log x0 Mul Mul x0 log x0 Add log x0 Mul x0 Pow x0 -1 Mul Add sinh Pow x0 Mul x0 log x0 1 Mul Mul x1 Mul cos acoth acot x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acot x0 acot x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul sin acoth acot x0 x1 Mul sin acoth acot x0 x1 -1 Mul sin acoth acot x0 x1 Mul sin acoth acot x0 x1 -1 