Pow Pow Mul x3 x0 cosh Mul coth x2 x0 Mul -2 Pow sin acot x0 Pow x4 x5 
Mul Pow Pow Mul x3 x0 cosh Mul coth x2 x0 Add Mul -2 Pow sin acot x0 Pow x4 x5 -1 Add Mul Mul -2 Pow sin acot x0 Pow x4 x5 Mul Pow Mul x3 x0 Add cosh Mul coth x2 x0 -1 Add Mul cosh Mul coth x2 x0 x3 Mul Mul Mul x3 x0 log Mul x3 x0 Mul sinh Mul coth x2 x0 coth x2 Mul Mul Pow Mul x3 x0 cosh Mul coth x2 x0 log Pow Mul x3 x0 cosh Mul coth x2 x0 Mul -2 Mul Pow sin acot x0 Add Pow x4 x5 -1 Mul Pow x4 x5 Mul cos acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 