asech Mul acos acoth asinh Add x7 x0 x5 
Mul Mul x5 Mul -1 Mul Mul Pow sqrt Add 1 Mul Add x7 x0 Add x7 x0 -1 Pow Add 1 Mul -1 Mul asinh Add x7 x0 asinh Add x7 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth asinh Add x7 x0 acoth asinh Add x7 x0 -1 Pow Mul Mul Mul acos acoth asinh Add x7 x0 x5 Mul acos acoth asinh Add x7 x0 x5 sqrt Add 1 Mul -1 Pow Mul Mul acos acoth asinh Add x7 x0 x5 Mul acos acoth asinh Add x7 x0 x5 -1 -1 