sqrt Add Pow Pow exp Add x6 x0 sec acsch E Add x0 Add x0 x0 x0 
Mul Pow Mul 2 sqrt Add Pow Pow exp Add x6 x0 sec acsch E Add x0 Add x0 x0 x0 -1 Add Mul Pow Pow exp Add x6 x0 sec acsch E Add Add x0 Add x0 x0 -1 Add Mul Add x0 Add x0 x0 Mul Pow exp Add x6 x0 Add sec acsch E -1 Mul sec acsch E exp Add x6 x0 Mul Mul Pow exp Add x6 x0 sec acsch E log Pow exp Add x6 x0 sec acsch E 3 1 