Pow sec asinh Mul Add 1 Add sec sin Add acot sec x0 1 sec Mul -2 x6 x0 x0 
Mul Pow sec asinh Mul Add 1 Add sec sin Add acot sec x0 1 sec Mul -2 x6 x0 Add x0 -1 Add Mul x0 Mul Mul tan asinh Mul Add 1 Add sec sin Add acot sec x0 1 sec Mul -2 x6 x0 sec asinh Mul Add 1 Add sec sin Add acot sec x0 1 sec Mul -2 x6 x0 Mul Add Mul x0 Mul Mul tan sin Add acot sec x0 1 sec sin Add acot sec x0 1 Mul cos Add acot sec x0 1 Mul -1 Mul Mul tan x0 sec x0 Pow Add 1 Mul sec x0 sec x0 -1 Add 1 Add sec sin Add acot sec x0 1 sec Mul -2 x6 Pow sqrt Add 1 Mul Mul Add 1 Add sec sin Add acot sec x0 1 sec Mul -2 x6 x0 Mul Add 1 Add sec sin Add acot sec x0 1 sec Mul -2 x6 x0 -1 Mul sec asinh Mul Add 1 Add sec sin Add acot sec x0 1 sec Mul -2 x6 x0 log sec asinh Mul Add 1 Add sec sin Add acot sec x0 1 sec Mul -2 x6 x0 