Mul Mul x0 74.2032105777888 Pow exp x0 acoth acosh x0 
Add Mul Pow exp x0 acoth acosh x0 74.2032105777888 Mul Mul x0 74.2032105777888 Mul Pow exp x0 Add acoth acosh x0 -1 Add Mul acoth acosh x0 exp x0 Mul Mul exp x0 log exp x0 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul acosh x0 acosh x0 -1 