asinh acoth Mul asinh Add Pow Add x7 -1 Mul x0 x3 x0 x7 
Mul Mul Mul x7 Mul Add Mul Pow Add x7 -1 Add Mul x0 x3 -1 Mul Mul Add x7 -1 log Add x7 -1 x3 1 Pow sqrt Add 1 Mul Add Pow Add x7 -1 Mul x0 x3 x0 Add Pow Add x7 -1 Mul x0 x3 x0 -1 Pow Add 1 Mul -1 Mul Mul asinh Add Pow Add x7 -1 Mul x0 x3 x0 x7 Mul asinh Add Pow Add x7 -1 Mul x0 x3 x0 x7 -1 Pow sqrt Add 1 Mul acoth Mul asinh Add Pow Add x7 -1 Mul x0 x3 x0 x7 acoth Mul asinh Add Pow Add x7 -1 Mul x0 x3 x0 x7 -1 