Add x0 acoth Mul acsc tan Mul Mul x0 x3 sqrt pi Mul pi -4 
Add 1 Mul Mul Mul pi -4 Mul -1 Mul Mul Pow sec Mul Mul x0 x3 sqrt pi 2 Mul sqrt pi x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul tan Mul Mul x0 x3 sqrt pi tan Mul Mul x0 x3 sqrt pi -1 tan Mul Mul x0 x3 sqrt pi tan Mul Mul x0 x3 sqrt pi -1 Pow Add 1 Mul -1 Mul Mul acsc tan Mul Mul x0 x3 sqrt pi Mul pi -4 Mul acsc tan Mul Mul x0 x3 sqrt pi Mul pi -4 -1 