log asin Pow acosh Mul pi acoth x0 -3 
Mul Mul Mul Pow acosh Mul pi acoth x0 4 Mul -3 Mul Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Mul pi acoth x0 -1 sqrt Add 1 Mul pi acoth x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow acosh Mul pi acoth x0 -3 Pow acosh Mul pi acoth x0 -3 -1 Pow asin Pow acosh Mul pi acoth x0 -3 -1 