acoth Add x0 Add x0 Add Pow Pow x0 Add -1 acot Mul x7 acoth acoth x0 atanh x0 Pow x0 -3 
Mul Add 1 Add 1 Add Mul Pow Pow x0 Add -1 acot Mul x7 acoth acoth x0 Add atanh x0 -1 Add Mul atanh x0 Mul Pow x0 Add Add -1 acot Mul x7 acoth acoth x0 -1 Add Add -1 acot Mul x7 acoth acoth x0 Mul Mul x0 log x0 Mul -1 Mul Mul x7 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Pow Add 1 Mul Mul x7 acoth acoth x0 Mul x7 acoth acoth x0 -1 Mul Mul Pow x0 Add -1 acot Mul x7 acoth acoth x0 log Pow x0 Add -1 acot Mul x7 acoth acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x0 4 -3 Pow Add 1 Mul -1 Mul Add x0 Add x0 Add Pow Pow x0 Add -1 acot Mul x7 acoth acoth x0 atanh x0 Pow x0 -3 Add x0 Add x0 Add Pow Pow x0 Add -1 acot Mul x7 acoth acoth x0 atanh x0 Pow x0 -3 -1 