Add Pow Pow x7 exp Add Mul x4 Pow Add Mul acosh x0 x0 x0 x6 Add x0 acot x3 -2 -4 
Mul Pow Pow x7 exp Add Mul x4 Pow Add Mul acosh x0 x0 x0 x6 Add x0 acot x3 3 Mul -2 Mul Pow x7 Add exp Add Mul x4 Pow Add Mul acosh x0 x0 x0 x6 Add x0 acot x3 -1 Mul Mul x7 log x7 Mul exp Add Mul x4 Pow Add Mul acosh x0 x0 x0 x6 Add x0 acot x3 Add Mul x4 Mul Pow Add Mul acosh x0 x0 x0 Add x6 -1 Mul x6 Add Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 acosh x0 1 1 