Mul Pow Mul acoth x0 Pow 3.62686040784702 x0 sec x0 Add x3 sec Mul x0 3 
Add Mul Add x3 sec Mul x0 3 Mul Pow Mul acoth x0 Pow 3.62686040784702 x0 Add sec x0 -1 Add Mul sec x0 Add Mul Pow 3.62686040784702 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Pow 3.62686040784702 Add x0 -1 4.91522778046119 Mul Mul Mul acoth x0 Pow 3.62686040784702 x0 log Mul acoth x0 Pow 3.62686040784702 x0 Mul tan x0 sec x0 Mul Pow Mul acoth x0 Pow 3.62686040784702 x0 sec x0 Mul Mul tan Mul x0 3 sec Mul x0 3 3 