acot acosh tan Add x0 asech x2 
Mul -1 Mul Mul Pow sec Add x0 asech x2 2 Pow Mul sqrt Add tan Add x0 asech x2 -1 sqrt Add 1 tan Add x0 asech x2 -1 Pow Add 1 Mul acosh tan Add x0 asech x2 acosh tan Add x0 asech x2 -1 