Mul Mul x0 Pow asinh x0 acot Pow x5 Mul x0 x3 x0 
Add Mul x0 Add Pow asinh x0 acot Pow x5 Mul x0 x3 Mul x0 Mul Pow asinh x0 Add acot Pow x5 Mul x0 x3 -1 Add Mul acot Pow x5 Mul x0 x3 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul asinh x0 log asinh x0 Mul -1 Mul Mul Pow x5 Add Mul x0 x3 -1 Mul Mul x5 log x5 x3 Pow Add 1 Mul Pow x5 Mul x0 x3 Pow x5 Mul x0 x3 -1 Mul x0 Pow asinh x0 acot Pow x5 Mul x0 x3 