Add x0 sinh Mul Pow acosh tan Pow x0 acot x1 -2 tanh x0 
Add 1 Mul cosh Mul Pow acosh tan Pow x0 acot x1 -2 tanh x0 Add Mul tanh x0 Mul Pow acosh tan Pow x0 acot x1 3 Mul -2 Mul Mul Pow sec Pow x0 acot x1 2 Mul Pow x0 Add acot x1 -1 acot x1 Pow Mul sqrt Add tan Pow x0 acot x1 -1 sqrt Add 1 tan Pow x0 acot x1 -1 Mul Pow acosh tan Pow x0 acot x1 -2 Pow sech x0 2 