Add Mul acoth sin x3 x0 acsch Pow Add Mul 2 x0 acot Add sinh x0 Mul x6 Add x0 -4 4 
Add acoth sin x3 Mul Mul -1 Mul Pow Add Mul 2 x0 acot Add sinh x0 Mul x6 Add x0 -4 3 Mul 4 Add 2 Mul -1 Mul Add cosh x0 x6 Pow Add 1 Mul Add sinh x0 Mul x6 Add x0 -4 Add sinh x0 Mul x6 Add x0 -4 -1 Pow Mul Mul Pow Add Mul 2 x0 acot Add sinh x0 Mul x6 Add x0 -4 4 Pow Add Mul 2 x0 acot Add sinh x0 Mul x6 Add x0 -4 4 sqrt Add 1 Mul -1 Pow Mul Pow Add Mul 2 x0 acot Add sinh x0 Mul x6 Add x0 -4 4 Pow Add Mul 2 x0 acot Add sinh x0 Mul x6 Add x0 -4 4 -1 -1 