Mul Pow Mul 4 x0 Mul acsc x0 acsch E Pow x3 acos csc x0 
Add Mul Pow x3 acos csc x0 Mul Pow Mul 4 x0 Add Mul acsc x0 acsch E -1 Add Mul Mul acsc x0 acsch E 4 Mul Mul Mul 4 x0 log Mul 4 x0 Mul acsch E Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Pow Mul 4 x0 Mul acsc x0 acsch E Mul Pow x3 Add acos csc x0 -1 Mul Mul x3 log x3 Mul -1 Mul Mul Mul -1 cot x0 csc x0 Pow sqrt Add 1 Mul -1 Mul csc x0 csc x0 -1 