acot Mul x7 Pow Mul Mul Mul atanh x0 x0 x0 cosh x6 Mul x0 Add -4 x5 
Mul -1 Mul Mul x7 Mul Pow Mul Mul Mul atanh x0 x0 x0 cosh x6 Add Mul x0 Add -4 x5 -1 Add Mul Mul x0 Add -4 x5 Mul cosh x6 Add Mul x0 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 atanh x0 Mul atanh x0 x0 Mul Mul Mul Mul Mul atanh x0 x0 x0 cosh x6 log Mul Mul Mul atanh x0 x0 x0 cosh x6 Add -4 x5 Pow Add 1 Mul Mul x7 Pow Mul Mul Mul atanh x0 x0 x0 cosh x6 Mul x0 Add -4 x5 Mul x7 Pow Mul Mul Mul atanh x0 x0 x0 cosh x6 Mul x0 Add -4 x5 -1 