Add acosh Add asech x0 1 Add Mul sinh x3 cot x0 pi 
Add Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul sqrt Add Add asech x0 1 -1 sqrt Add 1 Add asech x0 1 -1 Mul sinh x3 Mul -1 Pow csc x0 2 