Pow Mul Pow x0 cot acot cosh x3 -3 Add 4 x0 
Mul Pow Mul Pow x0 cot acot cosh x3 -3 Add Add 4 x0 -1 Add Mul Add 4 x0 Mul -3 Mul Pow x0 Add cot acot cosh x3 -1 cot acot cosh x3 Mul Mul Pow x0 cot acot cosh x3 -3 log Mul Pow x0 cot acot cosh x3 -3 