Pow Pow Mul x0 acoth pi x0 acosh atan x0 
Mul Pow Pow Mul x0 acoth pi x0 Add acosh atan x0 -1 Add Mul acosh atan x0 Mul Pow Mul x0 acoth pi Add x0 -1 Add Mul x0 acoth pi Mul Mul x0 acoth pi log Mul x0 acoth pi Mul Mul Pow Mul x0 acoth pi x0 log Pow Mul x0 acoth pi x0 Mul Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add atan x0 -1 sqrt Add 1 atan x0 -1 