Pow Mul acoth Mul asin x5 x6 Mul x5 x0 Mul Mul asin Add x0 asec x0 x0 x0 
Mul Pow Mul acoth Mul asin x5 x6 Mul x5 x0 Add Mul Mul asin Add x0 asec x0 x0 x0 -1 Add Mul Mul Mul asin Add x0 asec x0 x0 x0 Mul acoth Mul asin x5 x6 x5 Mul Mul Mul acoth Mul asin x5 x6 Mul x5 x0 log Mul acoth Mul asin x5 x6 Mul x5 x0 Add Mul x0 Add Mul x0 Mul Add 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add x0 asec x0 Add x0 asec x0 -1 asin Add x0 asec x0 Mul asin Add x0 asec x0 x0 