Mul x7 sqrt Add x0 Mul atanh sech sinh acot x0 x1 
Mul x7 Mul Pow Mul 2 sqrt Add x0 Mul atanh sech sinh acot x0 x1 -1 Add 1 Mul x1 Mul Mul Mul tanh sinh acot x0 Mul -1 sech sinh acot x0 Mul cosh acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul sech sinh acot x0 sech sinh acot x0 -1 