sec Mul Mul x0 x3 Mul acoth x0 sin asec x0 
Mul Mul tan Mul Mul x0 x3 Mul acoth x0 sin asec x0 sec Mul Mul x0 x3 Mul acoth x0 sin asec x0 Add Mul Mul acoth x0 sin asec x0 x3 Mul Mul x0 x3 Add Mul sin asec x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul cos asec x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 