Pow acot Add sec Add E E Mul asech acoth Mul x4 tan x0 x0 atan Add x2 x7 
Mul Pow acot Add sec Add E E Mul asech acoth Mul x4 tan x0 x0 Add atan Add x2 x7 -1 Mul atan Add x2 x7 Mul -1 Mul Add Mul x0 Mul Mul Mul x4 Pow sec x0 2 Pow Add 1 Mul -1 Mul Mul x4 tan x0 Mul x4 tan x0 -1 Pow Mul Mul acoth Mul x4 tan x0 acoth Mul x4 tan x0 sqrt Add 1 Mul -1 Pow Mul acoth Mul x4 tan x0 acoth Mul x4 tan x0 -1 -1 asech acoth Mul x4 tan x0 Pow Add 1 Mul Add sec Add E E Mul asech acoth Mul x4 tan x0 x0 Add sec Add E E Mul asech acoth Mul x4 tan x0 x0 -1 