asinh sqrt Mul Mul x0 Mul x5 Mul -5 x0 acot asinh x3 
Mul Mul Pow Mul 2 sqrt Mul Mul x0 Mul x5 Mul -5 x0 acot asinh x3 -1 Mul acot asinh x3 Add Mul x5 Mul -5 x0 Mul x0 Mul x5 -5 Pow sqrt Add 1 Mul sqrt Mul Mul x0 Mul x5 Mul -5 x0 acot asinh x3 sqrt Mul Mul x0 Mul x5 Mul -5 x0 acot asinh x3 -1 