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