Mul x0 Mul Pow acot Mul csc x0 acosh x0 Add Mul x0 pi x2 x0 
Add Mul Pow acot Mul csc x0 acosh x0 Add Mul x0 pi x2 x0 Mul x0 Add Mul x0 Mul Pow acot Mul csc x0 acosh x0 Add Add Mul x0 pi x2 -1 Add Mul Add Mul x0 pi x2 Mul -1 Mul Add Mul acosh x0 Mul Mul -1 cot x0 csc x0 Mul csc x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul Mul csc x0 acosh x0 Mul csc x0 acosh x0 -1 Mul Mul acot Mul csc x0 acosh x0 log acot Mul csc x0 acosh x0 pi Pow acot Mul csc x0 acosh x0 Add Mul x0 pi x2 