Pow tanh tan Pow Mul x0 x0 Mul x0 x0 pi 
Mul Pow tanh tan Pow Mul x0 x0 Mul x0 x0 Add pi -1 Mul pi Mul Pow sech tan Pow Mul x0 x0 Mul x0 x0 2 Mul Pow sec Pow Mul x0 x0 Mul x0 x0 2 Mul Pow Mul x0 x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Add x0 x0 