acos Mul asinh x5 Pow atanh Pow Add x0 asec x6 pi x0 
Mul -1 Mul Mul asinh x5 Mul Pow atanh Pow Add x0 asec x6 pi Add x0 -1 Add Mul x0 Mul Mul Pow Add x0 asec x6 Add pi -1 pi Pow Add 1 Mul -1 Mul Pow Add x0 asec x6 pi Pow Add x0 asec x6 pi -1 Mul atanh Pow Add x0 asec x6 pi log atanh Pow Add x0 asec x6 pi Pow sqrt Add 1 Mul -1 Mul Mul asinh x5 Pow atanh Pow Add x0 asec x6 pi x0 Mul asinh x5 Pow atanh Pow Add x0 asec x6 pi x0 -1 