acos Mul Pow asinh tan Pow acsch Mul Add 4 x0 E log Add -4 x0 -2 Add 8 x0 
Mul -1 Mul Add Mul Add 8 x0 Mul Pow asinh tan Pow acsch Mul Add 4 x0 E log Add -4 x0 3 Mul -2 Mul Mul Pow sec Pow acsch Mul Add 4 x0 E log Add -4 x0 2 Mul Pow acsch Mul Add 4 x0 E Add log Add -4 x0 -1 Add Mul log Add -4 x0 Mul Mul -1 E Pow Mul Mul Mul Add 4 x0 E Mul Add 4 x0 E sqrt Add 1 Mul -1 Pow Mul Mul Add 4 x0 E Mul Add 4 x0 E -1 -1 Mul Mul acsch Mul Add 4 x0 E log acsch Mul Add 4 x0 E Pow Add -4 x0 -1 Pow sqrt Add 1 Mul tan Pow acsch Mul Add 4 x0 E log Add -4 x0 tan Pow acsch Mul Add 4 x0 E log Add -4 x0 -1 Pow asinh tan Pow acsch Mul Add 4 x0 E log Add -4 x0 -2 Pow sqrt Add 1 Mul -1 Mul Mul Pow asinh tan Pow acsch Mul Add 4 x0 E log Add -4 x0 -2 Add 8 x0 Mul Pow asinh tan Pow acsch Mul Add 4 x0 E log Add -4 x0 -2 Add 8 x0 -1 