Mul Mul acot asinh x0 Mul x0 x7 Add Add x1 x4 Add asin x0 pi 
Add Mul Add Add x1 x4 Add asin x0 pi Add Mul Mul x0 x7 Mul -1 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul asinh x0 asinh x0 -1 Mul acot asinh x0 x7 Mul Mul acot asinh x0 Mul x0 x7 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 