Add x0 Pow x2 asech Pow tan acos csch cos x5 x0 
Add 1 Mul Pow x2 Add asech Pow tan acos csch cos x5 x0 -1 Mul Mul x2 log x2 Mul Mul Pow tan acos csch cos x5 Add x0 -1 Mul tan acos csch cos x5 log tan acos csch cos x5 Pow Mul Mul Pow tan acos csch cos x5 x0 Pow tan acos csch cos x5 x0 sqrt Add 1 Mul -1 Pow Mul Pow tan acos csch cos x5 x0 Pow tan acos csch cos x5 x0 -1 -1 