Mul coth x7 Mul acoth x2 Pow Pow asec Mul log Mul pi x0 asinh x6 -4 x0 
Mul coth x7 Mul acoth x2 Mul Pow Pow asec Mul log Mul pi x0 asinh x6 -4 Add x0 -1 Add Mul x0 Mul Pow asec Mul log Mul pi x0 asinh x6 5 Mul -4 Mul Mul asinh x6 Mul pi Pow Mul pi x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul log Mul pi x0 asinh x6 Mul log Mul pi x0 asinh x6 -1 Mul log Mul pi x0 asinh x6 Mul log Mul pi x0 asinh x6 -1 Mul Pow asec Mul log Mul pi x0 asinh x6 -4 log Pow asec Mul log Mul pi x0 asinh x6 -4 