Mul Pow x0 Pow Pow acosh pi Mul cot x0 exp x1 x3 x0 
Add Mul x0 Mul Pow x0 Add Pow Pow acosh pi Mul cot x0 exp x1 x3 -1 Add Pow Pow acosh pi Mul cot x0 exp x1 x3 Mul Mul x0 log x0 Mul Pow Pow acosh pi Mul cot x0 exp x1 Add x3 -1 Mul x3 Mul Pow acosh pi Add Mul cot x0 exp x1 -1 Mul Mul acosh pi log acosh pi Mul exp x1 Mul -1 Pow csc x0 2 Pow x0 Pow Pow acosh pi Mul cot x0 exp x1 x3 