Add Add x0 Pow atanh Add -1 x0 Add Pow Add x0 cosh x0 acot x0 Pow Pow x0 atanh x0 -2 x0 
Add Add 1 Mul Pow atanh Add -1 x0 Add Add Pow Add x0 cosh x0 acot x0 Pow Pow x0 atanh x0 -2 -1 Add Mul Add Pow Add x0 cosh x0 acot x0 Pow Pow x0 atanh x0 -2 Pow Add 1 Mul -1 Mul Add -1 x0 Add -1 x0 -1 Mul Mul atanh Add -1 x0 log atanh Add -1 x0 Add Mul Pow Add x0 cosh x0 Add acot x0 -1 Add Mul acot x0 Add 1 sinh x0 Mul Mul Add x0 cosh x0 log Add x0 cosh x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow Pow x0 atanh x0 3 Mul -2 Mul Pow x0 Add atanh x0 -1 Add atanh x0 Mul Mul x0 log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 1 