atanh atanh atan Mul x0 Add Pow pi x0 1 
Mul Mul Mul Add Add Pow pi x0 1 Mul x0 Mul Pow pi Add x0 -1 Mul pi log pi Pow Add 1 Mul Mul x0 Add Pow pi x0 1 Mul x0 Add Pow pi x0 1 -1 Pow Add 1 Mul -1 Mul atan Mul x0 Add Pow pi x0 1 atan Mul x0 Add Pow pi x0 1 -1 Pow Add 1 Mul -1 Mul atanh atan Mul x0 Add Pow pi x0 1 atanh atan Mul x0 Add Pow pi x0 1 -1 