Add sin Pow tan Pow x0 acosh log x7 acot tanh x0 x0 
Add Mul cos Pow tan Pow x0 acosh log x7 acot tanh x0 Mul Pow tan Pow x0 acosh log x7 Add acot tanh x0 -1 Add Mul acot tanh x0 Mul Pow sec Pow x0 acosh log x7 2 Mul Pow x0 Add acosh log x7 -1 acosh log x7 Mul Mul tan Pow x0 acosh log x7 log tan Pow x0 acosh log x7 Mul -1 Mul Pow sech x0 2 Pow Add 1 Mul tanh x0 tanh x0 -1 1 