Add Mul x0 atanh Mul Pow Add Add x3 1 acoth Add Mul sqrt x2 tan x0 x0 4 0.0400000000000000 3 
Add atanh Mul Pow Add Add x3 1 acoth Add Mul sqrt x2 tan x0 x0 4 0.0400000000000000 Mul x0 Mul Mul 0.0400000000000000 Mul Pow Add Add x3 1 acoth Add Mul sqrt x2 tan x0 x0 3 Mul 4 Mul Add Mul sqrt x2 Pow sec x0 2 1 Pow Add 1 Mul -1 Mul Add Mul sqrt x2 tan x0 x0 Add Mul sqrt x2 tan x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Pow Add Add x3 1 acoth Add Mul sqrt x2 tan x0 x0 4 0.0400000000000000 Mul Pow Add Add x3 1 acoth Add Mul sqrt x2 tan x0 x0 4 0.0400000000000000 -1 