Pow Pow acosh pi Add Mul x0 -4 Mul pi x0 Mul csc Mul -4 x0 x2 
Mul Pow Pow acosh pi Add Mul x0 -4 Mul pi x0 Add Mul csc Mul -4 x0 x2 -1 Add Mul Mul csc Mul -4 x0 x2 Mul Pow acosh pi Add Add Mul x0 -4 Mul pi x0 -1 Mul Mul acosh pi log acosh pi Add -4 pi Mul Mul Pow acosh pi Add Mul x0 -4 Mul pi x0 log Pow acosh pi Add Mul x0 -4 Mul pi x0 Mul x2 Mul Mul Mul -1 cot Mul -4 x0 csc Mul -4 x0 -4 