Mul Pow x0 cos acot x0 Add Pow Pow acosh Mul 5 Mul x4 -1 x0 E 2 
Add Mul Add Pow Pow acosh Mul 5 Mul x4 -1 x0 E 2 Mul Pow x0 Add cos acot x0 -1 Add cos acot x0 Mul Mul x0 log x0 Mul Mul -1 sin acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow x0 cos acot x0 Mul Pow Pow acosh Mul 5 Mul x4 -1 x0 Add E -1 Mul E Mul Pow acosh Mul 5 Mul x4 -1 Add x0 -1 Mul acosh Mul 5 Mul x4 -1 log acosh Mul 5 Mul x4 -1 