Mul -4 sqrt Mul x0 Pow atanh log x6 asec Add Add Add Pow x0 x0 x0 x7 Mul x0 x0 
Mul -4 Mul Pow Mul 2 sqrt Mul x0 Pow atanh log x6 asec Add Add Add Pow x0 x0 x0 x7 Mul x0 x0 -1 Add Pow atanh log x6 asec Add Add Add Pow x0 x0 x0 x7 Mul x0 x0 Mul x0 Mul Pow atanh log x6 Add asec Add Add Add Pow x0 x0 x0 x7 Mul x0 x0 -1 Mul Mul atanh log x6 log atanh log x6 Mul Add Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 Add x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Add Add Pow x0 x0 x0 x7 Mul x0 x0 Add Add Add Pow x0 x0 x0 x7 Mul x0 x0 -1 Add Add Add Pow x0 x0 x0 x7 Mul x0 x0 Add Add Add Pow x0 x0 x0 x7 Mul x0 x0 -1 