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