Mul tanh Mul x0 Mul Add x0 x0 5 acot exp acos Mul atanh x1 x0 
Add Mul acot exp acos Mul atanh x1 x0 Mul Pow sech Mul x0 Mul Add x0 x0 5 2 Add Mul Add x0 x0 5 Mul x0 7 Mul tanh Mul x0 Mul Add x0 x0 5 Mul -1 Mul Mul exp acos Mul atanh x1 x0 Mul -1 Mul atanh x1 Pow sqrt Add 1 Mul -1 Mul Mul atanh x1 x0 Mul atanh x1 x0 -1 Pow Add 1 Mul exp acos Mul atanh x1 x0 exp acos Mul atanh x1 x0 -1 