Mul Pow Mul Add Pow sech x2 sqrt x3 Mul pi sqrt Add atan x0 x5 x0 x0 x4 
Mul x4 Mul Pow Mul Add Pow sech x2 sqrt x3 Mul pi sqrt Add atan x0 x5 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul pi Mul Pow Mul 2 sqrt Add atan x0 x5 -1 Pow Add 1 Mul x0 x0 -1 Add Pow sech x2 sqrt x3 Mul pi sqrt Add atan x0 x5 Mul Mul Add Pow sech x2 sqrt x3 Mul pi sqrt Add atan x0 x5 x0 log Mul Add Pow sech x2 sqrt x3 Mul pi sqrt Add atan x0 x5 x0 