Add x4 Add cosh Pow acos Mul x0 log x0 Mul asin x7 x0 E 
Mul sinh Pow acos Mul x0 log x0 Mul asin x7 x0 Mul Pow acos Mul x0 log x0 Add Mul asin x7 x0 -1 Add Mul Mul asin x7 x0 Mul -1 Mul Add log x0 Mul x0 Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 log x0 Mul x0 log x0 -1 Mul Mul acos Mul x0 log x0 log acos Mul x0 log x0 asin x7 