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