Pow Mul -1 x0 Mul x0 Mul Pow x7 Pow Pow Add 2 Pow x0 x0 acosh x0 x0 acot Mul x0 x5 
Mul Pow Mul -1 x0 Add Mul x0 Mul Pow x7 Pow Pow Add 2 Pow x0 x0 acosh x0 x0 acot Mul x0 x5 -1 Add Mul Mul x0 Mul Pow x7 Pow Pow Add 2 Pow x0 x0 acosh x0 x0 acot Mul x0 x5 -1 Mul Mul Mul -1 x0 log Mul -1 x0 Add Mul Pow x7 Pow Pow Add 2 Pow x0 x0 acosh x0 x0 acot Mul x0 x5 Mul x0 Add Mul acot Mul x0 x5 Mul Pow x7 Add Pow Pow Add 2 Pow x0 x0 acosh x0 x0 -1 Mul Mul x7 log x7 Mul Pow Pow Add 2 Pow x0 x0 acosh x0 Add x0 -1 Add Mul x0 Mul Pow Add 2 Pow x0 x0 Add acosh x0 -1 Add Mul acosh x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Add 2 Pow x0 x0 log Add 2 Pow x0 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow Add 2 Pow x0 x0 acosh x0 log Pow Add 2 Pow x0 x0 acosh x0 Mul Pow x7 Pow Pow Add 2 Pow x0 x0 acosh x0 x0 Mul -1 Mul x5 Pow Add 1 Mul Mul x0 x5 Mul x0 x5 -1 