Pow cosh asec Pow acoth acoth E x0 -5 
Mul Pow cosh asec Pow acoth acoth E x0 6 Mul -5 Mul sinh asec Pow acoth acoth E x0 Mul Mul Pow acoth acoth E Add x0 -1 Mul acoth acoth E log acoth acoth E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow acoth acoth E x0 Pow acoth acoth E x0 -1 Pow acoth acoth E x0 Pow acoth acoth E x0 -1 