Pow x0 Mul 4 acot Pow x6 Mul Pow Mul Mul sqrt x7 x5 Mul x0 tan Pow x6 x0 x0 acosh log pi 
Mul Pow x0 Add Mul 4 acot Pow x6 Mul Pow Mul Mul sqrt x7 x5 Mul x0 tan Pow x6 x0 x0 acosh log pi -1 Add Mul 4 acot Pow x6 Mul Pow Mul Mul sqrt x7 x5 Mul x0 tan Pow x6 x0 x0 acosh log pi Mul Mul x0 log x0 Mul 4 Mul -1 Mul Mul Pow x6 Add Mul Pow Mul Mul sqrt x7 x5 Mul x0 tan Pow x6 x0 x0 acosh log pi -1 Mul Mul x6 log x6 Mul acosh log pi Mul Pow Mul Mul sqrt x7 x5 Mul x0 tan Pow x6 x0 Add x0 -1 Add Mul x0 Mul Mul sqrt x7 x5 Add tan Pow x6 x0 Mul x0 Mul Pow sec Pow x6 x0 2 Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul Mul Mul sqrt x7 x5 Mul x0 tan Pow x6 x0 log Mul Mul sqrt x7 x5 Mul x0 tan Pow x6 x0 Pow Add 1 Mul Pow x6 Mul Pow Mul Mul sqrt x7 x5 Mul x0 tan Pow x6 x0 x0 acosh log pi Pow x6 Mul Pow Mul Mul sqrt x7 x5 Mul x0 tan Pow x6 x0 x0 acosh log pi -1 