Mul Pow sqrt Add -4 x6 Mul Add x2 3 Mul Mul acoth cos x0 3 sech E -3 
Mul -3 Mul Pow sqrt Add -4 x6 Add Mul Add x2 3 Mul Mul acoth cos x0 3 sech E -1 Mul Mul sqrt Add -4 x6 log sqrt Add -4 x6 Mul Add x2 3 Mul sech E Mul 3 Mul Mul -1 sin x0 Pow Add 1 Mul -1 Mul cos x0 cos x0 -1 