Mul Pow Mul x0 x0 cot exp log E csc Pow Mul 4 Mul Add cosh x7 pi x0 x4 
Add Mul csc Pow Mul 4 Mul Add cosh x7 pi x0 x4 Mul Pow Mul x0 x0 Add cot exp log E -1 Mul cot exp log E Add x0 x0 Mul Pow Mul x0 x0 cot exp log E Mul Mul Mul -1 cot Pow Mul 4 Mul Add cosh x7 pi x0 x4 csc Pow Mul 4 Mul Add cosh x7 pi x0 x4 Mul Pow Mul 4 Mul Add cosh x7 pi x0 Add x4 -1 Mul x4 Mul 4 Add cosh x7 pi 