Mul Mul Add x0 x0 Mul Mul x0 sech Add x0 1 -4 acoth Add acot asinh x0 4 
Add Mul acoth Add acot asinh x0 4 Add Mul Mul Mul x0 sech Add x0 1 -4 2 Mul Add x0 x0 Mul -4 Add sech Add x0 1 Mul x0 Mul tanh Add x0 1 Mul -1 sech Add x0 1 Mul Mul Add x0 x0 Mul Mul x0 sech Add x0 1 -4 Mul Mul -1 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul asinh x0 asinh x0 -1 Pow Add 1 Mul -1 Mul Add acot asinh x0 4 Add acot asinh x0 4 -1 