cosh sqrt cos Add x0 Pow x0 acot x1 
Mul sinh sqrt cos Add x0 Pow x0 acot x1 Mul Pow Mul 2 sqrt cos Add x0 Pow x0 acot x1 -1 Mul Mul -1 sin Add x0 Pow x0 acot x1 Add 1 Mul Pow x0 Add acot x1 -1 acot x1 