Pow cot x3 Pow Mul Mul acot x0 x0 cosh Pow x0 x5 Add x0 x0 
Mul Pow cot x3 Add Pow Mul Mul acot x0 x0 cosh Pow x0 x5 Add x0 x0 -1 Mul Mul cot x3 log cot x3 Mul Pow Mul Mul acot x0 x0 cosh Pow x0 x5 Add Add x0 x0 -1 Add Mul Add x0 x0 Add Mul cosh Pow x0 x5 Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 acot x0 Mul Mul acot x0 x0 Mul sinh Pow x0 x5 Mul Pow x0 Add x5 -1 x5 Mul Mul Mul Mul acot x0 x0 cosh Pow x0 x5 log Mul Mul acot x0 x0 cosh Pow x0 x5 2 