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