Mul Pow Add acos Mul acoth pi exp pi x5 x0 sqrt x0 
Add Mul sqrt x0 Mul Pow Add acos Mul acoth pi exp pi x5 Add x0 -1 Mul Add acos Mul acoth pi exp pi x5 log Add acos Mul acoth pi exp pi x5 Mul Pow Add acos Mul acoth pi exp pi x5 x0 Pow Mul 2 sqrt x0 -1 