Mul 4 Pow Pow Mul -3 cos x5 x0 Mul asin cosh x0 Pow x5 -2 
Mul 4 Mul Pow Pow Mul -3 cos x5 x0 Add Mul asin cosh x0 Pow x5 -2 -1 Add Mul Mul asin cosh x0 Pow x5 -2 Mul Pow Mul -3 cos x5 Add x0 -1 Mul Mul -3 cos x5 log Mul -3 cos x5 Mul Mul Pow Mul -3 cos x5 x0 log Pow Mul -3 cos x5 x0 Mul Pow x5 -2 Mul sinh x0 Pow sqrt Add 1 Mul -1 Mul cosh x0 cosh x0 -1 