Add Pow Pow x4 Pow acoth x3 x4 Add sec x0 x0 acoth acot Mul x2 x0 
Add Mul Pow Pow x4 Pow acoth x3 x4 Add Add sec x0 x0 -1 Mul Mul Pow x4 Pow acoth x3 x4 log Pow x4 Pow acoth x3 x4 Add Mul tan x0 sec x0 1 Mul Mul -1 Mul x2 Pow Add 1 Mul Mul x2 x0 Mul x2 x0 -1 Pow Add 1 Mul -1 Mul acot Mul x2 x0 acot Mul x2 x0 -1 