atanh atan Pow x0 Add Mul pi x6 x4 
Mul Mul Mul Pow x0 Add Add Mul pi x6 x4 -1 Add Mul pi x6 x4 Pow Add 1 Mul Pow x0 Add Mul pi x6 x4 Pow x0 Add Mul pi x6 x4 -1 Pow Add 1 Mul -1 Mul atan Pow x0 Add Mul pi x6 x4 atan Pow x0 Add Mul pi x6 x4 -1 