Add x3 tanh Mul x0 Add Mul cosh Pow x1 4 Pow Pow Mul Add x0 x1 x0 -2 Add x0 pi x0 
Mul Pow sech Mul x0 Add Mul cosh Pow x1 4 Pow Pow Mul Add x0 x1 x0 -2 Add x0 pi x0 2 Add Add Mul cosh Pow x1 4 Pow Pow Mul Add x0 x1 x0 -2 Add x0 pi x0 Mul x0 Add Mul cosh Pow x1 4 Mul Pow Pow Mul Add x0 x1 x0 -2 Add Add x0 pi -1 Add Mul Add x0 pi Mul Pow Mul Add x0 x1 x0 3 Mul -2 Add x0 Add x0 x1 Mul Pow Mul Add x0 x1 x0 -2 log Pow Mul Add x0 x1 x0 -2 1 