Add Mul acsch Mul x0 x5 Pow sin asec x3 -4 Mul acoth x0 Add 3 E 
Add Mul Pow sin asec x3 -4 Mul Mul -1 x5 Pow Mul Mul Mul x0 x5 Mul x0 x5 sqrt Add 1 Mul -1 Pow Mul Mul x0 x5 Mul x0 x5 -1 -1 Mul Add 3 E Pow Add 1 Mul -1 Mul x0 x0 -1 