Pow Mul cosh x5 x0 Mul x0 Add Add E x2 Mul Add Pow x0 Mul -3 Mul x0 x0 Add 3 x0 pi 
Mul Pow Mul cosh x5 x0 Add Mul x0 Add Add E x2 Mul Add Pow x0 Mul -3 Mul x0 x0 Add 3 x0 pi -1 Add Mul Mul x0 Add Add E x2 Mul Add Pow x0 Mul -3 Mul x0 x0 Add 3 x0 pi cosh x5 Mul Mul Mul cosh x5 x0 log Mul cosh x5 x0 Add Add Add E x2 Mul Add Pow x0 Mul -3 Mul x0 x0 Add 3 x0 pi Mul x0 Mul pi Add Mul Pow x0 Add Mul -3 Mul x0 x0 -1 Add Mul -3 Mul x0 x0 Mul Mul x0 log x0 Mul -3 Add x0 x0 1 