Pow Pow Mul x0 x0 cosh pi Add x2 x0 
Mul Pow Pow Mul x0 x0 cosh pi Add Add x2 x0 -1 Add Mul Add x2 x0 Mul Pow Mul x0 x0 Add cosh pi -1 Mul cosh pi Add x0 x0 Mul Pow Mul x0 x0 cosh pi log Pow Mul x0 x0 cosh pi 