tanh Mul Mul Pow x0 pi sqrt x0 Add x2 Mul x0 x3 
Mul Pow sech Mul Mul Pow x0 pi sqrt x0 Add x2 Mul x0 x3 2 Add Mul Add x2 Mul x0 x3 Add Mul sqrt x0 Mul Pow x0 Add pi -1 pi Mul Pow x0 pi Pow Mul 2 sqrt x0 -1 Mul Mul Pow x0 pi sqrt x0 x3 