Add Pow atan coth acoth Pow x7 1.02935870694082 x0 x4 
Mul Pow atan coth acoth Pow x7 1.02935870694082 Add x0 -1 Mul atan coth acoth Pow x7 1.02935870694082 log atan coth acoth Pow x7 1.02935870694082 