atan Mul Mul -2 Pow acsch Pow Pow sin x0 log acos x3 x0 E x0 
Mul Add Mul x0 Mul -2 Mul Pow acsch Pow Pow sin x0 log acos x3 x0 Add E -1 Mul E Mul Mul -1 Mul Pow Pow sin x0 log acos x3 Add x0 -1 Add Mul x0 Mul Pow sin x0 Add log acos x3 -1 Mul log acos x3 cos x0 Mul Pow sin x0 log acos x3 log Pow sin x0 log acos x3 Pow Mul Mul Pow Pow sin x0 log acos x3 x0 Pow Pow sin x0 log acos x3 x0 sqrt Add 1 Mul -1 Pow Mul Pow Pow sin x0 log acos x3 x0 Pow Pow sin x0 log acos x3 x0 -1 -1 Mul -2 Pow acsch Pow Pow sin x0 log acos x3 x0 E Pow Add 1 Mul Mul Mul -2 Pow acsch Pow Pow sin x0 log acos x3 x0 E x0 Mul Mul -2 Pow acsch Pow Pow sin x0 log acos x3 x0 E x0 -1 