Add Mul asech acsch x0 tan E Add -4 Mul Mul -5 Pow x6 Pow Mul x0 x0 -4 3 
Add Mul tan E Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul Mul acsch x0 acsch x0 sqrt Add 1 Mul -1 Pow Mul acsch x0 acsch x0 -1 -1 Mul 3 Mul -5 Mul Pow x6 Add Pow Mul x0 x0 -4 -1 Mul Mul x6 log x6 Mul Pow Mul x0 x0 5 Mul -4 Add x0 x0 