Pow x0 Add acoth Mul x0 sin tanh x5 sqrt acot x0 
Mul Pow x0 Add Add acoth Mul x0 sin tanh x5 sqrt acot x0 -1 Add Add acoth Mul x0 sin tanh x5 sqrt acot x0 Mul Mul x0 log x0 Add Mul sin tanh x5 Pow Add 1 Mul -1 Mul Mul x0 sin tanh x5 Mul x0 sin tanh x5 -1 Mul Pow Mul 2 sqrt acot x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 