Add sec x3 Mul 5 sec Mul Add Add Mul x0 Mul x2 asinh x0 x0 Add acot asec x0 Pow x0 x0 -4 
Mul 5 Mul Mul tan Mul Add Add Mul x0 Mul x2 asinh x0 x0 Add acot asec x0 Pow x0 x0 -4 sec Mul Add Add Mul x0 Mul x2 asinh x0 x0 Add acot asec x0 Pow x0 x0 -4 Mul -4 Add Add Add Mul x2 asinh x0 Mul x0 Mul x2 Pow sqrt Add 1 Mul x0 x0 -1 1 Add Mul -1 Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul asec x0 asec x0 -1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 