atanh Pow Pow Add Add x0 x0 x0 pi 3 
Mul Mul Pow Pow Add Add x0 x0 x0 pi 2 Mul 3 Mul Pow Add Add x0 x0 x0 Add pi -1 Mul pi 3 Pow Add 1 Mul -1 Mul Pow Pow Add Add x0 x0 x0 pi 3 Pow Pow Add Add x0 x0 x0 pi 3 -1 