Pow asinh Pow x4 sec Add acos cot acot x0 -2 pi 
Mul Pow asinh Pow x4 sec Add acos cot acot x0 -2 Add pi -1 Mul pi Mul Mul Pow x4 Add sec Add acos cot acot x0 -2 -1 Mul Mul x4 log x4 Mul Mul tan Add acos cot acot x0 -2 sec Add acos cot acot x0 -2 Mul -1 Mul Mul Mul -1 Pow csc acot x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul cot acot x0 cot acot x0 -1 Pow sqrt Add 1 Mul Pow x4 sec Add acos cot acot x0 -2 Pow x4 sec Add acos cot acot x0 -2 -1 