Mul Add Mul Pow x1 Add Add x1 x0 x0 x0 pi cosh cosh x0 
Add Mul cosh cosh x0 Add Mul x0 Mul Pow x1 Add Add Add x1 x0 x0 -1 Mul Mul x1 log x1 2 Pow x1 Add Add x1 x0 x0 Mul Add Mul Pow x1 Add Add x1 x0 x0 x0 pi Mul sinh cosh x0 sinh x0 