Mul x2 Pow x5 Add Add x0 log x0 Mul x0 Mul Add x6 Add Add acosh Mul x1 x0 acot x0 x4 -3 
Mul x2 Mul Pow x5 Add Add Add x0 log x0 Mul x0 Mul Add x6 Add Add acosh Mul x1 x0 acot x0 x4 -3 -1 Mul Mul x5 log x5 Add Add 1 Pow x0 -1 Add Mul Add x6 Add Add acosh Mul x1 x0 acot x0 x4 -3 Mul x0 Mul -3 Add Mul x1 Pow Mul sqrt Add Mul x1 x0 -1 sqrt Add 1 Mul x1 x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 