Add Pow Mul x3 Pow Mul x0 x0 -2 Add 4 acsch acoth x2 acoth x0 
Add Mul Pow Mul x3 Pow Mul x0 x0 -2 Add Add 4 acsch acoth x2 -1 Mul Add 4 acsch acoth x2 Mul x3 Mul Pow Mul x0 x0 3 Mul -2 Add x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 