Mul x1 Pow Mul cos asinh Add x0 x2 x0 cot E 
Mul x1 Mul Pow Mul cos asinh Add x0 x2 x0 Add cot E -1 Mul cot E Add Mul x0 Mul Mul -1 sin asinh Add x0 x2 Pow sqrt Add 1 Mul Add x0 x2 Add x0 x2 -1 cos asinh Add x0 x2 