Mul Mul Pow asinh Mul -3 x0 asech Pow x0 x0 4 Mul Add x0 atan Pow x0 x5 x5 
Add Mul Mul Add x0 atan Pow x0 x5 x5 Mul 4 Mul Pow asinh Mul -3 x0 Add asech Pow x0 x0 -1 Add Mul asech Pow x0 x0 Mul -3 Pow sqrt Add 1 Mul Mul -3 x0 Mul -3 x0 -1 Mul Mul asinh Mul -3 x0 log asinh Mul -3 x0 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul Mul Pow x0 x0 Pow x0 x0 sqrt Add 1 Mul -1 Pow Mul Pow x0 x0 Pow x0 x0 -1 -1 Mul Mul Pow asinh Mul -3 x0 asech Pow x0 x0 4 Mul x5 Add 1 Mul Mul Pow x0 Add x5 -1 x5 Pow Add 1 Mul Pow x0 x5 Pow x0 x5 -1 