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