acsch asinh Mul Add x0 x0 Mul atanh x0 pi 
Mul Mul -1 Mul Add Mul Mul atanh x0 pi 2 Mul Add x0 x0 Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul Mul Add x0 x0 Mul atanh x0 pi Mul Add x0 x0 Mul atanh x0 pi -1 Pow Mul Mul asinh Mul Add x0 x0 Mul atanh x0 pi asinh Mul Add x0 x0 Mul atanh x0 pi sqrt Add 1 Mul -1 Pow Mul asinh Mul Add x0 x0 Mul atanh x0 pi asinh Mul Add x0 x0 Mul atanh x0 pi -1 -1 