Pow Mul -5 Pow x4 Add Pow x3 Mul x0 x1 acosh x5 acot x0 
Mul Pow Mul -5 Pow x4 Add Pow x3 Mul x0 x1 acosh x5 Add acot x0 -1 Add Mul acot x0 Mul -5 Mul Pow x4 Add Add Pow x3 Mul x0 x1 acosh x5 -1 Mul Mul x4 log x4 Mul Pow x3 Add Mul x0 x1 -1 Mul Mul x3 log x3 x1 Mul Mul Mul -5 Pow x4 Add Pow x3 Mul x0 x1 acosh x5 log Mul -5 Pow x4 Add Pow x3 Mul x0 x1 acosh x5 Mul -1 Pow Add 1 Mul x0 x0 -1 