Add Add sqrt x0 Mul x0 Mul x4 Mul x0 2 atanh Mul csc x0 E 
Add Add Pow Mul 2 sqrt x0 -1 Add Mul x4 Mul x0 2 Mul x0 Mul x4 2 Mul Mul E Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul -1 Mul Mul csc x0 E Mul csc x0 E -1 