Pow Pow acos cosh Pow x1 x1 Pow Mul acot Mul -4 Add Mul x0 3 x0 Pow x0 4 x0 9 
Mul Pow Pow acos cosh Pow x1 x1 Pow Mul acot Mul -4 Add Mul x0 3 x0 Pow x0 4 x0 8 Mul 9 Mul Pow acos cosh Pow x1 x1 Add Pow Mul acot Mul -4 Add Mul x0 3 x0 Pow x0 4 x0 -1 Mul Mul acos cosh Pow x1 x1 log acos cosh Pow x1 x1 Mul Pow Mul acot Mul -4 Add Mul x0 3 x0 Pow x0 4 Add x0 -1 Add Mul x0 Mul acot Mul -4 Add Mul x0 3 x0 Mul Pow x0 3 4 Mul Mul acot Mul -4 Add Mul x0 3 x0 Pow x0 4 log Mul acot Mul -4 Add Mul x0 3 x0 Pow x0 4 