Mul Mul 2 x0 Pow sec Mul pi x0 sqrt Add Pow 2 x0 atanh x4 
Add Mul Pow sec Mul pi x0 sqrt Add Pow 2 x0 atanh x4 2 Mul Mul 2 x0 Mul Pow sec Mul pi x0 Add sqrt Add Pow 2 x0 atanh x4 -1 Add Mul sqrt Add Pow 2 x0 atanh x4 Mul Mul tan Mul pi x0 sec Mul pi x0 pi Mul Mul sec Mul pi x0 log sec Mul pi x0 Mul Pow Mul 2 sqrt Add Pow 2 x0 atanh x4 -1 Mul Pow 2 Add x0 -1 2.69314718055995 