Mul acsc Mul Pow x0 Pow acosh x4 5 pi Mul x1 5 
Mul Mul x1 5 Mul -1 Mul Mul pi Mul Pow x0 Add Pow acosh x4 5 -1 Pow acosh x4 5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow x0 Pow acosh x4 5 pi Mul Pow x0 Pow acosh x4 5 pi -1 Mul Pow x0 Pow acosh x4 5 pi Mul Pow x0 Pow acosh x4 5 pi -1 