Mul Add -2 x7 Mul sech Mul Pow Mul acot Add x0 x0 Mul Mul asinh x0 -2 asin x5 x0 3 Pow x7 0.863691154450617 
Mul Add -2 x7 Mul Pow x7 0.863691154450617 Mul Mul tanh Mul Pow Mul acot Add x0 x0 Mul Mul asinh x0 -2 asin x5 x0 3 Mul -1 sech Mul Pow Mul acot Add x0 x0 Mul Mul asinh x0 -2 asin x5 x0 3 Mul 3 Mul Pow Mul acot Add x0 x0 Mul Mul asinh x0 -2 asin x5 Add x0 -1 Add Mul x0 Add Mul Mul Mul asinh x0 -2 asin x5 Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 Mul acot Add x0 x0 Mul asin x5 Mul -2 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul acot Add x0 x0 Mul Mul asinh x0 -2 asin x5 log Mul acot Add x0 x0 Mul Mul asinh x0 -2 asin x5 