cot Mul x0 csc acos Mul acosh Mul 5 log x0 -4 
Mul Mul -1 Pow csc Mul x0 csc acos Mul acosh Mul 5 log x0 -4 2 Add csc acos Mul acosh Mul 5 log x0 -4 Mul x0 Mul Mul Mul -1 cot acos Mul acosh Mul 5 log x0 -4 csc acos Mul acosh Mul 5 log x0 -4 Mul -1 Mul Mul -4 Mul Mul 5 Pow x0 -1 Pow Mul sqrt Add Mul 5 log x0 -1 sqrt Add 1 Mul 5 log x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul acosh Mul 5 log x0 -4 Mul acosh Mul 5 log x0 -4 -1 