Mul x0 acot Mul x0 Mul Mul -4 Mul tanh cosh Add x0 1 asinh x4 -1 
Add acot Mul x0 Mul Mul -4 Mul tanh cosh Add x0 1 asinh x4 -1 Mul x0 Mul -1 Mul Add Mul Mul -4 Mul tanh cosh Add x0 1 asinh x4 -1 Mul x0 Mul -1 Mul -4 Mul asinh x4 Mul Pow sech cosh Add x0 1 2 sinh Add x0 1 Pow Add 1 Mul Mul x0 Mul Mul -4 Mul tanh cosh Add x0 1 asinh x4 -1 Mul x0 Mul Mul -4 Mul tanh cosh Add x0 1 asinh x4 -1 -1 