asech Mul Mul pi x0 Pow x1 atanh asinh sqrt x0 
Mul Add Mul Pow x1 atanh asinh sqrt x0 pi Mul Mul pi x0 Mul Pow x1 Add atanh asinh sqrt x0 -1 Mul Mul x1 log x1 Mul Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul sqrt x0 sqrt x0 -1 Pow Add 1 Mul -1 Mul asinh sqrt x0 asinh sqrt x0 -1 Pow Mul Mul Mul Mul pi x0 Pow x1 atanh asinh sqrt x0 Mul Mul pi x0 Pow x1 atanh asinh sqrt x0 sqrt Add 1 Mul -1 Pow Mul Mul Mul pi x0 Pow x1 atanh asinh sqrt x0 Mul Mul pi x0 Pow x1 atanh asinh sqrt x0 -1 -1 