Mul x1 Add 3 acsch Mul Mul Mul log x0 Add pi acosh x0 cot x0 x0 
Mul x1 Mul Mul -1 Add Mul x0 Add Mul cot x0 Add Mul Add pi acosh x0 Pow x0 -1 Mul log x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul log x0 Add pi acosh x0 Mul -1 Pow csc x0 2 Mul Mul log x0 Add pi acosh x0 cot x0 Pow Mul Mul Mul Mul Mul log x0 Add pi acosh x0 cot x0 x0 Mul Mul Mul log x0 Add pi acosh x0 cot x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul Mul Mul log x0 Add pi acosh x0 cot x0 x0 Mul Mul Mul log x0 Add pi acosh x0 cot x0 x0 -1 -1 