Pow Pow x6 acot Pow cos acot acos cosh x3 cos acosh x3 Mul x0 x0 
Mul Pow Pow x6 acot Pow cos acot acos cosh x3 cos acosh x3 Add Mul x0 x0 -1 Mul Mul Pow x6 acot Pow cos acot acos cosh x3 cos acosh x3 log Pow x6 acot Pow cos acot acos cosh x3 cos acosh x3 Add x0 x0 