Mul Add E -2 acos Mul Add x0 Add Mul x0 coth Mul Pow log E sqrt sech x6 Add x6 -3 Mul x0 -2 x0 
Mul Add E -2 Mul -1 Mul Add Mul x0 Add 1 Add coth Mul Pow log E sqrt sech x6 Add x6 -3 -2 Add x0 Add Mul x0 coth Mul Pow log E sqrt sech x6 Add x6 -3 Mul x0 -2 Pow sqrt Add 1 Mul -1 Mul Mul Add x0 Add Mul x0 coth Mul Pow log E sqrt sech x6 Add x6 -3 Mul x0 -2 x0 Mul Add x0 Add Mul x0 coth Mul Pow log E sqrt sech x6 Add x6 -3 Mul x0 -2 x0 -1 