Pow E Mul Add asinh x7 Add Pow x6 -3 tan acot Add Add Add x0 x0 x0 x0 acoth x6 
Mul Pow E Add Mul Add asinh x7 Add Pow x6 -3 tan acot Add Add Add x0 x0 x0 x0 acoth x6 -1 Mul Mul E log E Mul acoth x6 Mul Pow sec acot Add Add Add x0 x0 x0 x0 2 Mul -1 Mul 4 Pow Add 1 Mul Add Add Add x0 x0 x0 x0 Add Add Add x0 x0 x0 x0 -1 