Mul -2 Pow Pow acot Add Mul Add x0 x0 Add exp cosh Add x6 sech asinh x0 x0 x0 x5 x0 
Mul -2 Mul Pow Pow acot Add Mul Add x0 x0 Add exp cosh Add x6 sech asinh x0 x0 x0 x5 Add x0 -1 Add Mul x0 Mul Pow acot Add Mul Add x0 x0 Add exp cosh Add x6 sech asinh x0 x0 x0 Add x5 -1 Mul x5 Mul -1 Mul Add Add Mul Add exp cosh Add x6 sech asinh x0 x0 2 Mul Add x0 x0 Add Mul exp cosh Add x6 sech asinh x0 Mul sinh Add x6 sech asinh x0 Mul Mul tanh asinh x0 Mul -1 sech asinh x0 Pow sqrt Add 1 Mul x0 x0 -1 1 1 Pow Add 1 Mul Add Mul Add x0 x0 Add exp cosh Add x6 sech asinh x0 x0 x0 Add Mul Add x0 x0 Add exp cosh Add x6 sech asinh x0 x0 x0 -1 Mul Pow acot Add Mul Add x0 x0 Add exp cosh Add x6 sech asinh x0 x0 x0 x5 log Pow acot Add Mul Add x0 x0 Add exp cosh Add x6 sech asinh x0 x0 x0 x5 