Mul Pow acosh E Mul Pow x0 Mul 2 x4 Mul x0 Pow 2 x3 cos Pow Mul x4 -1 x3 
Mul cos Pow Mul x4 -1 x3 Mul Pow acosh E Add Mul Pow x0 Mul 2 x4 Mul x0 Pow 2 x3 -1 Mul Mul acosh E log acosh E Add Mul Mul x0 Pow 2 x3 Mul Pow x0 Add Mul 2 x4 -1 Mul 2 x4 Mul Pow x0 Mul 2 x4 Pow 2 x3 