Pow acot Mul x1 x6 Add 3 Add Add exp Pow Mul Mul x0 Mul x2 x0 x0 Add 3 x2 Add sinh x6 x0 -3 
Mul Pow acot Mul x1 x6 Add Add 3 Add Add exp Pow Mul Mul x0 Mul x2 x0 x0 Add 3 x2 Add sinh x6 x0 -3 -1 Mul Mul acot Mul x1 x6 log acot Mul x1 x6 Add Mul exp Pow Mul Mul x0 Mul x2 x0 x0 Add 3 x2 Mul Pow Mul Mul x0 Mul x2 x0 x0 Add Add 3 x2 -1 Mul Add 3 x2 Add Mul x0 Add Mul x2 x0 Mul x0 x2 Mul x0 Mul x2 x0 1 