atanh Pow Pow sec Mul x0 -4 pi 2 
Mul Mul Pow sec Mul x0 -4 pi Mul 2 Mul Pow sec Mul x0 -4 Add pi -1 Mul pi Mul Mul tan Mul x0 -4 sec Mul x0 -4 -4 Pow Add 1 Mul -1 Mul Pow Pow sec Mul x0 -4 pi 2 Pow Pow sec Mul x0 -4 pi 2 -1 