Pow x0 Pow Add 5 tan Mul E x0 acosh x5 
Mul Pow x0 Add Pow Add 5 tan Mul E x0 acosh x5 -1 Add Pow Add 5 tan Mul E x0 acosh x5 Mul Mul x0 log x0 Mul Pow Add 5 tan Mul E x0 Add acosh x5 -1 Mul acosh x5 Mul Pow sec Mul E x0 2 E 