Pow Pow acot Pow acosh cos Mul -2 acosh acosh x7 x0 0.723736841956579 Add 1 x0 
Mul Pow Pow acot Pow acosh cos Mul -2 acosh acosh x7 x0 0.723736841956579 Add Add 1 x0 -1 Add Mul Add 1 x0 Mul Pow acot Pow acosh cos Mul -2 acosh acosh x7 x0 -0.276263158043421 Mul 0.723736841956579 Mul -1 Mul Mul Pow acosh cos Mul -2 acosh acosh x7 Add x0 -1 Mul acosh cos Mul -2 acosh acosh x7 log acosh cos Mul -2 acosh acosh x7 Pow Add 1 Mul Pow acosh cos Mul -2 acosh acosh x7 x0 Pow acosh cos Mul -2 acosh acosh x7 x0 -1 Mul Pow acot Pow acosh cos Mul -2 acosh acosh x7 x0 0.723736841956579 log Pow acot Pow acosh cos Mul -2 acosh acosh x7 x0 0.723736841956579 