Add Mul Pow acoth Pow csc x0 Mul x0 3 Add pi Add sec x0 x0 -2 Mul pi acos exp acsch Add 4 x1 
Mul -2 Mul Pow acoth Pow csc x0 Mul x0 3 Add Add pi Add sec x0 x0 -1 Add Mul Add pi Add sec x0 x0 Mul Mul Pow csc x0 Add Mul x0 3 -1 Add Mul Mul x0 3 Mul Mul -1 cot x0 csc x0 Mul Mul csc x0 log csc x0 3 Pow Add 1 Mul -1 Mul Pow csc x0 Mul x0 3 Pow csc x0 Mul x0 3 -1 Mul Mul acoth Pow csc x0 Mul x0 3 log acoth Pow csc x0 Mul x0 3 Add Mul tan x0 sec x0 1 