Pow atanh Pow E Pow Add pi 0.291935755509023 acos sec x1 x0 
Mul Pow atanh Pow E Pow Add pi 0.291935755509023 acos sec x1 Add x0 -1 Mul atanh Pow E Pow Add pi 0.291935755509023 acos sec x1 log atanh Pow E Pow Add pi 0.291935755509023 acos sec x1 