Add Mul x0 Pow x4 Pow Pow x0 Mul x5 2 cosh acot x5 x0 
Add Add Pow x4 Pow Pow x0 Mul x5 2 cosh acot x5 Mul x0 Mul Pow x4 Add Pow Pow x0 Mul x5 2 cosh acot x5 -1 Mul Mul x4 log x4 Mul Pow Pow x0 Mul x5 2 Add cosh acot x5 -1 Mul cosh acot x5 Mul Pow x0 Add Mul x5 2 -1 Mul x5 2 1 