Add Add x0 Add Mul Pow x5 x0 x0 1 Mul Pow Pow atanh x6 x0 asech x3 Pow Pow 3 Mul x0 x2 x4 
Add Add 1 Add Mul x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow x5 x0 Add Mul Pow Pow 3 Mul x0 x2 x4 Mul Pow Pow atanh x6 x0 Add asech x3 -1 Mul asech x3 Mul Pow atanh x6 Add x0 -1 Mul atanh x6 log atanh x6 Mul Pow Pow atanh x6 x0 asech x3 Mul Pow Pow 3 Mul x0 x2 Add x4 -1 Mul x4 Mul Pow 3 Add Mul x0 x2 -1 Mul 4.09861228866811 x2 