atanh Pow acsch sec x0 Pow Mul asin x6 Mul x2 -1 log x2 
Mul Mul Pow acsch sec x0 Add Pow Mul asin x6 Mul x2 -1 log x2 -1 Mul Pow Mul asin x6 Mul x2 -1 log x2 Mul Mul -1 Mul tan x0 sec x0 Pow Mul Mul sec x0 sec x0 sqrt Add 1 Mul -1 Pow Mul sec x0 sec x0 -1 -1 Pow Add 1 Mul -1 Mul Pow acsch sec x0 Pow Mul asin x6 Mul x2 -1 log x2 Pow acsch sec x0 Pow Mul asin x6 Mul x2 -1 log x2 -1 