Pow acoth Add Pow Add Add x0 tan x0 sqrt x1 Pow Pow acos asec x0 E 4 1 Add x0 x0 
Mul Pow acoth Add Pow Add Add x0 tan x0 sqrt x1 Pow Pow acos asec x0 E 4 1 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul Mul Pow Add Add x0 tan x0 sqrt x1 Add Pow Pow acos asec x0 E 4 -1 Add Mul Pow Pow acos asec x0 E 4 Add 1 Pow sec x0 2 Mul Mul Add Add x0 tan x0 sqrt x1 log Add Add x0 tan x0 sqrt x1 Mul Pow Pow acos asec x0 E 3 Mul 4 Mul Pow acos asec x0 Add E -1 Mul E Mul -1 Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul asec x0 asec x0 -1 Pow Add 1 Mul -1 Mul Add Pow Add Add x0 tan x0 sqrt x1 Pow Pow acos asec x0 E 4 1 Add Pow Add Add x0 tan x0 sqrt x1 Pow Pow acos asec x0 E 4 1 -1 Mul Mul acoth Add Pow Add Add x0 tan x0 sqrt x1 Pow Pow acos asec x0 E 4 1 log acoth Add Pow Add Add x0 tan x0 sqrt x1 Pow Pow acos asec x0 E 4 1 2 