Pow acoth Mul Mul x0 2 Pow x0 x7 asinh x2 
Mul Pow acoth Mul Mul x0 2 Pow x0 x7 Add asinh x2 -1 Mul asinh x2 Mul Add Mul Pow x0 x7 2 Mul Mul x0 2 Mul Pow x0 Add x7 -1 x7 Pow Add 1 Mul -1 Mul Mul Mul x0 2 Pow x0 x7 Mul Mul x0 2 Pow x0 x7 -1 