Mul x1 cos Mul x6 acoth atan Pow Add 4 log x5 x0 
Mul x1 Mul Mul -1 sin Mul x6 acoth atan Pow Add 4 log x5 x0 Mul x6 Mul Mul Mul Pow Add 4 log x5 Add x0 -1 Mul Add 4 log x5 log Add 4 log x5 Pow Add 1 Mul Pow Add 4 log x5 x0 Pow Add 4 log x5 x0 -1 Pow Add 1 Mul -1 Mul atan Pow Add 4 log x5 x0 atan Pow Add 4 log x5 x0 -1 