Pow Mul -2 Mul x0 Pow Pow acoth x0 atan x3 exp x0 Mul Mul x0 0.815440804417772 3 
Mul Pow Mul -2 Mul x0 Pow Pow acoth x0 atan x3 exp x0 Add Mul Mul x0 0.815440804417772 3 -1 Add Mul Mul Mul x0 0.815440804417772 3 Mul -2 Add Pow Pow acoth x0 atan x3 exp x0 Mul x0 Mul Pow Pow acoth x0 atan x3 Add exp x0 -1 Add Mul exp x0 Mul Pow acoth x0 Add atan x3 -1 Mul atan x3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow acoth x0 atan x3 log Pow acoth x0 atan x3 exp x0 Mul Mul Mul -2 Mul x0 Pow Pow acoth x0 atan x3 exp x0 log Mul -2 Mul x0 Pow Pow acoth x0 atan x3 exp x0 3.81544080441777 