acot exp Mul Add Mul -1 x0 Add Mul Mul x0 x0 log sinh x0 x0 2 
Mul -1 Mul Mul exp Mul Add Mul -1 x0 Add Mul Mul x0 x0 log sinh x0 x0 2 Mul 2 Add -1 Add Add Mul log sinh x0 Add x0 x0 Mul Mul x0 x0 Mul cosh x0 Pow sinh x0 -1 1 Pow Add 1 Mul exp Mul Add Mul -1 x0 Add Mul Mul x0 x0 log sinh x0 x0 2 exp Mul Add Mul -1 x0 Add Mul Mul x0 x0 log sinh x0 x0 2 -1 