Mul x0 Add Pow exp asech coth tanh x0 x0 x0 
Add Add Pow exp asech coth tanh x0 x0 x0 Mul x0 Add Mul Pow exp asech coth tanh x0 Add x0 -1 Add Mul x0 Mul exp asech coth tanh x0 Mul Mul Mul -1 Pow csch tanh x0 2 Pow sech x0 2 Pow Mul Mul coth tanh x0 coth tanh x0 sqrt Add 1 Mul -1 Pow Mul coth tanh x0 coth tanh x0 -1 -1 Mul exp asech coth tanh x0 log exp asech coth tanh x0 1 