Add Add Mul Pow Pow Mul atanh x0 -5 acoth atanh pi x0 x0 asinh x6 5 
Add Mul x0 Mul Pow Pow Mul atanh x0 -5 acoth atanh pi Add x0 -1 Add Mul x0 Mul Pow Mul atanh x0 -5 Add acoth atanh pi -1 Mul acoth atanh pi Mul -5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul atanh x0 -5 acoth atanh pi log Pow Mul atanh x0 -5 acoth atanh pi Pow Pow Mul atanh x0 -5 acoth atanh pi x0 