Pow Mul Mul 4 Add cosh x0 pi Pow Mul x0 x0 -2 x0 
Mul Pow Mul Mul 4 Add cosh x0 pi Pow Mul x0 x0 -2 Add x0 -1 Add Mul x0 Add Mul Pow Mul x0 x0 -2 Mul 4 sinh x0 Mul Mul 4 Add cosh x0 pi Mul Pow Mul x0 x0 3 Mul -2 Add x0 x0 Mul Mul Mul 4 Add cosh x0 pi Pow Mul x0 x0 -2 log Mul Mul 4 Add cosh x0 pi Pow Mul x0 x0 -2 