Pow x0 Add x0 Pow Mul x6 x7 Mul x0 acos sech x3 
Mul Pow x0 Add Add x0 Pow Mul x6 x7 Mul x0 acos sech x3 -1 Add Add x0 Pow Mul x6 x7 Mul x0 acos sech x3 Mul Mul x0 log x0 Add 1 Mul Pow Mul x6 x7 Add Mul x0 acos sech x3 -1 Mul Mul Mul x6 x7 log Mul x6 x7 acos sech x3 