Pow atan acosh x3 Pow Add Mul x0 asin Mul sinh x2 -4 -2 x0 
Mul Pow atan acosh x3 Add Pow Add Mul x0 asin Mul sinh x2 -4 -2 x0 -1 Mul Mul atan acosh x3 log atan acosh x3 Mul Pow Add Mul x0 asin Mul sinh x2 -4 -2 Add x0 -1 Add Mul x0 asin Mul sinh x2 -4 Mul Add Mul x0 asin Mul sinh x2 -4 -2 log Add Mul x0 asin Mul sinh x2 -4 -2 