Pow Add Add acoth asech asinh x1 x0 2 exp Mul x0 x0 
Mul Pow Add Add acoth asech asinh x1 x0 2 Add exp Mul x0 x0 -1 Add exp Mul x0 x0 Mul Mul Add Add acoth asech asinh x1 x0 2 log Add Add acoth asech asinh x1 x0 2 Mul exp Mul x0 x0 Add x0 x0 