Pow Pow acosh acos Mul x7 Mul x0 acosh x7 Add x0 2 Add Add Mul x3 -1 4 -2 
Mul Pow Pow acosh acos Mul x7 Mul x0 acosh x7 Add x0 2 Add Add Add Mul x3 -1 4 -2 -1 Mul Add Add Mul x3 -1 4 -2 Mul Pow acosh acos Mul x7 Mul x0 acosh x7 Add Add x0 2 -1 Add Mul Add x0 2 Mul Mul -1 Mul Mul x7 acosh x7 Pow sqrt Add 1 Mul -1 Mul Mul x7 Mul x0 acosh x7 Mul x7 Mul x0 acosh x7 -1 Pow Mul sqrt Add acos Mul x7 Mul x0 acosh x7 -1 sqrt Add 1 acos Mul x7 Mul x0 acosh x7 -1 Mul acosh acos Mul x7 Mul x0 acosh x7 log acosh acos Mul x7 Mul x0 acosh x7 