Add Mul x0 E Pow Pow x0 exp acoth E Pow x0 Pow asec x4 x0 
Add E Mul Pow Pow x0 exp acoth E Add Pow x0 Pow asec x4 x0 -1 Add Mul Pow x0 Pow asec x4 x0 Mul Pow x0 Add exp acoth E -1 exp acoth E Mul Mul Pow x0 exp acoth E log Pow x0 exp acoth E Mul Pow x0 Add Pow asec x4 x0 -1 Add Pow asec x4 x0 Mul Mul x0 log x0 Mul Pow asec x4 Add x0 -1 Mul asec x4 log asec x4 