Mul asec Mul atan Mul atanh pi Mul x0 4 E Pow x7 x2 
Mul Pow x7 x2 Mul Mul E Mul Mul atanh pi 4 Pow Add 1 Mul Mul atanh pi Mul x0 4 Mul atanh pi Mul x0 4 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul atan Mul atanh pi Mul x0 4 E Mul atan Mul atanh pi Mul x0 4 E -1 Mul atan Mul atanh pi Mul x0 4 E Mul atan Mul atanh pi Mul x0 4 E -1 