sinh acot Add E Mul Add atanh x2 asinh Pow Add x0 x0 x7 Mul x0 Add x0 x0 
Mul cosh acot Add E Mul Add atanh x2 asinh Pow Add x0 x0 x7 Mul x0 Add x0 x0 Mul -1 Mul Add Mul Mul x0 Add x0 x0 Mul Mul Pow Add x0 x0 Add x7 -1 Mul x7 2 Pow sqrt Add 1 Mul Pow Add x0 x0 x7 Pow Add x0 x0 x7 -1 Mul Add atanh x2 asinh Pow Add x0 x0 x7 Add Add x0 x0 Mul x0 2 Pow Add 1 Mul Add E Mul Add atanh x2 asinh Pow Add x0 x0 x7 Mul x0 Add x0 x0 Add E Mul Add atanh x2 asinh Pow Add x0 x0 x7 Mul x0 Add x0 x0 -1 