exp Mul Pow atan Mul atanh pi tan acosh x2 x0 4 
Mul exp Mul Pow atan Mul atanh pi tan acosh x2 x0 4 Mul 4 Mul Pow atan Mul atanh pi tan acosh x2 Add x0 -1 Mul atan Mul atanh pi tan acosh x2 log atan Mul atanh pi tan acosh x2 