exp acoth Pow Add Mul x0 x0 Add Mul Pow pi atanh x5 -4 5 5 
Mul exp acoth Pow Add Mul x0 x0 Add Mul Pow pi atanh x5 -4 5 5 Mul Mul Pow Add Mul x0 x0 Add Mul Pow pi atanh x5 -4 5 4 Mul 5 Add x0 x0 Pow Add 1 Mul -1 Mul Pow Add Mul x0 x0 Add Mul Pow pi atanh x5 -4 5 5 Pow Add Mul x0 x0 Add Mul Pow pi atanh x5 -4 5 5 -1 