acoth Mul Pow Pow Mul x7 x0 Mul x7 Mul -1 x0 x7 sech acoth x2 
Mul Mul sech acoth x2 Mul Pow Pow Mul x7 x0 Mul x7 Mul -1 x0 Add x7 -1 Mul x7 Mul Pow Mul x7 x0 Add Mul x7 Mul -1 x0 -1 Add Mul Mul x7 Mul -1 x0 x7 Mul Mul Mul x7 x0 log Mul x7 x0 Mul x7 -1 Pow Add 1 Mul -1 Mul Mul Pow Pow Mul x7 x0 Mul x7 Mul -1 x0 x7 sech acoth x2 Mul Pow Pow Mul x7 x0 Mul x7 Mul -1 x0 x7 sech acoth x2 -1 