acoth acot Mul -5 Mul exp x0 Add pi x1 
Mul Mul -1 Mul Mul -5 Mul Add pi x1 exp x0 Pow Add 1 Mul Mul -5 Mul exp x0 Add pi x1 Mul -5 Mul exp x0 Add pi x1 -1 Pow Add 1 Mul -1 Mul acot Mul -5 Mul exp x0 Add pi x1 acot Mul -5 Mul exp x0 Add pi x1 -1 