Add Mul x0 pi Pow Mul Add E x0 cosh x0 Mul x0 x0 
Add pi Mul Pow Mul Add E x0 cosh x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Add cosh x0 Mul Add E x0 sinh x0 Mul Mul Mul Add E x0 cosh x0 log Mul Add E x0 cosh x0 Add x0 x0 