Add Add Mul x0 x0 asech Pow Add 5 x4 x6 Pow x0 Mul Pow x0 atanh E Mul x3 x0 
Add Add x0 x0 Mul Pow x0 Add Mul Pow x0 atanh E Mul x3 x0 -1 Add Mul Pow x0 atanh E Mul x3 x0 Mul Mul x0 log x0 Add Mul Mul x3 x0 Mul Pow x0 Add atanh E -1 atanh E Mul Pow x0 atanh E x3 