asinh acoth Add -4 Pow x4 Mul acos Mul Add x0 x1 E x0 
Mul Mul Mul Pow x4 Add Mul acos Mul Add x0 x1 E x0 -1 Mul Mul x4 log x4 Add Mul x0 Mul -1 Mul E Pow sqrt Add 1 Mul -1 Mul Mul Add x0 x1 E Mul Add x0 x1 E -1 acos Mul Add x0 x1 E Pow Add 1 Mul -1 Mul Add -4 Pow x4 Mul acos Mul Add x0 x1 E x0 Add -4 Pow x4 Mul acos Mul Add x0 x1 E x0 -1 Pow sqrt Add 1 Mul acoth Add -4 Pow x4 Mul acos Mul Add x0 x1 E x0 acoth Add -4 Pow x4 Mul acos Mul Add x0 x1 E x0 -1 