Add Mul Pow E Pow asinh Mul x0 atan x7 atan Mul Add acot x0 x0 Add Add sec Add x0 x0 x1 x7 -2 4 
Mul -2 Mul Pow E Add Pow asinh Mul x0 atan x7 atan Mul Add acot x0 x0 Add Add sec Add x0 x0 x1 x7 -1 Mul Mul E log E Mul Pow asinh Mul x0 atan x7 Add atan Mul Add acot x0 x0 Add Add sec Add x0 x0 x1 x7 -1 Add Mul atan Mul Add acot x0 x0 Add Add sec Add x0 x0 x1 x7 Mul atan x7 Pow sqrt Add 1 Mul Mul x0 atan x7 Mul x0 atan x7 -1 Mul Mul asinh Mul x0 atan x7 log asinh Mul x0 atan x7 Mul Add Mul Add Add sec Add x0 x0 x1 x7 Add Mul -1 Pow Add 1 Mul x0 x0 -1 1 Mul Add acot x0 x0 Mul Mul tan Add x0 x0 sec Add x0 x0 2 Pow Add 1 Mul Mul Add acot x0 x0 Add Add sec Add x0 x0 x1 x7 Mul Add acot x0 x0 Add Add sec Add x0 x0 x1 x7 -1 