acot Pow Mul x0 Pow Add x6 Mul sec Pow Mul x0 2 acosh pi x0 -2 Mul cot atan x0 x0 
Mul -1 Mul Mul Pow Mul x0 Pow Add x6 Mul sec Pow Mul x0 2 acosh pi x0 -2 Add Mul cot atan x0 x0 -1 Add Mul Mul cot atan x0 x0 Add Pow Add x6 Mul sec Pow Mul x0 2 acosh pi x0 -2 Mul x0 Mul Pow Add x6 Mul sec Pow Mul x0 2 acosh pi x0 3 Mul -2 Add Mul x0 Mul Mul tan Pow Mul x0 2 acosh pi sec Pow Mul x0 2 acosh pi Mul Pow Mul x0 2 Add acosh pi -1 Mul acosh pi 2 sec Pow Mul x0 2 acosh pi Mul Mul Mul x0 Pow Add x6 Mul sec Pow Mul x0 2 acosh pi x0 -2 log Mul x0 Pow Add x6 Mul sec Pow Mul x0 2 acosh pi x0 -2 Add Mul x0 Mul Mul -1 Pow csc atan x0 2 Pow Add 1 Mul x0 x0 -1 cot atan x0 Pow Add 1 Mul Pow Mul x0 Pow Add x6 Mul sec Pow Mul x0 2 acosh pi x0 -2 Mul cot atan x0 x0 Pow Mul x0 Pow Add x6 Mul sec Pow Mul x0 2 acosh pi x0 -2 Mul cot atan x0 x0 -1 