atanh atanh Pow Mul tan Add sech x1 Pow acos x2 Add sech acot Add E -2 x7 -1 x0 
Mul Mul Mul Pow Mul tan Add sech x1 Pow acos x2 Add sech acot Add E -2 x7 -1 Add x0 -1 Mul Mul tan Add sech x1 Pow acos x2 Add sech acot Add E -2 x7 -1 log Mul tan Add sech x1 Pow acos x2 Add sech acot Add E -2 x7 -1 Pow Add 1 Mul -1 Mul Pow Mul tan Add sech x1 Pow acos x2 Add sech acot Add E -2 x7 -1 x0 Pow Mul tan Add sech x1 Pow acos x2 Add sech acot Add E -2 x7 -1 x0 -1 Pow Add 1 Mul -1 Mul atanh Pow Mul tan Add sech x1 Pow acos x2 Add sech acot Add E -2 x7 -1 x0 atanh Pow Mul tan Add sech x1 Pow acos x2 Add sech acot Add E -2 x7 -1 x0 -1 