acos Pow Add acosh x0 atan x7 Add Pow acos Mul x7 x6 acos Pow x0 x4 x0 
Mul -1 Mul Mul Pow Add acosh x0 atan x7 Add Add Pow acos Mul x7 x6 acos Pow x0 x4 x0 -1 Add Mul Add Pow acos Mul x7 x6 acos Pow x0 x4 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Add acosh x0 atan x7 log Add acosh x0 atan x7 Add Mul Pow acos Mul x7 x6 Add acos Pow x0 x4 -1 Mul Mul acos Mul x7 x6 log acos Mul x7 x6 Mul -1 Mul Mul Pow x0 Add x4 -1 x4 Pow sqrt Add 1 Mul -1 Mul Pow x0 x4 Pow x0 x4 -1 1 Pow sqrt Add 1 Mul -1 Mul Pow Add acosh x0 atan x7 Add Pow acos Mul x7 x6 acos Pow x0 x4 x0 Pow Add acosh x0 atan x7 Add Pow acos Mul x7 x6 acos Pow x0 x4 x0 -1 