tan Add x0 asech Pow Pow asin x1 pi x0 
Mul Pow sec Add x0 asech Pow Pow asin x1 pi x0 2 Add 1 Mul Mul Pow Pow asin x1 pi Add x0 -1 Mul Pow asin x1 pi log Pow asin x1 pi Pow Mul Mul Pow Pow asin x1 pi x0 Pow Pow asin x1 pi x0 sqrt Add 1 Mul -1 Pow Mul Pow Pow asin x1 pi x0 Pow Pow asin x1 pi x0 -1 -1 