atanh exp Mul Add Pow Add x0 atanh x0 atanh x0 x2 Add Add x6 Add Add x0 -3 x5 Add pi -3 
Mul Mul exp Mul Add Pow Add x0 atanh x0 atanh x0 x2 Add Add x6 Add Add x0 -3 x5 Add pi -3 Add Mul Add Add x6 Add Add x0 -3 x5 Add pi -3 Mul Pow Add x0 atanh x0 Add atanh x0 -1 Add Mul atanh x0 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add x0 atanh x0 log Add x0 atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Add Pow Add x0 atanh x0 atanh x0 x2 Pow Add 1 Mul -1 Mul exp Mul Add Pow Add x0 atanh x0 atanh x0 x2 Add Add x6 Add Add x0 -3 x5 Add pi -3 exp Mul Add Pow Add x0 atanh x0 atanh x0 x2 Add Add x6 Add Add x0 -3 x5 Add pi -3 -1 