Add Add log Mul acot x6 x0 acsch Mul 4 acosh x0 Mul cot sin Mul x0 Pow pi sqrt x4 x1 
Add Add Mul acot x6 Pow Mul acot x6 x0 -1 Mul Mul -1 Mul 4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul Mul 4 acosh x0 Mul 4 acosh x0 sqrt Add 1 Mul -1 Pow Mul Mul 4 acosh x0 Mul 4 acosh x0 -1 -1 Mul x1 Mul Mul -1 Pow csc sin Mul x0 Pow pi sqrt x4 2 Mul cos Mul x0 Pow pi sqrt x4 Pow pi sqrt x4 