sin Pow Pow x0 cosh x2 Mul x0 -4 
Mul cos Pow Pow x0 cosh x2 Mul x0 -4 Mul Pow Pow x0 cosh x2 Add Mul x0 -4 -1 Add Mul Mul x0 -4 Mul Pow x0 Add cosh x2 -1 cosh x2 Mul Mul Pow x0 cosh x2 log Pow x0 cosh x2 -4 