Mul Add Mul Mul 4 acot x0 Mul sech x0 acos x0 Mul x3 x0 -1 
Mul -1 Add Add Mul Mul sech x0 acos x0 Mul 4 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul 4 acot x0 Add Mul acos x0 Mul tanh x0 Mul -1 sech x0 Mul sech x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 x3 