Add Mul x0 Pow acsch x3 x5 acosh acot Mul Mul Mul pi x0 x0 x0 
Add Pow acsch x3 x5 Mul Mul -1 Mul Add Mul x0 Add Mul x0 pi Mul pi x0 Mul Mul pi x0 x0 Pow Add 1 Mul Mul Mul Mul pi x0 x0 x0 Mul Mul Mul pi x0 x0 x0 -1 Pow Mul sqrt Add acot Mul Mul Mul pi x0 x0 x0 -1 sqrt Add 1 acot Mul Mul Mul pi x0 x0 x0 -1 