Pow atanh atanh Add Mul acos Add x6 -4 Add pi 2 x0 x0 
Mul Pow atanh atanh Add Mul acos Add x6 -4 Add pi 2 x0 Add x0 -1 Add Mul x0 Mul Pow Add 1 Mul -1 Mul Add Mul acos Add x6 -4 Add pi 2 x0 Add Mul acos Add x6 -4 Add pi 2 x0 -1 Pow Add 1 Mul -1 Mul atanh Add Mul acos Add x6 -4 Add pi 2 x0 atanh Add Mul acos Add x6 -4 Add pi 2 x0 -1 Mul atanh atanh Add Mul acos Add x6 -4 Add pi 2 x0 log atanh atanh Add Mul acos Add x6 -4 Add pi 2 x0 