Pow x0 Mul tanh exp x2 Add Mul log Mul exp x0 x0 Add sinh x0 acosh x3 acot x0 
Mul Pow x0 Add Mul tanh exp x2 Add Mul log Mul exp x0 x0 Add sinh x0 acosh x3 acot x0 -1 Add Mul tanh exp x2 Add Mul log Mul exp x0 x0 Add sinh x0 acosh x3 acot x0 Mul Mul x0 log x0 Mul tanh exp x2 Add Add Mul Add sinh x0 acosh x3 Mul Add Mul x0 exp x0 exp x0 Pow Mul exp x0 x0 -1 Mul log Mul exp x0 x0 cosh x0 Mul -1 Pow Add 1 Mul x0 x0 -1 