Pow acoth x6 Add Mul Pow x1 x5 Add x4 Mul cosh Mul Mul x0 x6 x0 acot x0 Mul Pow Add x0 -5 4 -3 
Mul Pow acoth x6 Add Add Mul Pow x1 x5 Add x4 Mul cosh Mul Mul x0 x6 x0 acot x0 Mul Pow Add x0 -5 4 -3 -1 Mul Mul acoth x6 log acoth x6 Add Mul Pow x1 x5 Add Mul acot x0 Mul sinh Mul Mul x0 x6 x0 Add Mul x0 x6 Mul x0 x6 Mul cosh Mul Mul x0 x6 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul -3 Mul Pow Add x0 -5 3 4 