tan asec Pow tan asin x0 Add acoth x1 Add x1 -2 
Mul Pow sec asec Pow tan asin x0 Add acoth x1 Add x1 -2 2 Mul Mul Pow tan asin x0 Add Add acoth x1 Add x1 -2 -1 Mul Add acoth x1 Add x1 -2 Mul Pow sec asin x0 2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow tan asin x0 Add acoth x1 Add x1 -2 Pow tan asin x0 Add acoth x1 Add x1 -2 -1 Pow tan asin x0 Add acoth x1 Add x1 -2 Pow tan asin x0 Add acoth x1 Add x1 -2 -1 