acosh Add Add asech Mul x0 Mul cot x1 x0 Add acot x0 x3 pi 
Mul Add Mul Add Mul cot x1 x0 Mul x0 cot x1 Pow Mul Mul Mul x0 Mul cot x1 x0 Mul x0 Mul cot x1 x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul cot x1 x0 Mul x0 Mul cot x1 x0 -1 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Add Add asech Mul x0 Mul cot x1 x0 Add acot x0 x3 pi -1 sqrt Add 1 Add Add asech Mul x0 Mul cot x1 x0 Add acot x0 x3 pi -1 