Mul Pow Add 1 Add Pow x0 asinh x7 Add Add x0 x0 atan x0 4 acoth x0 
Add Mul acoth x0 Mul Pow Add 1 Add Pow x0 asinh x7 Add Add x0 x0 atan x0 3 Mul 4 Add Mul Pow x0 Add asinh x7 -1 asinh x7 Add 2 Pow Add 1 Mul x0 x0 -1 Mul Pow Add 1 Add Pow x0 asinh x7 Add Add x0 x0 atan x0 4 Pow Add 1 Mul -1 Mul x0 x0 -1 