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