Pow Mul Mul atanh x5 x0 -3 Add x0 Mul acosh x5 acoth x0 
Mul Pow Mul Mul atanh x5 x0 -3 Add Add x0 Mul acosh x5 acoth x0 -1 Add Mul Add x0 Mul acosh x5 acoth x0 Mul -3 atanh x5 Mul Mul Mul Mul atanh x5 x0 -3 log Mul Mul atanh x5 x0 -3 Add 1 Mul acosh x5 Pow Add 1 Mul -1 Mul x0 x0 -1 