Mul asinh Add Mul asec Mul Mul x0 x1 x0 acoth x0 Mul Mul x6 x0 x0 x0 
Add Mul x0 Mul Add Add Mul acoth x0 Mul Add Mul x0 x1 Mul x0 x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 x1 x0 Mul Mul x0 x1 x0 -1 Mul Mul x0 x1 x0 Mul Mul x0 x1 x0 -1 Mul asec Mul Mul x0 x1 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Add Mul x0 x6 Mul x6 x0 Pow sqrt Add 1 Mul Add Mul asec Mul Mul x0 x1 x0 acoth x0 Mul Mul x6 x0 x0 Add Mul asec Mul Mul x0 x1 x0 acoth x0 Mul Mul x6 x0 x0 -1 asinh Add Mul asec Mul Mul x0 x1 x0 acoth x0 Mul Mul x6 x0 x0 