Add acosh atan x0 Pow log x0 acoth acosh Mul 5 x7 
Add Mul Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add atan x0 -1 sqrt Add 1 atan x0 -1 Mul Pow log x0 Add acoth acosh Mul 5 x7 -1 Mul acoth acosh Mul 5 x7 Pow x0 -1 