exp Mul x0 Add Mul Add x0 Mul tanh x0 Add acot x0 x0 asinh x2 -1 
Mul exp Mul x0 Add Mul Add x0 Mul tanh x0 Add acot x0 x0 asinh x2 -1 Add Add Mul Add x0 Mul tanh x0 Add acot x0 x0 asinh x2 -1 Mul x0 Mul asinh x2 Add 1 Add Mul Add acot x0 x0 Pow sech x0 2 Mul tanh x0 Add Mul -1 Pow Add 1 Mul x0 x0 -1 1 