Add tan x0 Pow acoth Add 2 Mul -4 x0 Mul x0 Add 7 x0 
Add Pow sec x0 2 Mul Pow acoth Add 2 Mul -4 x0 Add Mul x0 Add 7 x0 -1 Add Mul Mul x0 Add 7 x0 Mul -4 Pow Add 1 Mul -1 Mul Add 2 Mul -4 x0 Add 2 Mul -4 x0 -1 Mul Mul acoth Add 2 Mul -4 x0 log acoth Add 2 Mul -4 x0 Add Add 7 x0 x0 