log acos acosh Mul x5 Pow Mul Add acosh x0 x0 x5 4 
Mul Mul -1 Mul Mul Mul x5 Mul Pow Mul Add acosh x0 x0 x5 3 Mul 4 Mul x5 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Pow Mul sqrt Add Mul x5 Pow Mul Add acosh x0 x0 x5 4 -1 sqrt Add 1 Mul x5 Pow Mul Add acosh x0 x0 x5 4 -1 Pow sqrt Add 1 Mul -1 Mul acosh Mul x5 Pow Mul Add acosh x0 x0 x5 4 acosh Mul x5 Pow Mul Add acosh x0 x0 x5 4 -1 Pow acos acosh Mul x5 Pow Mul Add acosh x0 x0 x5 4 -1 