Add acoth x0 Pow atanh sec Mul -4 asinh sqrt x0 asech x3 
Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow atanh sec Mul -4 asinh sqrt x0 Add asech x3 -1 Mul asech x3 Mul Mul Mul tan Mul -4 asinh sqrt x0 sec Mul -4 asinh sqrt x0 Mul -4 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul sqrt x0 sqrt x0 -1 Pow Add 1 Mul -1 Mul sec Mul -4 asinh sqrt x0 sec Mul -4 asinh sqrt x0 -1 