Add 4 Mul Pow Mul acos acosh Pow x1 Add Mul x0 x0 x0 x0 x3 sinh E 
Mul sinh E Mul Pow Mul acos acosh Pow x1 Add Mul x0 x0 x0 x0 Add x3 -1 Mul x3 Add Mul x0 Mul -1 Mul Mul Mul Pow x1 Add Add Mul x0 x0 x0 -1 Mul Mul x1 log x1 Add Add x0 x0 1 Pow Mul sqrt Add Pow x1 Add Mul x0 x0 x0 -1 sqrt Add 1 Pow x1 Add Mul x0 x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acosh Pow x1 Add Mul x0 x0 x0 acosh Pow x1 Add Mul x0 x0 x0 -1 acos acosh Pow x1 Add Mul x0 x0 x0 