Mul acot Add acosh exp Pow x0 Pow x0 acos x0 Pow exp cos x0 Add x1 tan Mul x0 x0 x4 
Mul x4 Mul -1 Mul Add Mul Mul exp Pow x0 Pow x0 acos x0 Mul Pow x0 Add Pow x0 acos x0 -1 Add Pow x0 acos x0 Mul Mul x0 log x0 Mul Pow x0 Add acos x0 -1 Add acos x0 Mul Mul x0 log x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add exp Pow x0 Pow x0 acos x0 -1 sqrt Add 1 exp Pow x0 Pow x0 acos x0 -1 Mul Pow exp cos x0 Add Add x1 tan Mul x0 x0 -1 Add Mul Add x1 tan Mul x0 x0 Mul exp cos x0 Mul -1 sin x0 Mul Mul exp cos x0 log exp cos x0 Mul Pow sec Mul x0 x0 2 Add x0 x0 Pow Add 1 Mul Add acosh exp Pow x0 Pow x0 acos x0 Pow exp cos x0 Add x1 tan Mul x0 x0 Add acosh exp Pow x0 Pow x0 acos x0 Pow exp cos x0 Add x1 tan Mul x0 x0 -1 