acoth Mul acot Mul Add exp x0 Add Pow x3 -3 x4 x3 Mul x0 Mul tan x0 Mul Mul Pow x0 acos E x0 x0 
Mul Add Mul Mul x0 Mul tan x0 Mul Mul Pow x0 acos E x0 x0 Mul -1 Mul Mul x3 exp x0 Pow Add 1 Mul Mul Add exp x0 Add Pow x3 -3 x4 x3 Mul Add exp x0 Add Pow x3 -3 x4 x3 -1 Mul acot Mul Add exp x0 Add Pow x3 -3 x4 x3 Add Mul tan x0 Mul Mul Pow x0 acos E x0 x0 Mul x0 Add Mul Mul Mul Pow x0 acos E x0 x0 Pow sec x0 2 Mul tan x0 Add Mul x0 Add Mul x0 Mul Pow x0 Add acos E -1 acos E Pow x0 acos E Mul Pow x0 acos E x0 Pow Add 1 Mul -1 Mul Mul acot Mul Add exp x0 Add Pow x3 -3 x4 x3 Mul x0 Mul tan x0 Mul Mul Pow x0 acos E x0 x0 Mul acot Mul Add exp x0 Add Pow x3 -3 x4 x3 Mul x0 Mul tan x0 Mul Mul Pow x0 acos E x0 x0 -1 