Pow sec x0 sec Mul acot x0 atanh Pow csc x3 x0 
Mul Pow sec x0 Add sec Mul acot x0 atanh Pow csc x3 x0 -1 Add Mul sec Mul acot x0 atanh Pow csc x3 x0 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul Mul tan Mul acot x0 atanh Pow csc x3 x0 sec Mul acot x0 atanh Pow csc x3 x0 Add Mul atanh Pow csc x3 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Mul Pow csc x3 Add x0 -1 Mul csc x3 log csc x3 Pow Add 1 Mul -1 Mul Pow csc x3 x0 Pow csc x3 x0 -1 