Pow x0 Mul Mul 2 x0 Pow x0 asech Add x3 sech x4 
Mul Pow x0 Add Mul Mul 2 x0 Pow x0 asech Add x3 sech x4 -1 Add Mul Mul 2 x0 Pow x0 asech Add x3 sech x4 Mul Mul x0 log x0 Add Mul Pow x0 asech Add x3 sech x4 2 Mul Mul 2 x0 Mul Pow x0 Add asech Add x3 sech x4 -1 asech Add x3 sech x4 