Mul Mul csc Mul x0 asinh pi Mul x1 -2 acosh x0 
Add Mul acosh x0 Mul Mul x1 -2 Mul Mul Mul -1 cot Mul x0 asinh pi csc Mul x0 asinh pi asinh pi Mul Mul csc Mul x0 asinh pi Mul x1 -2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 