Pow asech Add -2 asin Pow asec Add acsch x1 x1 -4 x0 
Mul Pow asech Add -2 asin Pow asec Add acsch x1 x1 -4 Add x0 -1 Mul asech Add -2 asin Pow asec Add acsch x1 x1 -4 log asech Add -2 asin Pow asec Add acsch x1 x1 -4 