Mul Pow x0 cos Add Pow x1 cosh x0 x0 Mul Pow acoth x4 x3 x6 
Mul Mul Pow acoth x4 x3 x6 Mul Pow x0 Add cos Add Pow x1 cosh x0 x0 -1 Add cos Add Pow x1 cosh x0 x0 Mul Mul x0 log x0 Mul Mul -1 sin Add Pow x1 cosh x0 x0 Add Mul Pow x1 Add cosh x0 -1 Mul Mul x1 log x1 sinh x0 1 