Pow Mul atanh x0 Mul Mul Add asech x0 x0 pi x0 Pow sqrt Add pi x3 x0 
Mul Pow Mul atanh x0 Mul Mul Add asech x0 x0 pi x0 Add Pow sqrt Add pi x3 x0 -1 Add Mul Pow sqrt Add pi x3 x0 Add Mul Mul Mul Add asech x0 x0 pi x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Add Mul x0 Mul pi Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 Mul Add asech x0 x0 pi Mul Mul Mul atanh x0 Mul Mul Add asech x0 x0 pi x0 log Mul atanh x0 Mul Mul Add asech x0 x0 pi x0 Mul Pow sqrt Add pi x3 Add x0 -1 Mul sqrt Add pi x3 log sqrt Add pi x3 