sin Pow x5 acoth atan Pow x4 x0 
Mul cos Pow x5 acoth atan Pow x4 x0 Mul Pow x5 Add acoth atan Pow x4 x0 -1 Mul Mul x5 log x5 Mul Mul Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow Add 1 Mul Pow x4 x0 Pow x4 x0 -1 Pow Add 1 Mul -1 Mul atan Pow x4 x0 atan Pow x4 x0 -1 