Add Mul x0 Mul Add -2 Pow Add Mul x1 x5 acsch Add 2 acoth x0 Mul Add sech acoth x1 x7 Add 4 x0 x1 x0 
Add Add Mul Add -2 Pow Add Mul x1 x5 acsch Add 2 acoth x0 Mul Add sech acoth x1 x7 Add 4 x0 x1 Mul x0 Mul x1 Mul Pow Add Mul x1 x5 acsch Add 2 acoth x0 Add Mul Add sech acoth x1 x7 Add 4 x0 -1 Add Mul Mul Add sech acoth x1 x7 Add 4 x0 Mul Mul -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Add 2 acoth x0 Add 2 acoth x0 sqrt Add 1 Mul -1 Pow Mul Add 2 acoth x0 Add 2 acoth x0 -1 -1 Mul Mul Add Mul x1 x5 acsch Add 2 acoth x0 log Add Mul x1 x5 acsch Add 2 acoth x0 Add sech acoth x1 x7 1 