acosh Mul x0 Add Pow x0 atanh x7 Mul asin x4 x7 
Mul Add Add Pow x0 atanh x7 Mul asin x4 x7 Mul x0 Mul Pow x0 Add atanh x7 -1 atanh x7 Pow Mul sqrt Add Mul x0 Add Pow x0 atanh x7 Mul asin x4 x7 -1 sqrt Add 1 Mul x0 Add Pow x0 atanh x7 Mul asin x4 x7 -1 