Mul Mul x0 log Add Add Pow Mul x0 0.609592206798948 3 atanh x7 x0 pi 
Mul pi Add log Add Add Pow Mul x0 0.609592206798948 3 atanh x7 x0 Mul x0 Mul Add Mul Pow Mul x0 0.609592206798948 2 3.60959220679895 1 Pow Add Add Pow Mul x0 0.609592206798948 3 atanh x7 x0 -1 