Pow x0 Mul cos Pow acoth x0 Pow 0.346573590279973 x0 acos sqrt x7 
Mul Pow x0 Add Mul cos Pow acoth x0 Pow 0.346573590279973 x0 acos sqrt x7 -1 Add Mul cos Pow acoth x0 Pow 0.346573590279973 x0 acos sqrt x7 Mul Mul x0 log x0 Mul acos sqrt x7 Mul Mul -1 sin Pow acoth x0 Pow 0.346573590279973 x0 Mul Pow acoth x0 Add Pow 0.346573590279973 x0 -1 Add Mul Pow 0.346573590279973 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Mul Pow 0.346573590279973 Add x0 -1 -0.713086510861637 