Add Add sech acos x7 Mul atan Pow -4 E asinh Mul x0 Mul x0 Add Add Add asinh x0 x0 asinh x0 x1 x6 
Mul atan Pow -4 E Mul Add Mul x0 Add Add Add asinh x0 x0 asinh x0 x1 Mul x0 Add Add Add Add asinh x0 x0 asinh x0 x1 Mul x0 Add Add Pow sqrt Add 1 Mul x0 x0 -1 1 Pow sqrt Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul Mul x0 Mul x0 Add Add Add asinh x0 x0 asinh x0 x1 Mul x0 Mul x0 Add Add Add asinh x0 x0 asinh x0 x1 -1 