atanh asinh Add exp acot Mul -2 x1 Pow x0 x7 
Mul Mul Mul Pow x0 Add x7 -1 x7 Pow sqrt Add 1 Mul Add exp acot Mul -2 x1 Pow x0 x7 Add exp acot Mul -2 x1 Pow x0 x7 -1 Pow Add 1 Mul -1 Mul asinh Add exp acot Mul -2 x1 Pow x0 x7 asinh Add exp acot Mul -2 x1 Pow x0 x7 -1 