Mul pi Mul Pow Mul Mul atanh Add x0 x0 x4 x0 x0 Mul x2 acosh x0 
Mul pi Add Mul Mul x2 acosh x0 Mul Pow Mul Mul atanh Add x0 x0 x4 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul x4 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Mul atanh Add x0 x0 x4 Mul Mul Mul atanh Add x0 x0 x4 x0 log Mul Mul atanh Add x0 x0 x4 x0 Mul Pow Mul Mul atanh Add x0 x0 x4 x0 x0 Mul x2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 