Pow Add x0 Mul acosh x0 Add Pow Add x7 tan Pow x0 x7 x1 x3 acsch acos x3 
Mul Pow Add x0 Mul acosh x0 Add Pow Add x7 tan Pow x0 x7 x1 x3 Add acsch acos x3 -1 Mul acsch acos x3 Add 1 Add Mul Add Pow Add x7 tan Pow x0 x7 x1 x3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Pow Add x7 tan Pow x0 x7 Add x1 -1 Mul x1 Mul Pow sec Pow x0 x7 2 Mul Pow x0 Add x7 -1 x7 