Mul 2 sqrt Mul Mul Add Add Add 4 x2 pi Mul x0 sech x1 x0 exp pi 
Mul 2 Mul Pow Mul 2 sqrt Mul Mul Add Add Add 4 x2 pi Mul x0 sech x1 x0 exp pi -1 Mul exp pi Add Mul x0 sech x1 Add Add Add 4 x2 pi Mul x0 sech x1 