acoth sin Pow cos acosh log x0 cosh x4 
Mul Mul cos Pow cos acosh log x0 cosh x4 Mul Pow cos acosh log x0 Add cosh x4 -1 Mul cosh x4 Mul Mul -1 sin acosh log x0 Mul Pow x0 -1 Pow Mul sqrt Add log x0 -1 sqrt Add 1 log x0 -1 Pow Add 1 Mul -1 Mul sin Pow cos acosh log x0 cosh x4 sin Pow cos acosh log x0 cosh x4 -1 