Pow Mul atan acosh x4 Mul exp x0 Mul asin x4 x0 Add x0 x0 
Mul Pow Mul atan acosh x4 Mul exp x0 Mul asin x4 x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul atan acosh x4 Add Mul Mul asin x4 x0 exp x0 Mul exp x0 asin x4 Mul Mul Mul atan acosh x4 Mul exp x0 Mul asin x4 x0 log Mul atan acosh x4 Mul exp x0 Mul asin x4 x0 2 