Mul acoth Mul x0 x4 acoth acot Pow x3 Mul exp x0 5 
Add Mul acoth acot Pow x3 Mul exp x0 5 Mul x4 Pow Add 1 Mul -1 Mul Mul x0 x4 Mul x0 x4 -1 Mul acoth Mul x0 x4 Mul Mul -1 Mul Mul Pow x3 Add Mul exp x0 5 -1 Mul Mul x3 log x3 Mul 5 exp x0 Pow Add 1 Mul Pow x3 Mul exp x0 5 Pow x3 Mul exp x0 5 -1 Pow Add 1 Mul -1 Mul acot Pow x3 Mul exp x0 5 acot Pow x3 Mul exp x0 5 -1 