Add Add x0 x0 Mul Pow Mul asinh x2 Pow acoth Add Add x0 x0 -2 5 Add x0 -1 x6 
Add 2 Mul x6 Mul Pow Mul asinh x2 Pow acoth Add Add x0 x0 -2 5 Add Add x0 -1 -1 Add Mul Add x0 -1 Mul asinh x2 Mul Pow acoth Add Add x0 x0 -2 4 Mul 5 Mul 2 Pow Add 1 Mul -1 Mul Add Add x0 x0 -2 Add Add x0 x0 -2 -1 Mul Mul asinh x2 Pow acoth Add Add x0 x0 -2 5 log Mul asinh x2 Pow acoth Add Add x0 x0 -2 5 