Pow Add x0 sinh Mul atan x3 pi Mul E Add exp x0 x1 
Mul Pow Add x0 sinh Mul atan x3 pi Add Mul E Add exp x0 x1 -1 Add Mul E Add exp x0 x1 Mul Mul Add x0 sinh Mul atan x3 pi log Add x0 sinh Mul atan x3 pi Mul E exp x0 