Mul Mul Pow cos x6 x0 Mul sqrt Add x0 Mul csch acot sech x3 x0 x0 x0 
Add Mul x0 Add Mul Mul sqrt Add x0 Mul csch acot sech x3 x0 x0 Mul Pow cos x6 Add x0 -1 Mul cos x6 log cos x6 Mul Pow cos x6 x0 Add Mul x0 Mul Pow Mul 2 sqrt Add x0 Mul csch acot sech x3 x0 -1 Add 1 csch acot sech x3 sqrt Add x0 Mul csch acot sech x3 x0 Mul Pow cos x6 x0 Mul sqrt Add x0 Mul csch acot sech x3 x0 x0 