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