Add Pow x3 Mul x0 x2 Pow Pow acoth Mul x5 Add Add x0 E x0 2 Pow x3 Add 2 sec x0 
Add Mul Pow x3 Add Mul x0 x2 -1 Mul Mul x3 log x3 x2 Mul Pow Pow acoth Mul x5 Add Add x0 E x0 2 Add Pow x3 Add 2 sec x0 -1 Add Mul Pow x3 Add 2 sec x0 Mul acoth Mul x5 Add Add x0 E x0 Mul 2 Mul Mul x5 2 Pow Add 1 Mul -1 Mul Mul x5 Add Add x0 E x0 Mul x5 Add Add x0 E x0 -1 Mul Mul Pow acoth Mul x5 Add Add x0 E x0 2 log Pow acoth Mul x5 Add Add x0 E x0 2 Mul Pow x3 Add Add 2 sec x0 -1 Mul Mul x3 log x3 Mul tan x0 sec x0 