Mul Mul Add Mul x0 pi x0 Mul Mul -3 Add tanh Mul exp x0 asinh pi x7 Pow x0 acoth x0 x0 
Add Mul x0 Add Mul Mul Mul -3 Add tanh Mul exp x0 asinh pi x7 Pow x0 acoth x0 Add pi 1 Mul Add Mul x0 pi x0 Add Mul Pow x0 acoth x0 Mul -3 Mul Pow sech Mul exp x0 asinh pi 2 Mul asinh pi exp x0 Mul Mul -3 Add tanh Mul exp x0 asinh pi x7 Mul Pow x0 Add acoth x0 -1 Add acoth x0 Mul Mul x0 log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Add Mul x0 pi x0 Mul Mul -3 Add tanh Mul exp x0 asinh pi x7 Pow x0 acoth x0 