Add acosh cbrt x0 Mul cosh x0 Pow x0 acot Mul x0 Mul Add pi -4 Mul x0 Mul Add x0 acosh x1 x6 
Add Mul Pow Mul Mul 3 cbrt x0 cbrt x0 -1 Pow Mul sqrt Add cbrt x0 -1 sqrt Add 1 cbrt x0 -1 Add Mul Pow x0 acot Mul x0 Mul Add pi -4 Mul x0 Mul Add x0 acosh x1 x6 sinh x0 Mul cosh x0 Mul Pow x0 Add acot Mul x0 Mul Add pi -4 Mul x0 Mul Add x0 acosh x1 x6 -1 Add acot Mul x0 Mul Add pi -4 Mul x0 Mul Add x0 acosh x1 x6 Mul Mul x0 log x0 Mul -1 Mul Add Mul Add pi -4 Mul x0 Mul Add x0 acosh x1 x6 Mul x0 Mul Add pi -4 Add Mul Add x0 acosh x1 x6 Mul x0 x6 Pow Add 1 Mul Mul x0 Mul Add pi -4 Mul x0 Mul Add x0 acosh x1 x6 Mul x0 Mul Add pi -4 Mul x0 Mul Add x0 acosh x1 x6 -1 