Add Pow x6 Add coth sqrt x0 Mul x4 Add acsch atan Mul sec x0 Add x0 3 E x0 
Add Mul Pow x6 Add Add coth sqrt x0 Mul x4 Add acsch atan Mul sec x0 Add x0 3 E -1 Mul Mul x6 log x6 Add Mul Mul -1 Pow csch sqrt x0 2 Pow Mul 2 sqrt x0 -1 Mul x4 Mul Mul -1 Mul Add Mul Add x0 3 Mul tan x0 sec x0 sec x0 Pow Add 1 Mul Mul sec x0 Add x0 3 Mul sec x0 Add x0 3 -1 Pow Mul Mul atan Mul sec x0 Add x0 3 atan Mul sec x0 Add x0 3 sqrt Add 1 Mul -1 Pow Mul atan Mul sec x0 Add x0 3 atan Mul sec x0 Add x0 3 -1 -1 1 