Mul Pow Pow x0 Mul asech pi x3 x0 sqrt Add x0 acsch pi 
Add Mul sqrt Add x0 acsch pi Mul Pow Pow x0 Mul asech pi x3 Add x0 -1 Add Mul x0 Mul Pow x0 Add Mul asech pi x3 -1 Mul asech pi x3 Mul Pow x0 Mul asech pi x3 log Pow x0 Mul asech pi x3 Mul Pow Pow x0 Mul asech pi x3 x0 Pow Mul 2 sqrt Add x0 acsch pi -1 