Add acoth Add Mul x0 8165619676597685 Pow acot cosh tan sqrt pi -5 x4 
Mul 8165619676597685 Pow Add 1 Mul -1 Mul Add Mul x0 8165619676597685 Pow acot cosh tan sqrt pi -5 Add Mul x0 8165619676597685 Pow acot cosh tan sqrt pi -5 -1 